Manuel M. T. Chakravarty

According to our database, Manuel M. T. Chakravarty authored at least 65 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Translation certification for smart contracts.

Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra

Sci. Comput. Program., 2024

Structured Contracts in the EUTxO Ledger Model.

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2022

Babel Fees via Limited Liabilities.

Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova

Proceedings of the Applied Cryptography and Network Security, 2022

2021

Fast Isomorphic State Channels.

Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell

Proceedings of the Financial Cryptography and Data Security, 2021

2020

Hydra: Fast Isomorphic State Channels.

Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell

IACR Cryptol. ePrint Arch., 2020

UTXO_{sf ma}: UTXO with Multi-asset Support.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler

Proceedings of the Financial Cryptography and Data Security, 2020

2018

Technical perspective: Can high performance be portable?

Manuel M. T. Chakravarty

Commun. ACM, 2018

2017

Streaming irregular arrays.

Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2015

Functional array streams.

Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller

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

Type-safe runtime code generation: accelerate to LLVM.

Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Embedding Foreign Code.

Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Practical Aspects of Declarative Languages, 2014

Foreign inline code: systems demonstration.

Manuel M. T. Chakravarty

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

Optimising purely functional GPU programs.

Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Data parallelism in Haskell.

Manuel M. T. Chakravarty

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Data flow fusion with series expressions in Haskell.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Agda Meets Accelerate.

Peter Thiemann, Manuel M. T. Chakravarty

Proceedings of the Implementation and Application of Functional Languages, 2012

Work efficient higher-order vectorisation.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

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

Vectorisation avoidance.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones

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

2011

Singleton: a general-purpose dependently-typed assembly language.

Simon Winwood, Manuel M. T. Chakravarty

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Accelerating Haskell array codes with multicore GPUs.

Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2010

Regular, shape-polymorphic, parallel arrays in Haskell.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

An llVM backend for GHC.

David A. Terei, Manuel M. T. Chakravarty

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2008

Specialising Simulator Generators for High-Performance Monte-Carlo Methods.

Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik

Proceedings of the Practical Aspects of Declarative Languages, 2008

Type checking with open type functions.

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.

Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

ML Modules and Haskell Type Classes: A Constructive Comparison.

Stefan Wehr, Manuel M. T. Chakravarty

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

System F with type equality coercions.

Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

Modular type classes.

Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller

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

Data parallel Haskell: a status report.

Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

2006

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.

Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Higher Order Flattening.

Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Computational Science, 2006

Running the manual: an approach to high-assurance microkernel development.

Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005

Associated types with class.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Secure Untrusted Binaries - Provably!.

Simon Winwood, Manuel M. T. Chakravarty

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

Associated type synonyms.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Dynamic applications from the ground up.

Don Stewart, Manuel M. T. Chakravarty

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

The risks and benefits of teaching purely functional programming in first year.

Manuel M. T. Chakravarty, Gabriele Keller

J. Funct. Program., 2004

Plugging Haskell in.

André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Optimising Embedded DSLs Using Template Haskell.

Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Einführung in die Programmierung mit Haskell.

Manuel M. T. Chakravarty, Gabriele Keller

Pearson Studium, ISBN: 978-3-8273-7137-9, 2004

2003

A Functional Perspective on SSA Optimisation Algorithms.

Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Interfacing Haskell with Object-Oriented Languages.

André T. H. Pang, Manuel M. T. Chakravarty

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Costing Nested Array Codes.

Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller

Parallel Process. Lett., 2002

An Approach to Fast Arrays in Haskell.

Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Advanced Functional Programming, 2002

2001

Functional Array Fusion.

Manuel M. T. Chakravarty, Gabriele Keller

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

Nepal - Nested Data Parallelism in Haskell.

Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

More types for nested data parallel programming.

Manuel M. T. Chakravarty, Gabriele Keller

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

On the Distribution Implementation of Aggregate Data Structures by Program Transformation.

Gabriele Keller, Manuel M. T. Chakravarty

Proceedings of the Parallel and Distributed Processing, 1999

C -> HASKELL, or Yet Another Interfacing Tool.

Manuel M. T. Chakravarty

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Lazy Lexing is Fast.

Manuel M. T. Chakravarty

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

GOFFIN: Higher-Order Functions Meet Concurrent Constraints.

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock

Sci. Comput. Program., 1998

Distributed Haskell: Goffin on the Internet.

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

Flattening Trees.

Gabriele Keller, Manuel M. T. Chakravarty

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

1997

On the massively parallel excution of declarative programs.

Manuel M. T. Chakravarty

PhD thesis, 1997

Towards the Uniform Implementation of Declarative Languages.

Manuel M. T. Chakravarty, Hendrik C. R. Lock

Comput. Lang., 1997

Lazy Thread and Task Creation in Parallel Graph-Reduction.

Manuel M. T. Chakravarty

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.

K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1995

Co-ordinating Parallel Computation through Equational Constraints.

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock

Proceedings of the 11. Workshop Logische Programmierung, 1995

Integrating Multithreading into the Spineless Tagless G-machine.

Manuel M. T. Chakravarty

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

GOFFIN: Higher-Order Functions Meet Concurrent Constraints.

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler

Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995

1994

The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.

Manuel M. T. Chakravarty, Hendrik C. R. Lock

Proceedings of the Integration of Declarative Paradigms, 1994

1991

The Implementation of Lazy Narrowing.

Manuel M. T. Chakravarty, Hendrik C. R. Lock

Proceedings of the Programming Language Implementation and Logic Programming, 1991