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, 'Embedding foreign code', in , pp. 136 - 151, http://dx.doi.org/10.1007/978-3-319-04132-2_10

Chakravarty MMT; Keller G, 2004, 'An approach to fast arrays in Haskell', in , pp. 27 - 58

Journal articles

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

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

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

Keller G; Chakravarty MMT; Leshchinski R; Lippmeier B; Jones SP, 2013, 'Vectorisation avoidance', ACM SIGPLAN Notices, vol. 47, no. 12, pp. 37 - 48, http://dx.doi.org/10.1145/2430532.2364512

Lippmeier B; Chakravarty MMT; Keller G; Jones SP, 2013, 'Guiding parallel array fusion with indexed types', ACM SIGPLAN Notices, vol. 47, no. 12, pp. 25 - 36, http://dx.doi.org/10.1145/2430532.2364511

Lippmeier B; Chakravarty MMT; Keller G; Leshchinskiy R; Jones SP, 2012, 'Work efficient higher-order vectorisation', ACM SIGPLAN Notices, vol. 47, no. 9, pp. 259 - 270, http://dx.doi.org/10.1145/2398856.2364564

Terei DA; Chakravarty MMT, 2010, 'An LLVM backend for GHC', ACM SIGPLAN Notices, vol. 45, no. 11, pp. 109 - 120, http://dx.doi.org/10.1145/2088456.1863538

Keller G; Chakravarty MMT; Leshchinskiy R; Jones SP; Lippmeier B, 2010, 'Regular, shape-polymorphic, parallel arrays in Haskell', ACM SIGPLAN Notices, vol. 45, no. 9, pp. 261 - 272, 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, vol. 2, pp. 383 - 414

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

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

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 - 253, http://dx.doi.org/10.1145/1090189.1086397

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

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

Lechtchinsky R; Chakravarty MMT; Keller G, 2002, 'Costing nested array codes', Parallel Processing Letters, vol. 12, no. 2, pp. 249 - 266

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, 2014, 'Foreign inline code: Systems demonstration', in Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium, Association for Computing Machinery, pp. 119 - 120, http://dx.doi.org/10.1145/2633357.2633372

Chakravarty MMT; Keller G; 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, pp. 3 - 14, 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

Terei DA; Chakravarty MMT, 2010, 'An LLVM backend for GHC', in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 109 - 120, http://dx.doi.org/10.1145/1863523.1863538

Keller G; Chakravarty MMT; Leshchinskiy R; Peyton Jones S; Lippmeier B, 2010, 'Regular, shape-polymorphic, parallel arrays in Haskell', in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 261 - 272, http://dx.doi.org/10.1145/1863543.1863582

Schrijvers T; Jones SP; Chakravarty M; Sulzmann M, 2008, 'Type checking with open type functions', in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 51 - 62, http://dx.doi.org/10.1145/1411204.1411215

Winwood S; Klein G; Chakravarty MMT, 2007, 'On the automated synthesis of proof-carrying temporal reference monitors', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 111 - 126

Dreyer D; Harper R; Chakravarty MMT, 2007, 'Modular type classes', in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 63 - 70, http://dx.doi.org/10.1145/1190216.1190229

Keller G; Chaffey-Millar H; Chakravarty MMT; Stewart D; Barner-Kowollik C, 2007, 'Specialising simulator generators for high-performance Monte-Carlo methods', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 116 - 132

Chakravarty MMT; Leshchinskiy R; Jones SP; Keller G; Marlow S, 2007, 'Data parallel Haskell: A status report', in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 10 - 18, http://dx.doi.org/10.1145/1248648.1248652

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

Winwood S; Chakravarty MMT, 2006, 'Secure untrusted binaries - Provably!', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 171 - 186, http://dx.doi.org/10.1007/11679219_13

Leshchinskiy R; Chakravarty MMT; Keller G, 2006, 'Higher order flattening', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 920 - 928, http://dx.doi.org/10.1007/11758525_122

Derrin P; Elphinstone K; Klein G; Cock D; Chakravarty MMT, 2006, 'Running the manual: An approach to high-assurance microkernel development', in Haskell'06 - Proceedings of the ACM SIGPLAN 2006 Haskell Workshop, pp. 60 - 71

Stewart D; Chakravarty MMT, 2005, 'Dynamic applications from the ground up', in Haskell'05 - Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, pp. 27 - 38, http://dx.doi.org/10.1145/1088348.1088352

Chakravarty MMT; Keller G; Peyton Jones S, 2005, 'Associated type synonyms', in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 241 - 253, http://dx.doi.org/10.1145/1086365.1086397

Chakravarty MMT; Keller G; Jones SP; Marlow S, 2005, 'Associated types with class', in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 1 - 13

Seefried S; Chakravarty M; Keller G, 2004, 'Optimising embedded DSLs using Template Haskell', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 186 - 205

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 D; Seefried S; Chakravarty MMT, 2004, 'Plugging Haskell in', in Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04, pp. 10 - 21

Pang ATH; Chakravarty MMT, 2004, 'Interfacing Haskell with Object-Oriented Languages', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 20 - 35

Chakravarty MMT; Keller G, 2001, 'Functional array fusion', in SIGPLAN Notices (ACM Special Interest Group on Programming Languages), pp. 205 - 216

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)

2009, 'Proceedings of the 4th ACM SIGPLAN workshop on declarative aspects of multicore programming, DAMP'09: foreword'

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