A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. - Gabriele Keller; Martin Simons 001 (ASIAN, 1996)

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. - K. T. P. Au; Manuel M. T. Chakravarty; John Darlington; Yike Guo; Stefan Jähnichen; Martin Köhler; Gabriele Keller; Wolf Pfannenstiel; Martin Simons 001 (APDC, 1997)

Flattening Trees. - Gabriele Keller; Manuel M. T. Chakravarty (Euro-Par, 1998)

On the Distribution Implementation of Aggregate Data Structures by Program Transformation. - Gabriele Keller; Manuel M. T. Chakravarty (IPPS/SPDP Workshops, 1999)

Transformation-based implementation of nested data parallelis for distributed memory machines. - Gabriele Keller (1999)

More types for nested data parallel programming. - Manuel M. T. Chakravarty; Gabriele Keller (ICFP, 2000)

Nepal - Nested Data Parallelism in Haskell. - Manuel M. T. Chakravarty; Gabriele Keller; Roman Lechtchinsky; Wolf Pfannenstiel (Euro-Par, 2001)

Functional Array Fusion. - Manuel M. T. Chakravarty; Gabriele Keller (ICFP, 2001)

An Approach to Fast Arrays in Haskell. - Manuel M. T. Chakravarty; Gabriele Keller (Advanced Functional Programming, 2002)

Costing Nested Array Codes. - Roman Lechtchinsky; Manuel M. T. Chakravarty; Gabriele Keller (Parallel Process. Lett., 2002)

A Functional Perspective on SSA Optimisation Algorithms. - Manuel M. T. Chakravarty; Gabriele Keller; Patryk Zadarnowski (COCV@ETAPS, 2003)

Einführung in die Programmierung mit Haskell. - Manuel M. T. Chakravarty; Gabriele Keller (Pearson Studium, 2004)

Optimising Embedded DSLs Using Template Haskell. - Sean Seefried; Manuel M. T. Chakravarty; Gabriele Keller (GPCE, 2004)

The risks and benefits of teaching purely functional programming in first year. - Manuel M. T. Chakravarty; Gabriele Keller (J. Funct. Program., 2004)

Associated type synonyms. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (ICFP, 2005)

Associated types with class. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones; Simon Marlow (POPL, 2005)

Higher Order Flattening. - Roman Leshchinskiy; Manuel M. T. Chakravarty; Gabriele Keller (International Conference on Computational Science (2), 2006)

Data parallel Haskell: a status report. - Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Gabriele Keller; Simon Marlow (DAMP, 2007)

Modular type classes. - Derek Dreyer; Robert Harper 001; Manuel M. T. Chakravarty; Gabriele Keller (POPL, 2007)

Harnessing the Multicores: Nested Data Parallelism in Haskell. - Simon L. Peyton Jones; Roman Leshchinskiy; Gabriele Keller; Manuel M. T. Chakravarty (FSTTCS, 2008)

Specialising Simulator Generators for High-Performance Monte-Carlo Methods. - Gabriele Keller; Hugh Chaffey-Millar; Manuel M. T. Chakravarty; Don Stewart; Christopher Barner-Kowollik (PADL, 2008)

Regular, shape-polymorphic, parallel arrays in Haskell. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Ben Lippmeier (ICFP, 2010)

Efficient parallel stencil convolution in Haskell. - Ben Lippmeier; Gabriele Keller (Haskell, 2011)

Accelerating Haskell array codes with multicore GPUs. - Manuel M. T. Chakravarty; Gabriele Keller; Sean Lee; Trevor L. McDonell; Vinod Grover (DAMP, 2011)

Vectorisation avoidance. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Ben Lippmeier; Simon L. Peyton Jones (Haskell, 2012)

Guiding parallel array fusion with indexed types. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (Haskell, 2012)

Work efficient higher-order vectorisation. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Roman Leshchinskiy; Simon L. Peyton Jones (ICFP, 2012)

Data flow fusion with series expressions in Haskell. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Amos Robinson (Haskell, 2013)

Optimising purely functional GPU programs. - Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller; Ben Lippmeier (ICFP, 2013)

Fusing filters with integer linear programming. - Amos Robinson; Ben Lippmeier; Gabriele Keller (FHPC@ICFP, 2014)

Embedding Foreign Code. - Robert Clifton-Everest; Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller (PADL, 2014)

File systems deserve verification too! - Gabriele Keller; Toby C. Murray; Sidney Amani; Liam O'Connor; Zilin Chen; Leonid Ryzhyk; Gerwin Klein; Gernot Heiser (ACM SIGOPS Oper. Syst. Rev., 2014)

Functional array streams. - Frederik M. Madsen; Robert Clifton-Everest; Manuel M. T. Chakravarty; Gabriele Keller (FHPC@ICFP, 2015)

CoGENT: Verifying High-Assurance File System Implementations. - Sidney Amani; Alex Hixon; Zilin Chen; Christine Rizkallah; Peter Chubb; Liam O'Connor; Joel Beeren; Yutaka Nagashima; Japheth Lim; Thomas Sewell; Joseph Tuong; Gabriele Keller; et al. (ASPLOS, 2016)

A Framework for the Automatic Formal Verification of Refinement from Cogent to C. - Christine Rizkallah; Japheth Lim; Yutaka Nagashima; Thomas Sewell; Zilin Chen; Liam O'Connor; Toby C. Murray; Gabriele Keller; Gerwin Klein (ITP, 2016)

