Manuel M. T. Chakravarty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
14
Active years
1994–2025
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HASKELL | Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). | Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty |
| 2022 | ACNS | Babel Fees via Limited Liabilities. | Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova |
| 2022 | FLOPS | Translation Certification for Smart Contracts. | Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra |
| 2021 | FC | Fast Isomorphic State Channels. | Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell |
| 2020 | FC | The Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler |
| 2020 | ISoLA | Native Custom Tokens in the Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler |
| 2020 | ISoLA | UTXO | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner |
| 2017 | HASKELL | Streaming irregular arrays. | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2015 | HASKELL | Type-safe runtime code generation: accelerate to LLVM. | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
| 2015 | ICFP | Functional array streams. | Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller |
| 2014 | HASKELL | Foreign inline code: systems demonstration. | Manuel M. T. Chakravarty |
| 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 | Data parallelism in Haskell. | Manuel M. T. Chakravarty |
| 2013 | ICFP | Optimising purely functional GPU programs. | Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier |
| 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 | POPL | Accelerating Haskell array codes with multicore GPUs. | Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover |
| 2010 | HASKELL | An llVM backend for GHC. | David A. Terei, Manuel M. T. Chakravarty |
| 2010 | ICFP | Regular, shape-polymorphic, parallel arrays in Haskell. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
| 2008 | APLAS | ML Modules and Haskell Type Classes: A Constructive Comparison. | Stefan Wehr, Manuel M. T. Chakravarty |
| 2008 | ICFP | Type checking with open type functions. | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
| 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 | HASKELL | Running the manual: an approach to high-assurance microkernel development. | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty |
| 2006 | ICCS | Higher Order Flattening. | Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller |
| 2006 | LOPSTR | On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. | Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty |
| 2005 | HASKELL | Dynamic applications from the ground up. | Don Stewart, Manuel M. T. Chakravarty |
| 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 |
| 2004 | HASKELL | Plugging Haskell in. | Andr T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty |
| 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 |
| 1999 | FLOPS | Lazy Lexing is Fast. | Manuel M. T. Chakravarty |
| 1998 | EuroPar | Flattening Trees. | Gabriele Keller, Manuel M. T. Chakravarty |
| 1998 | FLOPS | Distributed Haskell: Goffin on the Internet. | Manuel M. T. Chakravarty, Yike Guo, Martin Khler |
| 1994 | ICLP | The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. | Manuel M. T. Chakravarty, Hendrik C. R. Lock |