Manuel M. T. Chakravarty

Affiliations:
  • University of New South Wales, Sydney, Australia


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Translation certification for smart contracts.
Sci. Comput. Program., 2024

Structured Contracts in the EUTxO Ledger Model.
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2022
Babel Fees via Limited Liabilities.
Proceedings of the Applied Cryptography and Network Security, 2022

2021
Fast Isomorphic State Channels.
Proceedings of the Financial Cryptography and Data Security, 2021

2020
Hydra: Fast Isomorphic State Channels.
IACR Cryptol. ePrint Arch., 2020

UTXO<sub>sf ma</sub>: UTXO with Multi-asset Support.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.
Proceedings of the Financial Cryptography and Data Security, 2020

2018
Technical perspective: Can high performance be portable?
Commun. ACM, 2018

2017
Streaming irregular arrays.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

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

Type-safe runtime code generation: accelerate to LLVM.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014
Embedding Foreign Code.
Proceedings of the Practical Aspects of Declarative Languages, 2014

Foreign inline code: systems demonstration.
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013
Optimising purely functional GPU programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Data parallelism in Haskell.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Data flow fusion with series expressions in Haskell.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012
Agda Meets Accelerate.
Proceedings of the Implementation and Application of Functional Languages, 2012

Work efficient higher-order vectorisation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

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

2011
Singleton: a general-purpose dependently-typed assembly language.
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Accelerating Haskell array codes with multicore GPUs.
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2010
Regular, shape-polymorphic, parallel arrays in Haskell.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

An llVM backend for GHC.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2008
Specialising Simulator Generators for High-Performance Monte-Carlo Methods.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Type checking with open type functions.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.
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.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
System F with type equality coercions.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

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

Data parallel Haskell: a status report.
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

2006
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Higher Order Flattening.
Proceedings of the Computational Science, 2006

Running the manual: an approach to high-assurance microkernel development.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005
Associated types with class.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Secure Untrusted Binaries - Provably!.
Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

Associated type synonyms.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Dynamic applications from the ground up.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004
The risks and benefits of teaching purely functional programming in first year.
J. Funct. Program., 2004

Plugging Haskell in.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Optimising Embedded DSLs Using Template Haskell.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Einführung in die Programmierung mit Haskell.
Pearson Studium, ISBN: 978-3-8273-7137-9, 2004

2003
A Functional Perspective on SSA Optimisation Algorithms.
Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Interfacing Haskell with Object-Oriented Languages.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002
Costing Nested Array Codes.
Parallel Process. Lett., 2002

An Approach to Fast Arrays in Haskell.
Proceedings of the Advanced Functional Programming, 2002

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

Nepal - Nested Data Parallelism in Haskell.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
More types for nested data parallel programming.
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.
Proceedings of the Parallel and Distributed Processing, 1999

C -> HASKELL, or Yet Another Interfacing Tool.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Lazy Lexing is Fast.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998
GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Sci. Comput. Program., 1998

Distributed Haskell: Goffin on the Internet.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

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

1997
On the massively parallel excution of declarative programs.
PhD thesis, 1997

Towards the Uniform Implementation of Declarative Languages.
Comput. Lang., 1997

Lazy Thread and Task Creation in Parallel Graph-Reduction.
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.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1995
Co-ordinating Parallel Computation through Equational Constraints.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Integrating Multithreading into the Spineless Tagless G-machine.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995

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

1991
The Implementation of Lazy Narrowing.
Proceedings of the Programming Language Implementation and Logic Programming, 1991


  Loading...