Gabriele Keller

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 27

Top Venues

CoRR

Haskell

J. Funct. Program.

Sci. Comput. Program.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Ivo Gabe de Wolff, Gabriele Keller
Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling. ARRAY@PLDI (2024)
David P. van Balen, Gabriele Keller, Ivo Gabe de Wolff, Trevor L. McDonell
Fusing Gathers with Integer Linear Programming. CoRR (2024)
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum
PX-MBT: A framework for model-based player experience testing. Sci. Comput. Program. 236 (2024)
Gabriele Keller
Types for Correctness, Convenience, and Performance (Keynote). TyDe@ICFP (2024)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation certification for smart contracts. Sci. Comput. Program. 233 (2024)
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
Dargent: A Silver Bullet for Verified Data Layout Refinement. Proc. ACM Program. Lang. 7 (POPL) (2023)
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller
Model-based Player Experience Testing with Emotion Pattern Verification. FASE (2023)
Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller
Embedded pattern matching. Haskell (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. FLOPS (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. CoRR (2022)
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
Property-Based Testing: Climbing the Stairway to Verification. SLE (2022)
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller
An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing. EMAS@AAMAS (2021)
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller
An Appraisal Transition System for Event-driven Emotions in Agent-based Player Experience Testing. CoRR (2021)
Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller
Embedded Pattern Matching. CoRR (2021)
Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani, Gabriele Keller
Using an agent-based approach for robust automated testing of computer games. A-TEST@ESEC/SIGSOFT FSE (2021)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
Cogent: uniqueness types and certifying compilation. J. Funct. Program. 31 (2021)
Chamith Wijenayake, Amir Antonir, Gabriele Keller, Aleksandar Ignjatovic
An Adaptive Denoising Algorithm for Improving Frequency Estimation and Tracking. IEEE Trans. Circuits Syst. II Express Briefs (1) (2020)
Chamith Wijenayake, Aleksandar Ignjatovic, Gabriele Keller
On reconstruction of bandlimited signals from purely timing information. Signal Process. 159 (2019)
Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
Bringing Effortless Refinement of Data Layouts to Cogent. ISoLA (1) (2018)
Aleksandar Ignjatovic, Chamith Wijenayake, Gabriele Keller
Chromatic Derivatives and Approximations in Practice - Part I: A General Framework. IEEE Trans. Signal Process. 66 (6) (2018)
Gabriele Keller, Fritz Henglein
Editorial for the Special Issue on Parallel and Concurrent Functional Programming. J. Funct. Program. 28 (2018)
Aleksandar Ignjatovic, Chamith Wijenayake, Gabriele Keller
Chromatic Derivatives and Approximations in Practice - Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising. IEEE Trans. Signal Process. 66 (6) (2018)
Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
Streaming irregular arrays. Haskell (2017)
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser
The Cogent Case for Property-Based Testing. PLOS@SOSP (2017)
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
A Framework for the Automatic Formal Verification of Refinement from Cogent to C. ITP (2016)
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, Toby C. Murray, Gerwin Klein, Gernot Heiser
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
COGENT: Certified Compilation for a Functional Systems Language. CoRR (2016)
Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller
Functional array streams. FHPC@ICFP (2015)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Amos Robinson, Ben Lippmeier, Gabriele Keller
Fusing filters with integer linear programming. FHPC@ICFP (2014)
Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
Embedding Foreign Code. PADL (2014)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
Data flow fusion with series expressions in Haskell. Haskell (2013)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! PLOS@SOSP (2013)
Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier
Optimising purely functional GPU programs. ICFP (2013)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Guiding parallel array fusion with indexed types. Haskell (2012)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
Work efficient higher-order vectorisation. ICFP (2012)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
Vectorisation avoidance. Haskell (2012)
Ben Lippmeier, Gabriele Keller
Efficient parallel stencil convolution in Haskell. Haskell (2011)
Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover
Accelerating Haskell array codes with multicore GPUs. DAMP (2011)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
Regular, shape-polymorphic, parallel arrays in Haskell. ICFP (2010)
Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty
Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS (2008)
Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik
Specialising Simulator Generators for High-Performance Monte-Carlo Methods. PADL (2008)
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow
Data parallel Haskell: a status report. DAMP (2007)
Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
Modular type classes. POPL (2007)
Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller
Higher Order Flattening. International Conference on Computational Science (2) (2006)
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Associated type synonyms. ICFP (2005)
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow
Associated types with class. POPL (2005)
Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller
Optimising Embedded DSLs Using Template Haskell. GPCE (2004)
Manuel M. T. Chakravarty, Gabriele Keller
The risks and benefits of teaching purely functional programming in first year. J. Funct. Program. 14 (1) (2004)
Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski
A Functional Perspective on SSA Optimisation Algorithms. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Manuel M. T. Chakravarty, Gabriele Keller
An Approach to Fast Arrays in Haskell. Advanced Functional Programming (2002)
Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller
Costing Nested Array Codes. Parallel Process. Lett. 12 (2) (2002)
Manuel M. T. Chakravarty, Gabriele Keller
Functional Array Fusion. ICFP (2001)
Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel
Nepal - Nested Data Parallelism in Haskell. Euro-Par (2001)
Manuel M. T. Chakravarty, Gabriele Keller
More types for nested data parallel programming. ICFP (2000)
Gabriele Keller, Manuel M. T. Chakravarty
On the Distribution Implementation of Aggregate Data Structures by Program Transformation. IPPS/SPDP Workshops (1999)
Gabriele Keller, Manuel M. T. Chakravarty
Flattening Trees. Euro-Par (1998)
K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC (1997)
Gabriele Keller, Martin Simons
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. ASIAN (1996)

Gabriele Keller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabriele Keller