Select Publications

by Associate Professor Manuel M T Chakravarty

Books

Chakravarty MM; Keller GC, 2002, An Introduction to Computing (with Haskell), Pearson Education, Australia

Book Chapters

Clifton-Everest R; McDonell TL; Chakravarty MMT; Keller G, 2014, 'Lecture Notes in Computer Science', in Flatt M; Guo H-F (ed.), Practical Aspects of Declarative Languages, Springer, pp. 136 - 151, http://dx.doi.org/10.1007/978-3-319-04132-2_10

Chakravarty MM; Keller GC, 2003, 'An Approach to Fast Arrays in Haskell', in Jeuring J; Jones SP (ed.), Advanced Functional Programming, Revised Lectures, Springer Publishing Company, Germany, pp. 27 - 58

Journal articles

Jeuring J; Chakravarty MMT, 2014, 'Chairs' welcome', Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

McDonell TL; Chakravarty MMT; Keller G; Lippmeier B, 2013, 'Optimising Purely Functional GPU Programs', Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, pp. 49 - 60, http://dx.doi.org/10.1145/2500365.2500595

Thiemann P; Chakravarty MMT, 2013, 'Agda meets accelerate', Lecture Notes in Computer Science, vol. 8241 LNCS, pp. 174 - 189, http://dx.doi.org/10.1007/978-3-642-41582-1_11

Keller G; Chakravarty MMT; Leshchinskiy R; Lippmeier B; Peyton Jones S, 2013, 'Vectorisation avoidance', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 47, no. 12, pp. 37 - 37, http://dx.doi.org/10.1145/2430532.2364512

Lippmeier B; Chakravarty M; Keller G; Peyton Jones S, 2013, 'Guiding parallel array fusion with indexed types', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 47, no. 12, pp. 25 - 25, http://dx.doi.org/10.1145/2430532.2364511

Lippmeier B; Chakravarty MMT; Keller G; Leshchinskiy R; Peyton Jones S, 2012, 'Work efficient higher-order vectorisation', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 47, no. 9, pp. 259 - 259, http://dx.doi.org/10.1145/2398856.2364564

Terei DA; Chakravarty MMT, 2010, ' An llVM backend for GHC', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 45, no. 11, pp. 109 - 109, http://dx.doi.org/10.1145/2088456.1863538

Keller G; Chakravarty MMT; Leshchinskiy R; Peyton Jones S; Lippmeier B, 2010, 'Regular, shape-polymorphic, parallel arrays in Haskell', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 45, no. 9, pp. 261 - 261, http://dx.doi.org/10.1145/1932681.1863582

Wehr S; Chakravarty MMT, 2008, 'ML modules and haskell type classes: A constructive comparison', Lecture Notes in Computer Science, vol. 5356 LNCS, pp. 188 - 204, http://dx.doi.org/10.1007/978-3-540-89330-1-14

Jones SP; Leshchinskiy R; Keller G; Chakravarty MMT, 2008, 'Harnessing the multicores: Nested data parallelism in Haskell', LIPIcs : Leibniz International Proceedings in Informatics, vol. 2, pp. 383 - 414

Chaffey-Millar H; Stewart D; Chakravarty MMT; Keller G; Barner-Kowollik C, 2007, 'A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics', Macromolecular Theory and Simulations, vol. 16, no. 6, pp. 575 - 592, http://dx.doi.org/10.1002/mats.200700028

Dreyer D; Harper R; Chakravarty MMT, 2007, 'Modular type classes', ACM SIGPLAN Notices, vol. 42, no. 1, pp. 63 - 70

Sulzmann M; Chakravarty MMT; Jones SP; Donnelly K, 2007, 'System F with type equality coercions', Proceedings of the TLDI 2007: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Papers Presented at the Workshop, pp. 53 - 66, http://dx.doi.org/10.1145/1190315.1190324

Chakravarty MMT; Keller G; Jones SP; Marlow S, 2005, ' Associated types with class', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 40, no. 1, pp. 1 - 13, http://dx.doi.org/10.1145/1047659.1040306

Chakravarty MMT; Keller G; Jones SP, 2005, ' Associated type synonyms', SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 40, no. 9, pp. 241 - 241, http://dx.doi.org/10.1145/1090189.1086397

CHAKRAVARTY MANUELMT; KELLER GABRIELE, 2004, 'The risks and benefits of teaching purely functional programming in first year', Journal of Functional Programming, vol. 14, no. 1, pp. 113 - 123, http://dx.doi.org/10.1017/S0956796803004805

Chakravarty MMT; Keller G, 2004, 'Educational pearl: The risks and benefits of teaching purely functional programming in first year', Journal of Functional Programming, vol. 14, no. 1, pp. 113 - 123, http://dx.doi.org/10.1017/S0956796803004805

LECHTCHINSKY ROMAN; CHAKRAVARTY MANUELMT; KELLER GABRIELE, 2002, ' COSTING NESTED ARRAY CODES', Parallel Processing Letters, vol. 12, no. 02, pp. 249 - 266, http://dx.doi.org/10.1142/S0129626402000951

Chakravarty MMT; Keller G, 2001, 'Functional array fusion', Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 205 - 216

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

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, pp. 3 - 14, 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

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, pp. 3 - 14, 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

Keller GC; Chakravarty MMT; Leshchinskiy R; Peyton Jones S; Ben L, 2010, 'Regular, shape-polymorphic, parallel arrays in Haskell', in Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ACM, New York, USA, pp. 261 - 272, 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, pp. 109 - 120, presented at ACM SIGPLAN Haskell Symposium 2010, Baltimore, MD, USA, 30 November 2010, http://dx.doi.org/10.1145/1863523.1863538

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

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

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

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

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

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

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

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

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

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 MMT; Keller G; Zadarnowski P, 2004, 'A Functional Perspective on SSA Optimisation Algorithms', in Electronic Notes in Theoretical Computer Science, pp. 347 - 361, http://dx.doi.org/10.1016/S1571-0661(05)82596-4

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

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 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

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, 1 January 2001

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

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

Conference Proceedings (Editor of)

Chakravarty MM, (ed.), 2009, 'Proceedings of the 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP`09', presented at 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP`09, 20 January 2009

Conference Presentations

Lee S; Chakravarty MM; Grover V; Keller GC, 2009, 'GPU Kernels as Data-Parralell Array Computations in Haskell', presented at Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted Methods (EPAHM 2009), Seattle, 1 March 2009

Chakravarty MM, 2009, 'Haskell Arrays, Accelerated (Using GPUs)', presented at The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Edinburgh, Scotland, 31 August - 2 September 2009


Back to profile page