Gabriele Keller

Adjunct Associate Professor

Dr Gabriele Keller is an Associate Professor with the School of Computer Science and Engineering. Her research interests include:

  • Programming languages, in particular functional languages
  • Type systems
  • Programming models for multicore systems and GPGPUs
  • Domain specific languages
  • Language based software verification

Gabriele Keller is a member of the ACM SIGPLAN Executive Committee, Co-Chair of the SIGPLAN Professional Activities Committee, and Co-General Chair of the 21st ACM SIGPLAN International Conference on Functional Programming.

publications

Conference Papers
add
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
2020
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
2019
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
2018
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
2017
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
2017
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
2017
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
2016
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
2016
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
2016
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
2015
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
2014
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
2014
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
2013
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
2012
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
2011
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
2010
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
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
2007
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
2006
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
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, pp. 1 - 13, presented at Principles of programming languages, Long Beach, California, USA, 12 January 2005 - 14 January 2005
2005
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
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
2003
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
2001
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
2000
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
1999
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
1998
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
1997
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
1997
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
1996
Journal articles
add
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
2020
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
2019
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
2018
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
2018
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
2018
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
2017
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
2013
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
2013
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
2013
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
2013
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
2012
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
2011
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
2010
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
2008
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
2007
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
2005
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
2005
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
2004
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
2004
Chakravarty MM; Keller GC, 2002, 'Costing Nested Array Codes', Parallel Processing Letters, vol. 12, pp. 249 - 266
2002
Chakravarty MMT; Keller G, 2001, 'Functional array fusion', Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 205 - 216
2001
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
2001
Book Chapters
add
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
2014
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
2003
Conference Presentations
add
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
2009
Books
add
Chakravarty MM; Keller GC, 2002, An Introduction to Computing (with Haskell), Original, Pearson Education, Australia
2002