Manuel M. T. Chakravarty

73 papers A* 2A 10B 3C 15Misc 2Journal 9Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). Haskell Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty
2024	—	`conf`	Structured Contracts in the EUTxO Ledger Model. FMBC@CAV Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
2024	J	`jnl`	Translation certification for smart contracts. Sci. Comput. Program. Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
2022	B	`conf`	Babel Fees via Limited Liabilities. ACNS Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
2022	Misc	`conf`	Translation Certification for Smart Contracts. FLOPS Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
2022	J	`jnl`	Translation Certification for Smart Contracts. CoRR Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
2021	J	`jnl`	Babel Fees via Limited Liabilities. CoRR Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
2021	—	`conf`	Fast Isomorphic State Channels. Financial Cryptography (2) Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell
2020	J	`jnl`	Hydra: Fast Isomorphic State Channels. IACR Cryptol. ePrint Arch. Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gazi, Philipp Kant, Aggelos Kiayias, Alexander Russell
2020	—	`conf`	Native Custom Tokens in the Extended UTXO Model. ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020	—	`conf`	The Extended UTXO Model. Financial Cryptography Workshops Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
2020	—	`conf`	UTXO ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2018	J	`jnl`	Technical perspective: Can high performance be portable? Commun. ACM Manuel M. T. Chakravarty
2017	C	`conf`	Streaming irregular arrays. Haskell Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
2015	—	`conf`	Functional array streams. FHPC@ICFP Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller
2015	C	`conf`	Type-safe runtime code generation: accelerate to LLVM. Haskell Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton
2014	C	`conf`	Embedding Foreign Code. PADL Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
2014	C	`conf`	Foreign inline code: systems demonstration. Haskell Manuel M. T. Chakravarty
2014	A	`ed.`	Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014 ICFP Johan Jeuring, Manuel M. T. Chakravarty
2013	C	`conf`	Data flow fusion with series expressions in Haskell. Haskell Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
2013	—	`conf`	Data parallelism in Haskell. FHPC@ICFP Manuel M. T. Chakravarty
2013	A	`conf`	Optimising purely functional GPU programs. ICFP Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier
2012	—	`conf`	Agda Meets Accelerate. IFL Peter Thiemann, Manuel M. T. Chakravarty
2012	C	`conf`	Guiding parallel array fusion with indexed types. Haskell Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
2012	C	`conf`	Vectorisation avoidance. Haskell Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
2012	A	`conf`	Work efficient higher-order vectorisation. ICFP Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
2011	—	`conf`	Accelerating Haskell array codes with multicore GPUs. DAMP Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover
2011	A	`ed.`	Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 ICFP Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy
2011	—	`conf`	Singleton: a general-purpose dependently-typed assembly language. TLDI Simon Winwood, Manuel M. T. Chakravarty
2010	C	`conf`	An llVM backend for GHC. Haskell David A. Terei, Manuel M. T. Chakravarty
2010	A	`conf`	Regular, shape-polymorphic, parallel arrays in Haskell. ICFP Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
2009	—	`ed.`	Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009 DAMP Leaf Petersen, Manuel M. T. Chakravarty
2008	—	`conf`	Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty
2008	B	`conf`	ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS Stefan Wehr, Manuel M. T. Chakravarty
2008	C	`conf`	Specialising Simulator Generators for High-Performance Monte-Carlo Methods. PADL Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik
2008	A	`conf`	Type checking with open type functions. ICFP Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
2007	—	`conf`	Data parallel Haskell: a status report. DAMP Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow
2007	A*	`conf`	Modular type classes. POPL Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
2007	—	`conf`	System F with type equality coercions. TLDI Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
2006	Misc	`conf`	Higher Order Flattening. International Conference on Computational Science (2) Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller
2006	C	`conf`	On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
2006	C	`conf`	Running the manual: an approach to high-assurance microkernel development. Haskell Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty
2005	A	`conf`	Associated type synonyms. ICFP Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
2005	A*	`conf`	Associated types with class. POPL Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow
2005	C	`conf`	Dynamic applications from the ground up. Haskell Don Stewart, Manuel M. T. Chakravarty
2005	—	`conf`	Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust Simon Winwood, Manuel M. T. Chakravarty
2004	—	`book`	Einführung in die Programmierung mit Haskell. Manuel M. T. Chakravarty, Gabriele Keller
2004	B	`conf`	Optimising Embedded DSLs Using Template Haskell. GPCE Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller
2004	C	`conf`	Plugging Haskell in. Haskell André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty
2004	J	`jnl`	The risks and benefits of teaching purely functional programming in first year. J. Funct. Program. Manuel M. T. Chakravarty, Gabriele Keller
2003	—	`conf`	A Functional Perspective on SSA Optimisation Algorithms. COCV Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski
2003	—	`conf`	Interfacing Haskell with Object-Oriented Languages. IFL André T. H. Pang, Manuel M. T. Chakravarty
2002	—	`conf`	An Approach to Fast Arrays in Haskell. Advanced Functional Programming Manuel M. T. Chakravarty, Gabriele Keller
2002	J	`jnl`	Costing Nested Array Codes. Parallel Process. Lett. Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller
2002	C	`ed.`	Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002 Haskell Manuel M. T. Chakravarty
2001	A	`conf`	Functional Array Fusion. ICFP Manuel M. T. Chakravarty, Gabriele Keller
2001	—	`conf`	Nepal - Nested Data Parallelism in Haskell. Euro-Par Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel
2000	A	`conf`	More types for nested data parallel programming. ICFP Manuel M. T. Chakravarty, Gabriele Keller
1999	—	`conf`	C -> HASKELL, or Yet Another Interfacing Tool. IFL Manuel M. T. Chakravarty
1999	—	`conf`	Lazy Lexing is Fast. Fuji International Symposium on Functional and Logic Programming Manuel M. T. Chakravarty
1999	—	`conf`	On the Distribution Implementation of Aggregate Data Structures by Program Transformation. IPPS/SPDP Workshops Gabriele Keller, Manuel M. T. Chakravarty
1998	—	`conf`	Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
1998	—	`conf`	Flattening Trees. Euro-Par Gabriele Keller, Manuel M. T. Chakravarty
1998	J	`jnl`	GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Sci. Comput. Program. Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
1997	—	`conf`	Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons
1997	—	`conf`	Lazy Thread and Task Creation in Parallel Graph-Reduction. Implementation of Functional Languages Manuel M. T. Chakravarty
1997	—	`—`	On the massively parallel excution of declarative programs. Manuel M. T. Chakravarty
1997	J	`jnl`	Towards the Uniform Implementation of Declarative Languages. Comput. Lang. Manuel M. T. Chakravarty, Hendrik C. R. Lock
1995	—	`conf`	Co-ordinating Parallel Computation through Equational Constraints. WLP Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
1995	—	`conf`	GOFFIN: Higher-Order Functions Meet Concurrent Constraints. CCP Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
1995	A	`conf`	Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming Manuel M. T. Chakravarty
1994	—	`conf`	The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. ICLP Workshop: Integration of Declarative Paradigms Manuel M. T. Chakravarty, Hendrik C. R. Lock
1991	—	`conf`	The Implementation of Lazy Narrowing. PLILP Manuel M. T. Chakravarty, Hendrik C. R. Lock