Select Publications
Books
Chakravarty, MM & Keller, GC, 2002, An Introduction to Computing (with Haskell), Pearson Education, Australia
Chapters
Chakravarty, MM & Keller, GC, 2003, 'An Approach to Fast Arrays in Haskell', in Johan Jeuring, Simon Peyton Jones (ed.), Advanced Functional Programming, Revised Lectures, Springer Publishing Company, Germany, pp. 27 - 58
Journal Articles
Chaffey-Millar, HW, Stewart, DB, Chakravarty, MM, Keller, GC & Barner-Kowollik, CW, 2007, 'A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics', Macromolecular Theory and Simulations, vol. 16, pp. 575 - 592
Chakravarty, MM & Keller, GC, 2004, 'The Risks and Benefits of Teaching Purely Functional Programming in First Year', Journal of Functional Programming, vol. 14, pp. 113 - 123
Chakravarty, MM & Keller, GC, 2002, 'Costing Nested Array Codes', Parallel Processing Letters, pp. 249 - 266
Chakravarty, MM, Keller, GC, Lechtchinsky, R & Pfannenstiel, W, 2001, 'Nepal -- Nested Data-Parallelism in Haskell', Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, pp. 524 - 534
Conference Papers
Winwood, SJ & Chakravarty, MMT, 2011, 'Singleton: A general-purpose dependently-typed assembly language', in TLDI'11 - Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation, Association for Computing Machinery, New York, NY, United States, presented at 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'11, Austin, TX, United States, 25 January, 2011, http://dx.doi.org/10.1145/1929553.1929557
Chakravarty, MMT, Keller, GC, Lee, S, Mcdonell, TL & Grover, V, 2011, 'Accelerating Haskell array codes with multicore GPUs', in DAMP 11 - Proceedings of the 6th ACM Workshop on Declarative Aspects of Multicore Programming, ACM Press, New York, NY, USA, presented at 6th Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, 23 January 2011, http://dx.doi.org/10.1145/1926354.1926358
Keller, GC, Chakravarty, MMT, Leshchinskiy, R, Peyton Jones, S & Ben Lippmeier, 2010, 'Regular, shape-polymorphic, parallel arrays in Haskell', in Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ACM, New York, USA, presented at 15th ACM SIGPLAN International Conference on Functional Programming, Baltimore, USA, 27 - 29 September 2010, http://dx.doi.org/10.1145/1863543.1863582
Terei, D & Chakravarty, MMT, 2010, 'An LLVM Backend for GHC', in Proceedings of the third ACM Haskell Symposium on Haskell, ACM Press, New York, NY, USA, presented at ACM SIGPLAN Haskell Symposium 2010, Baltimore, MD, USA, 30/11/2010, http://dx.doi.org/10.1145/1863523.1863538
Chakravarty, MM, 2009, 'Haskell Arrays, Accelerated (Using GPUs)', in , presented at The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Edinburgh, UK, September 2009, http://justtesting.org/running-haskell-array-computations-on-a-gpu
Chakravarty, MM, ed, 2009, 'Proceedings of the 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP`09', in , presented at 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP`09, 20 January 2009
Lee, S, Chakravarty, MM, Grover, V & Keller, GC, 2009, 'GPU Kernels as Data-Parralell Array Computations in Haskell', in , presented at Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted Methods (EPAHM 2009), Seattle, March 2009, http://www.cse.unsw.edu.au/~chak/papers/gpugen.pdf
Schrijvers, T, Peyton Jones, SL, Chakravarty, MM & Sulzmann, M, 2008, 'Type Checking with Open Type Functions', in Proc. of ACM SIGPLAN Intl. Conf. on Functional Programming 2008, presented at ACM SIGPLAN Intl. Conf. on Functional Programming 2009, Edinburgh, Scotland, 31 August - 2 September 2009
Keller, GC, Chaffey-Millar, HW, Chakravarty, MM, Stewart, DB & Barner-Kowollik, CW, 2008, 'Specialising simulator generators for high-performance monte-carlo methods', in 10th international symposium on Practical aspects of declarative programming, presented at 10th international symposium on Practical aspects of declarative programming, San Francisco, California USA, 7 - 8 January 2008
Sulzmann, M, Chakravarty, MM, Peyton Jones, SL & Donnelly, K, 2007, 'System F with equality constraints', in 3rd ACM SIGPLAN workshop on types in language design and implementation, presented at 3rd ACM SIGPLAN workshop on types in language design and implementation, Nice, France, 16 January 2007
Chakravarty, MM, Leshchinskiy, R, Peyton Jones, SL, Keller, GC & Marlow, S, 2007, 'Data parallel Haskell: A status report', in Proceedings of the 2007 workshop on Declarative aspects of multicore programming, ACM Press, New York, NY, USA, presented at 2007 workshop on Declarative aspects of multicore programming, Nice, France, 16 June 2007, http://dx.doi.org/10.1145/1248648.1248652
Winwood, SJ, Klein, G & Chakravarty, MM, 2007, 'On the automated synthesis of proof-carrying temporal reference monitors', in 16th international symposium on Logic-based program synthesis and transformation, presented at 16th international symposium on Logic-based program synthesis and transformation, Venice, Italy, 12 - 14 July 2007
Dreyer, D, Harper, R & Chakravarty, MM, 2007, 'Modular type classes', in 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, presented at 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, Nice, France, 17 - 19 January 2007
Winwood, SJ & Chakravarty, MM, 2006, 'Secure untrusted binaries---provably!', in Formal aspects in security and trust, presented at Formal aspects in security and trust, Newcastle upon Tyne, UK, 18 - 19 July 2006
Cock, D, Elphinstone, KJ, Klein, G, Chakravarty, MM & Derrin, PG, 2006, 'Running the manual: an approach to high-assurance microkernel development', in 2006 ACM SIGPLAN Haskell workshop, presented at ACM SIGPLAN 2006 Haskell workshop, Portland, Oregon, USA, 17 September 2006
Leshchinskiy, R, Chakravarty, MM & Keller, GC, 2006, 'Higher order flattening', in International conference on computational science 2006, presented at International conference on computational science 2006, Reading, UK, 28 - 31 May 2006
Chakravarty, MM, Keller, GC, Peyton Jones, SL & Marlow, S, 2005, 'Associated types with class', in ACM Sigplan Notices, Association of Computing Machinery, New York, NY, USA, presented at Principles of programming languages, Long Beach, California, USA, 12 - 14 January 2005
Chakravarty, MM, Keller, GC & Peyton Jones, SL, 2005, 'Associated type synonyms', in ACM Sigplan Notices, Association of Computing Machinery, New York, NY, USA, presented at International Conference on Functional Programming 2005, Tallin, Estonia, 26 - 28 September 2005
Stewart, DB & Chakravarty, MM, 2005, 'Dynamic applications from the ground up', in ACM SIGPLAN 2005 Haskell worskshop, presented at ACM SIGPLAN 2005 Haskell worskshop, Tallinn, Estonia, 30 November 2005
Pang, AT & Chakravarty, MM, 2004, 'Interfacing Haskell with Object-Oriented Languages', in 15th International Workshop, IFL 2003, presented at 15th International Workshop, IFL 2003, Edinburgh, Scotland, 8 - 11 September 2005
Seefried, SD, Chakravarty, MM & Keller, GC, 2004, 'Optimising Embedded DSLs using Template Haskell', in Generative Programming and Componenet Engineering (GPCE 2004), presented at Generative Programming and Componenet Engineering (GPCE`04), Vancouver BC Canada, 24 - 28 October 2004
Pang, A, Stewart, DB, Seefried, SD & Chakravarty, MM, 2004, 'Plugging Haskell In', in ACM SIGPLAN 2004 Haskell Workshop, presented at ACM SIGPLAN 2004 Haskell Workshop, Snowbird, Utah, USA, 22 September 2004
Chakravarty, MM, Keller, GC & Zadarnowski, P, 2003, 'A Functional Perspective on SSA Optimisation Algorithms', in ETAPS 2003, presented at ETAPS 2003, Warsaw, Poland, 5 - 13 April 2003
Chakravarty, MM & Keller, GC, 2001, 'Functional Array Fusion', in Proceedings of the International Conference on Functional Programming, ACM, presented at International Conference on Functional Programming 2001, Florence, Italy, 2001
Chakravarty, MM & Keller, GC, 2000, 'More Types for Nested Data Parallel Programming', in Proceedings of the International Conference on Functional Programming, ACM, presented at International Conference on Functional Programming 2000, Montreal, Canada, 18 - 21 September 2000
Chakravarty, MM, 2000, 'C -> Haskell, or Yet Another Interfacing Tool', in Implementation of Functional Languages, presented at Implementation of Functional Languages, Lochem The Netherlands, 7 - 10 September 1999