Manuel M. T. Chakravarty

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 12

Top Venues

Haskell

CoRR

ISoLA (3)

ACNS

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
Structured Contracts in the EUTxO Ledger Model. FMBC@CAV (2024)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation certification for smart contracts. Sci. Comput. Program. 233 (2024)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. FLOPS (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. CoRR (2022)
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
Babel Fees via Limited Liabilities. ACNS (2022)
Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell
Fast Isomorphic State Channels. Financial Cryptography (2) (2021)
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
Babel Fees via Limited Liabilities. CoRR (2021)
Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell
Hydra: Fast Isomorphic State Channels. IACR Cryptol. ePrint Arch. 2020 (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
: UTXO with Multi-asset Support. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
The Extended UTXO Model. Financial Cryptography Workshops (2020)
Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
Streaming irregular arrays. Haskell (2017)
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton
Type-safe runtime code generation: accelerate to LLVM. Haskell (2015)
Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller
Functional array streams. FHPC@ICFP (2015)
Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
Embedding Foreign Code. PADL (2014)
Manuel M. T. Chakravarty
Foreign inline code: systems demonstration. Haskell (2014)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
Data flow fusion with series expressions in Haskell. Haskell (2013)
Manuel M. T. Chakravarty
Data parallelism in Haskell. FHPC@ICFP (2013)
Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier
Optimising purely functional GPU programs. ICFP (2013)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Guiding parallel array fusion with indexed types. Haskell (2012)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
Work efficient higher-order vectorisation. ICFP (2012)
Peter Thiemann, Manuel M. T. Chakravarty
Agda Meets Accelerate. IFL (2012)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
Vectorisation avoidance. Haskell (2012)
Simon Winwood, Manuel M. T. Chakravarty
Singleton: a general-purpose dependently-typed assembly language. TLDI (2011)
Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover
Accelerating Haskell array codes with multicore GPUs. DAMP (2011)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
Regular, shape-polymorphic, parallel arrays in Haskell. ICFP (2010)
David A. Terei, Manuel M. T. Chakravarty
An llVM backend for GHC. Haskell (2010)
Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty
Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS (2008)
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
Type checking with open type functions. ICFP (2008)
Stefan Wehr, Manuel M. T. Chakravarty
ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS (2008)
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)
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow
Data parallel Haskell: a status report. DAMP (2007)
Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
System F with type equality coercions. TLDI (2007)
Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
Modular type classes. POPL (2007)
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
Running the manual: an approach to high-assurance microkernel development. Haskell (2006)
Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller
Higher Order Flattening. International Conference on Computational Science (2) (2006)
Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR (2006)
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Associated type synonyms. ICFP (2005)
Simon Winwood, Manuel M. T. Chakravarty
Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust (2005)
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow
Associated types with class. POPL (2005)
Don Stewart, Manuel M. T. Chakravarty
Dynamic applications from the ground up. Haskell (2005)
Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller
Optimising Embedded DSLs Using Template Haskell. GPCE (2004)
André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty
Plugging Haskell in. Haskell (2004)
Manuel M. T. Chakravarty, Gabriele Keller
The risks and benefits of teaching purely functional programming in first year. J. Funct. Program. 14 (1) (2004)
André T. H. Pang, Manuel M. T. Chakravarty
Interfacing Haskell with Object-Oriented Languages. IFL (2003)
Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski
A Functional Perspective on SSA Optimisation Algorithms. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Manuel M. T. Chakravarty, Gabriele Keller
An Approach to Fast Arrays in Haskell. Advanced Functional Programming (2002)
Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller
Costing Nested Array Codes. Parallel Process. Lett. 12 (2) (2002)
Manuel M. T. Chakravarty, Gabriele Keller
Functional Array Fusion. ICFP (2001)
Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel
Nepal - Nested Data Parallelism in Haskell. Euro-Par (2001)
Manuel M. T. Chakravarty, Gabriele Keller
More types for nested data parallel programming. ICFP (2000)
Gabriele Keller, Manuel M. T. Chakravarty
On the Distribution Implementation of Aggregate Data Structures by Program Transformation. IPPS/SPDP Workshops (1999)
Manuel M. T. Chakravarty
C -> HASKELL, or Yet Another Interfacing Tool. IFL (1999)
Manuel M. T. Chakravarty
Lazy Lexing is Fast. Fuji International Symposium on Functional and Logic Programming (1999)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Sci. Comput. Program. 30 (1-2) (1998)
Gabriele Keller, Manuel M. T. Chakravarty
Flattening Trees. Euro-Par (1998)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming (1998)
Manuel M. T. Chakravarty
Lazy Thread and Task Creation in Parallel Graph-Reduction. Implementation of Functional Languages (1997)
Manuel M. T. Chakravarty, Hendrik C. R. Lock
Towards the Uniform Implementation of Declarative Languages. Comput. Lang. 23 (2-4) (1997)
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)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. CCP (1995)
Manuel M. T. Chakravarty
Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming (1995)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
Co-ordinating Parallel Computation through Equational Constraints. WLP (1995)
Manuel M. T. Chakravarty, Hendrik C. R. Lock
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. ICLP Workshop: Integration of Declarative Paradigms (1994)
Manuel M. T. Chakravarty, Hendrik C. R. Lock
The Implementation of Lazy Narrowing. PLILP (1991)

Manuel M. T. Chakravarty.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel M. T. Chakravarty