Gabriele Keller

According to our database, Gabriele Keller authored at least 60 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Translation certification for smart contracts.

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra

Sci. Comput. Program., 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

Fusing Gathers with Integer Linear Programming.

David P. van Balen, Gabriele Keller, Ivo Gabe de Wolff, Trevor L. McDonell

CoRR, 2024

Types for Correctness, Convenience, and Performance (Keynote).

Gabriele Keller

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

Zero-Overhead Parallel Scans for Multi-Core CPUs.

Ivo Gabe de Wolff, David P. van Balen, Gabriele K. Keller, Trevor L. McDonell

Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores, 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

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

A Fast Wait-Free Solution to Read-Reclaim Races in Reference Counting.

Ivo Gabe de Wolff, Daniel Anderson, Gabriele K. Keller, Aleksei Seletskiy

Proceedings of the Euro-Par 2024: Parallel Processing, 2024

Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling.

Ivo Gabe de Wolff, Gabriele Keller

Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, 2024

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., January, 2023

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

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Property-Based Testing: Climbing the Stairway to Verification.

Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

Embedded pattern matching.

Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

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

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

Proceedings of the A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, 2021

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

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

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

Accelerating Nested Data Parallelism: Preserving Regularity.

Lars B. van den Haak, Trevor L. McDonell, Gabriele K. Keller, Ivo Gabe de Wolff

Proceedings of the Euro-Par 2020: Parallel Processing, 2020

2019

On reconstruction of bandlimited signals from purely timing information.

Chamith Wijenayake, Aleksandar Ignjatovic, Gabriele Keller

Signal Process., 2019

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

Chromatic Derivatives and Approximations in Practice - Part I: A General Framework.

Aleksandar Ignjatovic, Chamith Wijenayake, Gabriele Keller

IEEE Trans. Signal Process., 2018

Editorial for the Special Issue on Parallel and Concurrent Functional Programming.

Gabriele Keller, Fritz Henglein

J. Funct. Program., 2018

Bringing Effortless Refinement of Data Layouts to Cogent.

Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

The Cogent Case for Property-Based Testing.

Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Streaming irregular arrays.

Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

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

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

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

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, Toby C. Murray, Gerwin Klein, Gernot Heiser

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Functional array streams.

Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

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

Embedding Foreign Code.

Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Practical Aspects of Declarative Languages, 2014

Fusing filters with integer linear programming.

Amos Robinson, Ben Lippmeier, Gabriele Keller

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Optimising purely functional GPU programs.

Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Data flow fusion with series expressions in Haskell.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Work efficient higher-order vectorisation.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Vectorisation avoidance.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Accelerating Haskell array codes with multicore GPUs.

Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

Efficient parallel stencil convolution in Haskell.

Ben Lippmeier, Gabriele Keller

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Regular, shape-polymorphic, parallel arrays in Haskell.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008

Specialising Simulator Generators for High-Performance Monte-Carlo Methods.

Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik

Proceedings of the Practical Aspects of Declarative Languages, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.

Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2007

Modular type classes.

Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Data parallel Haskell: a status report.

Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

2006

Higher Order Flattening.

Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Computational Science, 2006

2005

Associated types with class.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Associated type synonyms.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

The risks and benefits of teaching purely functional programming in first year.

Manuel M. T. Chakravarty, Gabriele Keller

J. Funct. Program., 2004

Optimising Embedded DSLs Using Template Haskell.

Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Einführung in die Programmierung mit Haskell.

Manuel M. T. Chakravarty, Gabriele Keller

Pearson Studium, ISBN: 978-3-8273-7137-9, 2004

2003

A Functional Perspective on SSA Optimisation Algorithms.

Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2002

Costing Nested Array Codes.

Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller

Parallel Process. Lett., 2002

An Approach to Fast Arrays in Haskell.

Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Advanced Functional Programming, 2002

2001

Functional Array Fusion.

Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Nepal - Nested Data Parallelism in Haskell.

Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

More types for nested data parallel programming.

Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

Transformation-based implementation of nested data parallelis for distributed memory machines.

Gabriele Keller

PhD thesis, 1999

On the Distribution Implementation of Aggregate Data Structures by Program Transformation.

Gabriele Keller, Manuel M. T. Chakravarty

Proceedings of the Parallel and Distributed Processing, 1999

1998

Flattening Trees.

Gabriele Keller, Manuel M. T. Chakravarty

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

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

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996

A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages.

Gabriele Keller, Martin Simons

Proceedings of the Concurrency and Parallelism, 1996