COGENT: Certified Compilation for a Functional Systems Language. - Liam O'Connor; Christine Rizkallah; Zilin Chen; Sidney Amani; Japheth Lim; Yutaka Nagashima; Thomas Sewell; Alex Hixon; Gabriele Keller; Toby C. Murray; Gerwin Klein (CoRR, 2016)

Streaming irregular arrays. - Robert Clifton-Everest; Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller (Haskell, 2017)

The Cogent Case for Property-Based Testing. - Zilin Chen; Liam O'Connor; Gabriele Keller; Gerwin Klein; Gernot Heiser (PLOS@SOSP, 2017)

Bringing Effortless Refinement of Data Layouts to Cogent. - Liam O'Connor; Zilin Chen; Partha Susarla; Christine Rizkallah; Gerwin Klein; Gabriele Keller (ISoLA (1), 2018)

Editorial for the Special Issue on Parallel and Concurrent Functional Programming. - Gabriele Keller; Fritz Henglein (J. Funct. Program., 2018)

Chromatic Derivatives and Approximations in Practice - Part I: A General Framework. - Aleksandar Ignjatovic; Chamith Wijenayake; Gabriele Keller (IEEE Trans. Signal Process., 2018)

Chromatic Derivatives and Approximations in Practice - Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising. - Aleksandar Ignjatovic; Chamith Wijenayake; Gabriele Keller (IEEE Trans. Signal Process., 2018)

On reconstruction of bandlimited signals from purely timing information. - Chamith Wijenayake; Aleksandar Ignjatovic; Gabriele Keller (Signal Process., 2019)

Accelerating Nested Data Parallelism: Preserving Regularity. - Lars B. van den Haak; Trevor L. McDonell; Gabriele K. Keller; Ivo Gabe de Wolff (Euro-Par, 2020)

An Adaptive Denoising Algorithm for Improving Frequency Estimation and Tracking. - Chamith Wijenayake; Amir Antonir; Gabriele Keller; Aleksandar Ignjatovic (IEEE Trans. Circuits Syst. II Express Briefs, 2020)

An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Frank Dignum; Gabriele Keller (EMAS@AAMAS, 2021)

Using an agent-based approach for robust automated testing of computer games. - Samira Shirzadehhajimahmood; I. S. W. B. Prasetya; Frank Dignum; Mehdi Dastani; Gabriele Keller (A-TEST@ESEC/SIGSOFT FSE, 2021)

Cogent: uniqueness types and certifying compilation. - Liam O'Connor; Zilin Chen; Christine Rizkallah; Vincent Jackson; Sidney Amani; Gerwin Klein; Toby Murray; Thomas Sewell; Gabriele Keller (J. Funct. Program., 2021)

Embedded pattern matching. - Trevor L. McDonell; Joshua D. Meredith; Gabriele Keller (Haskell, 2022)

Property-Based Testing: Climbing the Stairway to Verification. - Zilin Chen; Christine Rizkallah; Liam O'Connor; Partha Susarla; Gerwin Klein; Gernot Heiser; Gabriele Keller (SLE, 2022)

Model-based Player Experience Testing with Emotion Pattern Verification. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Davide Prandi; Fitsum Meshesha Kifetew; Mehdi Dastani; Frank Dignum; Gabriele Keller (FASE, 2023)

Dargent: A Silver Bullet for Verified Data Layout Refinement. - Zilin Chen; Ambroise Lafont; Liam O'Connor; Gabriele Keller; Craig McLaughlin; Vincent Jackson; Christine Rizkallah (Proc. ACM Program. Lang., 2023)

Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling. - Ivo Gabe de Wolff; Gabriele Keller (ARRAY@PLDI, 2024)

A Fast Wait-Free Solution to Read-Reclaim Races in Reference Counting. - Ivo Gabe de Wolff; Daniel Anderson; Gabriele K. Keller; Aleksei Seletskiy (Euro-Par (3), 2024)

EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Frank Dignum; Gabriele Keller (ICST, 2024)

Zero-Overhead Parallel Scans for Multi-Core CPUs. - Ivo Gabe de Wolff; David P. van Balen; Gabriele K. Keller; Trevor L. McDonell (PMAM@PPoPP, 2024)

Types for Correctness, Convenience, and Performance (Keynote). - Gabriele Keller (TyDe@ICFP, 2024)

Fusing Gathers with Integer Linear Programming. - David P. van Balen; Gabriele Keller; Ivo Gabe de Wolff; Trevor L. McDonell (CoRR, 2024)

PX-MBT: A framework for model-based player experience testing. - Saba Gholizadeh Ansari; I. S. W. B. Prasetya; Mehdi Dastani; Gabriele Keller; Davide Prandi; Fitsum Meshesha Kifetew; Frank Dignum (Sci. Comput. Program., 2024)

Translation certification for smart contracts. - Jacco O. G. Krijnen; Manuel M. T. Chakravarty; Gabriele Keller; Wouter Swierstra (Sci. Comput. Program., 2024)

Scheduling Task and Data Parallelism in Array Languages with Work Assisting. - Ivo Gabe de Wolff; David P. van Balen; Gabriele K. Keller (Euro-Par (1), 2025)

Comparing Parallel Functional Array Languages: Programming and Performance. - David P. van Balen; Tiziano De Matteis; Clemens Grelck; Troels Henriksen; Aaron W. Hsu; Gabriele K. Keller; Thomas Koopman; Trevor L. McDonell; Cosmin E. Oancea; Sven-Bodo Scholz; Artjoms Sinkarovs; Tom Smeding; et al. (CoRR, 2025)