Gabriele Keller

67 papers A* 3A 8B 4C 10Misc 2Journal 17Unranked 19

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