Associate Professor Gabriele Cornelia Keller
Adjunct Associate Professor

Associate Professor Gabriele Cornelia Keller

Engineering
Sch: Computer Science & Eng

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.

Phone
+61 2 9385 6032

Publications

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

Awards

Grants

Media