Associate Professor Gabriele Cornelia Keller

Clifton-Everest R; McDonell TL; Chakravarty MMT; Keller G, 2014, 'Embedding foreign code', 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

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

Jay CB; Keller G, 2000, 'Towards Dynamic Shaping', in Communication-Based Systems, Springer Netherlands, pp. 103 - 110, http://dx.doi.org/10.1007/978-94-015-9608-4_8

Wijenayake C; Antonir A; Keller G; Ignjatovic A, 2020, 'An Adaptive Denoising Algorithm for Improving Frequency Estimation and Tracking', IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 67, pp. 172 - 176, http://dx.doi.org/10.1109/TCSII.2019.2898451

Wijenayake C; Ignjatovic A; Keller G, 2019, 'On reconstruction of bandlimited signals from purely timing information', Signal Processing, vol. 159, pp. 89 - 92, http://dx.doi.org/10.1016/j.sigpro.2019.02.002

Keller G; Henglein F, 2018, 'Editorial for the Special Issue on Parallel and Concurrent Functional Programming', Journal of Functional Programming, http://dx.doi.org/10.1017/S0956796818000060

Ignjatović A; Wijenayake C; Keller G, 2018, 'Chromatic Derivatives and Approximations in Practice - Part I: A General Framework', IEEE Transactions on Signal Processing, vol. 66, pp. 1498 - 1512, http://dx.doi.org/10.1109/TSP.2017.2787127

Ignjatović A; Wijenayake C; Keller G, 2018, 'Chromatic Derivatives and Approximations in Practice - Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising', IEEE Transactions on Signal Processing, vol. 66, pp. 1513 - 1525, http://dx.doi.org/10.1109/TSP.2017.2787149

Klein G; Andronick J; Keller G; Matichuk D; Murray T; O’Connor L, 2017, 'Provably trustworthy systems', Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 375, http://dx.doi.org/10.1098/rsta.2015.0404

Lippmeier B; Chakravarty MMT; Keller G; Robinson A, 2014, 'Data flow fusion with series expressions in Haskell', ACM SIGPLAN Notices, vol. 48, pp. 93 - 104, http://dx.doi.org/10.1145/2578854.2503782

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, vol. 48, 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, pp. 37 - 48, 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', ACM SIGPLAN Notices, vol. 47, pp. 25 - 25, http://dx.doi.org/10.1145/2430532.2364511

McDonell TL; Chakravarty MMT; Keller G; Lippmeier B, 2013, 'Optimising purely functional GPU programs', ACM SIGPLAN Notices, vol. 48, pp. 49 - 60, http://dx.doi.org/10.1145/2544174.2500595

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

Lippmeier B; Keller G, 2011, 'Efficient Parallel Stencil Convolution in Haskell', SIGPLAN Not., vol. 46, pp. 59 - 70, http://dx.doi.org/10.1145/2096148.2034684

Keller G; Chakravarty MMT; Leshchinskiy R; Jones SP; Lippmeier B, 2010, 'Regular, shape-polymorphic, parallel arrays in Haskell', ACM SIGPLAN Notices, vol. 45, pp. 261 - 272, http://dx.doi.org/10.1145/1932681.1863582

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

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, http://dx.doi.org/10.1002/mats.200700028

Chakravarty MMT; Keller G; Jones SP, 2005, 'Associated type synonyms', ACM SIGPLAN Notices, vol. 40, pp. 241 - 253, http://dx.doi.org/10.1145/1090189.1086397

Chakravarty MMT; Keller G; Jones SP; Marlow S, 2005, 'Associated types with class', ACM SIGPLAN Notices, vol. 40, pp. 1 - 13, http://dx.doi.org/10.1145/1047659.1040306

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, 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, pp. 113 - 123, http://dx.doi.org/10.1017/S0956796803004805

Chakravarty MM; Keller GC, 2002, 'Costing Nested Array Codes', Parallel Processing Letters, vol. 12, 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, vol. 2150, pp. 524 - 534

van den Haak LB; McDonell TL; Keller GK; de Wolff IG, 2020, 'Accelerating nested data parallelism: Preserving regularity', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 426 - 442, http://dx.doi.org/10.1007/978-3-030-57675-2_27

