This web page only contains the publications of PLS members since the formation of the research group in 2002. For publications prior to 2002, please see the corresponding pages of Manuel Chakravarty and Gabriele Keller.
A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics. Hugh Chaffey-Millar, Don Stewart, Manuel M. T. Chakravarty, Gabriele Keller, and Christopher Barner-Kowollik. To appear in Macromolecular Theory & Simulation, 2007.
Stream Fusion: From Lists to Streams to Nothing at All. Duncan Coutts, Don Stewart and Roman Leshchinskiy. To appear in ICFP'07, ACM Press.
Generative Code Specialisation for High-Performance Monte-Carlo Simulations. Don Stewart, Hugh Chaffey-Millar, Gabriele Keller, Manuel M. T. Chakravarty, Christopher Barner-Kowollik. Submitted.
Modular Type Classes. Derek Dreyer, Robert Harper, and Manuel M. T. Chakravarty. In Proceedings of The 34th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, ACM Press, 2007. (Unabridged version available as University of Chicago, TR-2006-09.)
System F with Type Equality Coercions. Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, and Kevin Donnelly. In G. Necula, editor, Proceedings of The Third ACM SIGPLAN Workshop on Types in Language Design and Implementation, ACM Press, 2007. (An extended version appeared as Technical Report UNSW-CSE-TR-0624, 2006.)
Data Parallel Haskell: a status report. Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, and Simon Marlow. In DAMP 2007: Workshop on Declarative Aspects of Multicore Programming, ACM Press, 2007.
Rewriting Haskell Strings. Duncan Coutts, Don Stewart and Roman Leshchinskiy. In Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), Springer-Verlag, LNCS, 2007. (This paper received the "Most Practical Paper" award of PADL 2007.)
Running the Manual: An Approach to High-Assurance Microkernel Development. Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. In ACM SIGPLAN 2006 Haskell Workshop, ACM Press, 2006.
Higher Order Flattening. Roman Leshchinskiy, Manuel M. T. Chakravarty, and Gabriele Keller. In Third International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2006), LNCS, Springer-Verlag, 2006.
On the automated synthesis of proof-carrying temporal reference monitors. Simon Winwood, Gerwin Klein, and Manuel M. T. Chakravarty. In International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006), LNCS, Springer-Verlag, 2006.
Associated Type Synonyms. Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. In Proceedings of The 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), ACM Press, pages 241-253, 2005.
Associated Types with Class. Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. In Proceedings of The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), ACM Press, pages 1-13, 2005.
Dynamic Applications From the Ground Up. Don Stewart and Manuel M. T. Chakravarty. In Proceedings of The 2005 ACM SIGPLAN Haskell Workshop, ACM Press, pages 27-38, 2005.
Secure Untrusted Binaries - Provably! Simon Windwood and Manuel M. T. Chakravarty. In Workshop on Formal Aspects in Security and Trust (FAST 2005), LNCS 3866, Springer-Verlag, pages 171-186, 2005. (Previous version also available as UNSW Computer Science and Engineering Technical Report no. UNSW-CSE-TR-0511, 2005.)
Optimising Embedded DSLs using Template Haskell. Sean Seefried, Manuel M. T. Chakravarty, and Gabriele Keller. In Gabor Karsai and Eelco Visser, editors, Third International Conference on Generative Programming and Component Engineering (GPCE'04), LNCS 3286, Springer-Verlag, pages 186-205, 2004.
Plugging Haskell In. André Pang, Don Stewart, Sean Seefried, and Manuel M. T. Chakravarty. In ACM SIGPLAN 2004 Haskell Workshop, ACM Press, pages 10-21, 2004.
A Functional Perspective on SSA Optimisation Algorithms. Manuel M. T. Chakravarty, Gabriele Keller, and Patryk Zadarnowski. In 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), ENTCS series, Volume 82.2, Elsevier Science, 2004.
The Risks and Benefits of Teaching Purely Functional Programming in First Year. Manuel M. T. Chakravarty and Gabriele Keller. Journal of Functional Programming 14, pp 113-123, 2004. [An earlier version of this paper was presented at Functional and Declarative Programming in Education (FDPE02).]
Interfacing Haskell with Object-Oriented Languages. André T. H. Pang and Manuel M. T. Chakravarty. In Greg Michaelson and Phil Trinder, editors, IFL 2003 - 15th International Workshop on the Implementation of Functional Languages, LNCS, Springer-Verlag, 2004.
Optimising Embedded DSLs using Template Haskell. Sean Seefried, Manuel M. T. Chakravarty, and Gabriele Keller. Revised version of a draft published in the draft proceedings of IFL 2003 - 15th International Workshop on the Implementation of Functional Languages, 2003.
An Approach to Fast Arrays in Haskell. Manuel M. T. Chakravarty and Gabriele Keller. In Johan Jeuring and Simon Peyton Jones, editors, lecture notes for The Summer School and Workshop on Advanced Functional Programming 2002. LNCS 2638, Springer-Verlag, pages 27-58, 2003.
A Functional Perspective on SSA Optimisation Algorithms. Manuel M. T. Chakravarty, Gabriele Keller, and Patryk Zadarnowski. In 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), Informal Workshop Proceedings, 2003.
An Introduction to Computing (with Haskell). Manuel M. T. Chakravarty and Gabriele C. Keller. SprintPrint. Pearson Education Australia, 2002. A review of the book has been published in the Journal of Functional Programming.
Costing Nested Array Codes. Roman Lechtchinsky, Manuel M. T. Chakravarty, and Gabriele Keller. Parallel Processing Letters 12(2), pp 249-266, 2002. (This article is a revised version of a paper presented at the 3rd International Workshop on Constructive Methods for Parallel Programming (CMPP 2002).)
See top of this page.
pls@cse.unsw.edu.au
•
Last modified: Sun Apr 8 14:47:54 EST 2007
>