Gabriele Keller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
16
Active years
1998–2024
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICST | 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 |
| 2023 | FASE | 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 |
| 2022 | FLOPS | Translation Certification for Smart Contracts. | Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra |
| 2022 | HASKELL | Embedded pattern matching. | Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller |
| 2022 | SLE | Property-Based Testing: Climbing the Stairway to Verification. | Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller |
| 2021 | EMAS | 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 |
| 2018 | ISoLA | Bringing Effortless Refinement of Data Layouts to Cogent. | Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller |
| 2017 | HASKELL | Streaming irregular arrays. | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2017 | SOSP | The Cogent Case for Property-Based Testing. | Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser |
| 2016 | ASPLOS | 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 |
| 2016 | ITP | 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 |
| 2015 | ICFP | Functional array streams. | Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller |
| 2014 | ICFP | Fusing filters with integer linear programming. | Amos Robinson, Ben Lippmeier, Gabriele Keller |
| 2014 | PADL | Embedding Foreign Code. | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2013 | HASKELL | Data flow fusion with series expressions in Haskell. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson |
| 2013 | ICFP | Optimising purely functional GPU programs. | Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |
| 2012 | HASKELL | Vectorisation avoidance. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
| 2012 | HASKELL | Guiding parallel array fusion with indexed types. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2012 | ICFP | Work efficient higher-order vectorisation. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones |
| 2011 | HASKELL | Efficient parallel stencil convolution in Haskell. | Ben Lippmeier, Gabriele Keller |
| 2011 | POPL | Accelerating Haskell array codes with multicore GPUs. | Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover |
| 2010 | ICFP | Regular, shape-polymorphic, parallel arrays in Haskell. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
| 2008 | PADL | Specialising Simulator Generators for High-Performance Monte-Carlo Methods. | Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik |
| 2007 | POPL | Data parallel Haskell: a status report. | Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow |
| 2007 | POPL | Modular type classes. | Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller |
| 2006 | ICCS | Higher Order Flattening. | Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller |
| 2005 | ICFP | Associated type synonyms. | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2005 | POPL | Associated types with class. | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow |
| 2004 | GPCE | Optimising Embedded DSLs Using Template Haskell. | Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller |
| 2001 | EuroPar | Nepal - Nested Data Parallelism in Haskell. | Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel |
| 2001 | ICFP | Functional Array Fusion. | Manuel M. T. Chakravarty, Gabriele Keller |
| 2000 | ICFP | More types for nested data parallel programming. | Manuel M. T. Chakravarty, Gabriele Keller |
| 1998 | EuroPar | Flattening Trees. | Gabriele Keller, Manuel M. T. Chakravarty |