Остановите войну!
for scientists:
default search action
Gabriele Keller
- > Home > Persons > Gabriele Keller
Publications
- 2022
- [c40]Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra:
Translation Certification for Smart Contracts. FLOPS 2022: 94-111 - [i4]Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra:
Translation Certification for Smart Contracts. CoRR abs/2201.04919 (2022) - 2017
- [c33]Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller:
Streaming irregular arrays. Haskell 2017: 174-185 - 2015
- [c29]Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller:
Functional array streams. FHPC@ICFP 2015: 23-34 - 2014
- [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 - 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
- [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
- [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 - [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) - [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
- [j1]Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller:
Costing Nested Array Codes. Parallel Process. Lett. 12(2): 249-266 (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
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-17 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint