Gabriele Keller

Orcid: 0000-0003-1442-5387

Affiliations:
  • Utrecht University, The Netherlands
  • University of New South Wales, Sydney, NSW, Australia
  • TU Berlin, Germany (PhD 1999)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Translation certification for smart contracts.
Sci. Comput. Program., 2024

PX-MBT: A framework for model-based player experience testing.
Sci. Comput. Program., 2024

Fusing Gathers with Integer Linear Programming.
CoRR, 2024

Types for Correctness, Convenience, and Performance (Keynote).
Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

Zero-Overhead Parallel Scans for Multi-Core CPUs.
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.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

A Fast Wait-Free Solution to Read-Reclaim Races in Reference Counting.
Proceedings of the Euro-Par 2024: Parallel Processing, 2024

Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling.
Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, 2024

2023
Dargent: A Silver Bullet for Verified Data Layout Refinement.
Proc. ACM Program. Lang., January, 2023

Model-based Player Experience Testing with Emotion Pattern Verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
Property-Based Testing: Climbing the Stairway to Verification.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

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

2021
Cogent: uniqueness types and certifying compilation.
J. Funct. Program., 2021

Using an agent-based approach for robust automated testing of computer games.
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.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020
An Adaptive Denoising Algorithm for Improving Frequency Estimation and Tracking.
IEEE Trans. Circuits Syst. II Express Briefs, 2020

Accelerating Nested Data Parallelism: Preserving Regularity.
Proceedings of the Euro-Par 2020: Parallel Processing, 2020

2019
On reconstruction of bandlimited signals from purely timing information.
Signal Process., 2019

2018
Chromatic Derivatives and Approximations in Practice - Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising.
IEEE Trans. Signal Process., 2018

Chromatic Derivatives and Approximations in Practice - Part I: A General Framework.
IEEE Trans. Signal Process., 2018

Editorial for the Special Issue on Parallel and Concurrent Functional Programming.
J. Funct. Program., 2018

Bringing Effortless Refinement of Data Layouts to Cogent.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017
The Cogent Case for Property-Based Testing.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Streaming irregular arrays.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016
COGENT: Certified Compilation for a Functional Systems Language.
CoRR, 2016

A Framework for the Automatic Formal Verification of Refinement from Cogent to C.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

CoGENT: Verifying High-Assurance File System Implementations.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

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

2014
File systems deserve verification too!
ACM SIGOPS Oper. Syst. Rev., 2014

Embedding Foreign Code.
Proceedings of the Practical Aspects of Declarative Languages, 2014

Fusing filters with integer linear programming.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013
Optimising purely functional GPU programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Data flow fusion with series expressions in Haskell.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012
Work efficient higher-order vectorisation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

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

2011
Accelerating Haskell array codes with multicore GPUs.
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

Efficient parallel stencil convolution in Haskell.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Regular, shape-polymorphic, parallel arrays in Haskell.
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.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

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

Data parallel Haskell: a status report.
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

2006
Higher Order Flattening.
Proceedings of the Computational Science, 2006

2005
Associated types with class.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Associated type synonyms.
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.
J. Funct. Program., 2004

Optimising Embedded DSLs Using Template Haskell.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Einführung in die Programmierung mit Haskell.
Pearson Studium, ISBN: 978-3-8273-7137-9, 2004

2003
A Functional Perspective on SSA Optimisation Algorithms.
Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2002
Costing Nested Array Codes.
Parallel Process. Lett., 2002

An Approach to Fast Arrays in Haskell.
Proceedings of the Advanced Functional Programming, 2002

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

Nepal - Nested Data Parallelism in Haskell.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
More types for nested data parallel programming.
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.
PhD thesis, 1999

On the Distribution Implementation of Aggregate Data Structures by Program Transformation.
Proceedings of the Parallel and Distributed Processing, 1999

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

1997
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.
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.
Proceedings of the Concurrency and Parallelism, 1996


  Loading...