Darulova E; Davis K; Gibbons J; Hall M; Henglein F; Keller G; Matsuzaki K; Sheeran M; Steinitz D, 2019, 'Welcome from the chairs', in FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019, pp. 3

O’Connor L; Chen Z; Susarla P; Rizkallah C; Klein G; Keller G, 2018, 'Bringing effortless refinement of data layouts to COGENT', in Margaria T; Steffen B (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Cham, Limassol, Cyprus, pp. 134 - 149, presented at International Symposium on Leveraging Applications of Formal Methods : ISoLA 2018, Limassol, Cyprus, 05 November 2018 - 09 November 2018, http://dx.doi.org/10.1007/978-3-030-03418-4_9

Chen Z; O'Connor L; Keller G; Klein G; Heiser G, 2017, 'The COGENT case for property-based testing', in Proceedings of the 9th Workshop on Programming Languages and Operating Systems, PLOS 2017, Shanghai, China, pp. 1 - 7, presented at 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, 28 October 2017 - 28 October 2017, http://dx.doi.org/10.1145/3144555.3144556

Clifton-Everest R; McDonell TL; Chakravarty MMT; Keller G, 2017, 'Streaming irregular arrays', in Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017, Oxford, UK, pp. 174 - 185, presented at 10th ACM SIGPLAN International Symposium on Haskell, Oxford, UK, 07 September 2017 - 08 September 2017, http://dx.doi.org/10.1145/3122955.3122971

Clifton-Everest R; McDonell TL; Chakravarty MMT; Keller G, 2017, 'Streaming irregular arrays', in Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, ACM, presented at ICFP '17: ACM SIGPLAN International Conference on Functional Programming, http://dx.doi.org/10.1145/3122955.3122971

Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'COGENT: Verifying high-assurance file system implementations', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, Atlanta, GA, USA, pp. 175 - 188, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, USA, 02 April 2016 - 06 April 2016, http://dx.doi.org/10.1145/2872362.2872404

Rizkallah C; Lim J; Nagashima Y; Sewell T; Chen Z; O Connor L; Murray T; Keller G; Klein G, 2016, 'A framework for the automatic formal verification of refinement from COGENT to C', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Nancy, France, pp. 323 - 340, presented at 7th International Conference, ITP 2016, Nancy, France, 22 August 2016 - 25 August 2016, http://dx.doi.org/10.1007/978-3-319-43144-4_20

Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'COGENT: Verifying High-Assurance File System Implementations', in OPERATING SYSTEMS REVIEW, ASSOC COMPUTING MACHINERY, Atlanta, GA, pp. 175 - 188, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, 02 April 2016 - 06 April 2016, http://dx.doi.org/10.1145/2872362.2872404

Madsen FM; Clifton-Everest R; Chakravarty MMT; Keller G, 2015, 'Functional array streams', in FHPC 2015 - Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, co-located with ICFP 2015, pp. 23 - 34, http://dx.doi.org/10.1145/2808091.2808094

Keller G; Murray T; Amani S; O'Connor L; Chen Z; Ryzhyk L; Klein G; Heiser G, 2014, 'File systems deserve verification too!', in Operating Systems Review (ACM), pp. 58 - 64, http://dx.doi.org/10.1145/2626401.2626414

Robinson AS; Lippmeier B; Keller G, 2014, 'Fusing Filters with Integer Linear Programming', in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, Göteborg, Sweden, pp. 53 - 62, presented at Functional High Performance Computing (colocated with ICFP), Göteborg, Sweden, 05 September 2014 - 06 September 2014, http://dx.doi.org/10.1145/2636228.2636235

Keller G; Murray T; Amani S; Connor-Davis LO; Chen Z; Ryzhyk L; Klein G; Heiser G, 2013, 'File Systems Deserve Verification Too!', in Programming Languages and Operating Systems (PLOS), pp. 1 - 7, http://dx.doi.org/10.1145/2525528.2525530

Keller GC; Chakravarty MMT; Lechtchinsky R; Ben L; Peyton Jones S, 2012, 'Vectorisation Avoidance', in Haskell '12 Proceedings of the 2012 Symposium on Haskell, ACM, New York, pp. 37 - 48, presented at ACM SIGPLAN Haskell Symposium 2012, Copenhagen, 13 September 2012, http://dx.doi.org/10.1145/2364506.2364512

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

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 September 2010 - 29 September 2010, http://dx.doi.org/10.1145/1863543.1863582

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, http://www.cse.unsw.edu.au/~chak/papers/gpugen.pdf

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, San Francisco, California USA, pp. 116 - 132, presented at 10th international symposium on Practical aspects of declarative programming, San Francisco, California USA, 07 January 2008 - 08 January 2008

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, pp. 10 - 18, presented at 2007 workshop on Declarative aspects of multicore programming, Nice, France, 16 June 2007, http://dx.doi.org/10.1145/1248648.1248652

Dreyer D; Harper R; Chakravarty MM, 2007, 'Modular type classes', in 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, Nice, France, pp. 63 - 70, presented at 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, Nice, France, 17 January 2007 - 19 January 2007, http://dx.doi.org/10.1145/1190216.1190229

Leshchinskiy R; Chakravarty MM; Keller GC, 2006, 'Higher order flattening', in International conference on computational science 2006, Reading, UK, pp. 920 - 928, presented at International conference on computational science 2006, Reading, UK, 28 May 2006 - 31 May 2006, http://dx.doi.org/10.1007/11758525_122

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, pp. 1 - 13, presented at Principles of programming languages, Long Beach, California, USA, 12 January 2005 - 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, pp. 241 - 253, presented at International Conference on Functional Programming 2005, Tallin, Estonia, 26 September 2005 - 28 September 2005, http://dx.doi.org/10.1145/1086365.1086397

Seefried SD; Chakravarty MM; Keller GC, 2004, 'Optimising Embedded DSLs using Template Haskell', in Generative Programming and Componenet Engineering (GPCE 2004), Vancouver BC Canada, pp. 186 - 205, presented at Generative Programming and Componenet Engineering (GPCE`04), Vancouver BC Canada, 24 October 2004 - 28 October 2004

Chakravarty MM; Keller GC; Zadarnowski P, 2003, 'A Functional Perspective on SSA Optimisation Algorithms', in ETAPS 2003, Warsaw, Poland, pp. 347 - 361, presented at ETAPS 2003, Warsaw, Poland, 05 April 2003 - 13 April 2003, http://dx.doi.org/10.1016/S1571-0661(05)82596-4

Chakravarty MM; Keller GC, 2001, 'Functional Array Fusion', in Proceedings of the International Conference on Functional Programming, ACM, Florence, Italy, pp. 205 - 216, presented at International Conference on Functional Programming 2001, Florence, Italy, http://dx.doi.org/10.1145/507669.507661

Chakravarty MMT; Keller G, 2000, 'More types for nested data parallel programming', in Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00, ACM Press, presented at the fifth ACM SIGPLAN international conference, http://dx.doi.org/10.1145/351240.351249

Chakravarty MM; Keller GC, 2000, 'More Types for Nested Data Parallel Programming', in Proceedings of the International Conference on Functional Programming, ACM, Montreal, Canada, pp. 94 - 105, presented at International Conference on Functional Programming 2000, Montreal, Canada, 18 September 2000 - 21 September 2000, http://dx.doi.org/10.1145/357766.351249

Keller G; Chakravarty MMT, 1999, 'On the distributed implementation of aggregate data structures by program transformation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 108 - 122, http://dx.doi.org/10.1007/BFb0097892

Keller G; Chakravarty MMT, 1998, 'Flattening trees', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 709 - 719, http://dx.doi.org/10.1007/bfb0057920

Au KTP; Chakravarty MMT; Darlington J; Guo Y; Jahnichen S; Kohler M; Keller G; Pfannenstiel W; Simons M, 1997, 'Enlarging the scope of vector-based computations: extending Fortran 90 by nested data parallelism', in Proceedings of the Conference on Advances in Parallel and Distributed Computing, pp. 66 - 73

Pfannenstiel W; Dahm M; Chakravarty MMT; Jahnichen S; Keller G; Schroer FW; Simons M, 1997, 'Aspects of the compilation of nested parallel imperative languages', in Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997, pp. 102 - 109, http://dx.doi.org/10.1109/MPPM.1997.715966

Keller G; Simons M, 1996, 'A calculational approach to flattening nested data parallelism in functional languages', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 234 - 243, http://dx.doi.org/10.1007/bfb0027796