Site Network: Personal |


2016

COGENT: Verifying High-Assurance File System Implementations, Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby Murray, Gerwin Klein, and Gernot Heiser. 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2016, to appear.

COGENT: Certified Compilation for a Functional Systems Language. Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby Murray, Gerwin Klein. arXiv.

2015

Functional Array Streams Frederik M Madsen, Robert Clifton-Everest, Manuel MT Chakravarty, Gabriele Keller. Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, ACM.

2014

Embedding Foreign Code. Robert Clifton-Everest, Trevor L. Mcdonell, Manuel Chakravarty and Gabriele Keller. Sixteenth International Symposium on Practical Aspects of Declarative Languages, PADL'14, Springer International Publishing, 2014.

2013

File Systems Deserve Verification Too!. Gabriele Keller, Toby Murray, Sidney Amani, Liam Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser. Accepted for publication (Workshop of Programming Languages and Systems, 2013).

Data Flow Fusion with Series Expressions in Haskell. Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, and Amos Robinson. In Proceedings of ACM SIGPLAN Haskell Symposium 2013, ACM Press, 2013.

Optimising Purely Functional GPU Programs. Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, and Ben Lippmeier. Accepted for publication at ICFP'13, 2013.

2012

Vectorisation Avoidance. Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, and Simon Peyton Jones. In ACM SIGPLAN Haskell Symposium 2012, ACM Press 2012.

Guiding Parallel Array Fusion with Indexed Types. Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. In Haskell Symposium 2012.

Work Efficient Higher-Order Vectorisation. Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Simon Peyton Jones. Accepted for publication at ICFP'12.

Work Efficient Higher-Order Vectorisation (Unabriged). Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Simon Peyton Jones. Technical Report UNSW-CSE-TR-201208 March 2012. (Slightly older, more detailed version of the ICFP paper)

2011

Efficient Parallel Stencil Convolution in Haskell Ben Lippmeier and Gabriele Keller. In Haskell Symposium 2011. ACM Press 2011.

Accelerating Haskell Array Codes with Multicore GPUs. Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, and Vinod Grover. In Declarative Aspects of Multicore Programming (DAMP 2011) ACM Press, 2011.

2010

Regular, shape-polymorphic, parallel arrays in Haskell. Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, and Ben Lippmeier. In Proceedings of ICFP 2010 : The 15th ACM SIGPLAN International Conference on Functional Programming, ACM Press, 2010.

2009

GPU Kernels as Data-Parallel Array Computations in Haskell. Sean Lee, Manuel M. T. Chakravarty, Vinod Grover, and Gabriele Keller. In Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted Methods (EPAHM 2009), 2009.

2008

Harnessing the Multicores: Nested Data Parallelism in Haskell. Simon Peyton Jones, Roman Leshchinskiy, Gabriele Keller, and Manuel M. T. Chakravarty. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008), IBFI, Schloss Dagstuhl, 2008.

Partial Vectorisation of Haskell Programs. Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, and Gabriele Keller. In DAMP 2008: Workshop on Declarative Aspects of Multicore Programming, 2008.

2007 and older

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.

Specialising Simulator Generators for High-Performance Monte-Carlo Methods". Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, and Christopher Barner-Kowollik. In Practical Aspects of Declarative Languages, 2007.

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), Springer-Verlag, LNCS, 2006.

Associated Type Synonyms. Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. In ACM SIGPLAN International Conference on Functional Programming, ACM Press, 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), pages 1-13, ACM Press, 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. [An earlier draft was presented at the 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.

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

Functional Array Fusion. Manuel M. T. Chakravarty and Gabriele Keller. In Xavier Leroy, editor, Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, ACM Press, pp205-216, 2001.