Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabriele Keller
Person information
- affiliation: Utrecht University, The Netherlands
- affiliation: University of New South Wales, Sydney, NSW, Australia
- affiliation (PhD 1999): TU Berlin, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2004
[b2]Manuel M. T. Chakravarty, Gabriele Keller:
Einführung in die Programmierung mit Haskell. Pearson Studium 2004, ISBN 978-3-8273-7137-9, pp. 1-199- 1999
- [b1]Gabriele Keller:
Transformation-based implementation of nested data parallelis for distributed memory machines. Technical University of Berlin, Germany, 1999, pp. 1-161
Journal Articles
- 2023
- [j10]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): 1369-1395 (2023) - 2021
- [j9]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: e25 (2021) - 2020
- [j8]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 67-II(1): 172-176 (2020) - 2019
- [j7]Chamith Wijenayake, Aleksandar Ignjatovic, Gabriele Keller:
On reconstruction of bandlimited signals from purely timing information. Signal Process. 159: 89-92 (2019) - 2018
- [j6]Gabriele Keller, Fritz Henglein:
Editorial for the Special Issue on Parallel and Concurrent Functional Programming. J. Funct. Program. 28: e6 (2018) - [j5]Aleksandar Ignjatovic, Chamith Wijenayake, Gabriele Keller:
Chromatic Derivatives and Approximations in Practice - Part I: A General Framework. IEEE Trans. Signal Process. 66(6): 1498-1512 (2018) - [j4]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): 1513-1525 (2018) - 2014
- [j3]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): 58-64 (2014) - 2004
- [j2]Manuel M. T. Chakravarty, Gabriele Keller:
The risks and benefits of teaching purely functional programming in first year. J. Funct. Program. 14(1): 113-123 (2004) - 2002
- [j1]Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller:
Costing Nested Array Codes. Parallel Process. Lett. 12(2): 249-266 (2002)
Conference and Workshop Papers
- 2024
- [c42]Ivo Gabe de Wolff, David P. van Balen, Gabriele K. Keller, Trevor L. McDonell:
Zero-Overhead Parallel Scans for Multi-Core CPUs. PMAM@PPoPP 2024: 52-61 - 2023
- [c41]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: 151-172 - 2022
- [c40]Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra:
Translation Certification for Smart Contracts. FLOPS 2022: 94-111 - [c39]Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller:
Embedded pattern matching. Haskell 2022: 123-136 - [c38]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: 84-97 - 2021
- [c37]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: 156-174 - [c36]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: 1-8 - 2020
- [c35]Lars B. van den Haak, Trevor L. McDonell, Gabriele K. Keller, Ivo Gabe de Wolff:
Accelerating Nested Data Parallelism: Preserving Regularity. Euro-Par 2020: 426-442 - 2018
- [c34]Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller:
Bringing Effortless Refinement of Data Layouts to Cogent. ISoLA (1) 2018: 134-149 - 2017
- [c33]Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller:
Streaming irregular arrays. Haskell 2017: 174-185 - [c32]Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser:
The Cogent Case for Property-Based Testing. PLOS@SOSP 2017: 1-7 - 2016
- [c31]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: 175-188 - [c30]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: 323-340 - 2015
- [c29]Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller:
Functional array streams. FHPC@ICFP 2015: 23-34 - 2014
- [c28]Amos Robinson, Ben Lippmeier, Gabriele Keller:
Fusing filters with integer linear programming. FHPC@ICFP 2014: 53-62 - [c27]Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller:
Embedding Foreign Code. PADL 2014: 136-151 - 2013
- [c26]Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson:
Data flow fusion with series expressions in Haskell. Haskell 2013: 93-104 - [c25]Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier:
Optimising purely functional GPU programs. ICFP 2013: 49-60 - [c24]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: 1:1-1:7 - 2012
- [c23]Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones:
Guiding parallel array fusion with indexed types. Haskell 2012: 25-36 - [c22]Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones:
Vectorisation avoidance. Haskell 2012: 37-48 - [c21]Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones:
Work efficient higher-order vectorisation. ICFP 2012: 259-270 - 2011
- [c20]Ben Lippmeier, Gabriele Keller:
Efficient parallel stencil convolution in Haskell. Haskell 2011: 59-70 - [c19]Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover:
Accelerating Haskell array codes with multicore GPUs. DAMP 2011: 3-14 - 2010
- [c18]Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier:
Regular, shape-polymorphic, parallel arrays in Haskell. ICFP 2010: 261-272 - 2008
- [c17]Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty:
Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS 2008: 383-414 - [c16]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: 116-132 - 2007
- [c15]Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow:
Data parallel Haskell: a status report. DAMP 2007: 10-18 - [c14]Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller:
Modular type classes. POPL 2007: 63-70 - 2006
- [c13]Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller:
Higher Order Flattening. International Conference on Computational Science (2) 2006: 920-928 - 2005
- [c12]Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones:
Associated type synonyms. ICFP 2005: 241-253 - [c11]Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow:
Associated types with class. POPL 2005: 1-13 - 2004
- [c10]Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller:
Optimising Embedded DSLs Using Template Haskell. GPCE 2004: 186-205 - 2003
- [c9]Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski:
A Functional Perspective on SSA Optimisation Algorithms. COCV@ETAPS 2003: 347-361 - 2002
- [c8]Manuel M. T. Chakravarty, Gabriele Keller:
An Approach to Fast Arrays in Haskell. Advanced Functional Programming 2002: 27-58 - 2001
- [c7]Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel:
Nepal - Nested Data Parallelism in Haskell. Euro-Par 2001: 524-534 - [c6]Manuel M. T. Chakravarty, Gabriele Keller:
Functional Array Fusion. ICFP 2001: 205-216 - 2000
- [c5]Manuel M. T. Chakravarty, Gabriele Keller:
More types for nested data parallel programming. ICFP 2000: 94-105 - 1999
- [c4]Gabriele Keller, Manuel M. T. Chakravarty:
On the Distribution Implementation of Aggregate Data Structures by Program Transformation. IPPS/SPDP Workshops 1999: 108-122 - 1998
- [c3]Gabriele Keller, Manuel M. T. Chakravarty:
Flattening Trees. Euro-Par 1998: 709-719 - 1997
- [c2]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: 66-73 - 1996
- [c1]Gabriele Keller, Martin Simons:
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. ASIAN 1996: 234-243
Editorship
- 2024
- [e5]Gabriele Keller, Meng Wang:
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. ACM 2024 [contents] - 2023
- [e4]Gabriele Keller, Sam Westrick:
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2023, Seattle, WA, USA, 4 September 2023. ACM 2023 [contents] - 2021
- [e3]Gabriele Keller, Troels Henriksen:
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. ACM 2021, ISBN 978-1-4503-8614-2 [contents] - 2016
- [e2]Jacques Garrigue, Gabriele Keller, Eijiro Sumii:
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. ACM 2016, ISBN 978-1-4503-4219-3 [contents] - 2007
- [e1]Gabriele Keller:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007. ACM 2007, ISBN 978-1-59593-674-5 [contents]
Informal and Other Publications
- 2022
- [i4]Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra:
Translation Certification for Smart Contracts. CoRR abs/2201.04919 (2022) - 2021
- [i3]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 abs/2105.05589 (2021) - [i2]Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller:
Embedded Pattern Matching. CoRR abs/2108.13114 (2021) - 2016
- [i1]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 abs/1601.05520 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-16 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
