More Talks

2015

• Data Parallel Data Flow in Repa 4
  2015/5/22. LambdaJam
  2015/2/25. FP-Syd: Functional Programming Sydney
  
  

2014

• Stream Fusion in Continuation Passing Style
  2014/12/09. SAWDAP: Sydney Area Workshop on Data Science and Programming Languages
  
  
• Query Fusion
  2014/10/03. Macquarie University
  
  
• Data Flow Fusion
  2014/10/03. CBA: Commonwealth Bank of Australia
  
  
• Flattening Nested Database Queries
  2014/05/28. FP-Syd: Functional Programming Sydney
  
  

2013

• Capabilities and Coeffects
  2013/12/16. SAPLING: Sydney Area Programming Languages Interest Group
  
  
• Data Flow Fusion with Series Expressions
  2013/09/24. Haskell Symposium
  
  
• Practical Parallel Array Fusion with Repa (Workshop)
  2013/05/16. LambdaJam
  
  
• Practical Parallel Array Fusion with Repa (video)
  2013/05/16. LambdaJam
  
  
• Beluga: Functional Programming with Binders
  2013/02/27. FP-Syd: Functional Programming Sydney
  
  

2012

• Guiding Parallel Array Fusion with Indexed Types (paper) (video)
  2012/09/13. Haskell Symposium
  
  
• Work Efficient Higher Order Vectorisation (paper) (video)
  2012/09/11. ICFP: International Conference on Functional Programming
  
  
• Fluid Beamer
  2012/08/28. Dorkbot Sydney
  
  
• Contextual Equivalence and the CIU-Theorem
  2012/03/15. FP-Syd: Functional Programming Sydney
  
  

2011

• The Future of Haskell
  2011/09/22. Haskell Symposium
  
  
• Efficient Parallel Stencil Convolution in Haskell (paper) (demo video)
  2011/09/22. Haskell Symposium
  2011/03/07. FP-Syd: Functional Programming Sydney
  
  
• Vectorization without Replication
  2011/08/25. WLDI: Workshop on Language Design and Implementation
  
  
• Unhygenic letregion and the region phase change (video)
  2011/08/18. FP-Syd: Functional Programming Sydney
  
  
• Joint Evaluation Contexts (video)
  2011/07/21. FP-Syd: Functional Programming Sydney
  
  
• Flattening and Replication in Data Parallel Haskell
  2011/05/09. FP-Syd: Functional Programming Sydney
  
  
• Falling Down the Naming Well
  2011/04/21. FP-Syd: Functional Programming Sydney
  
  

2010

• Head Lazy but Shapely, and Deeply Mutable
  2010/11/18. SAPLING: Sydney Area Programming Languages Interest Group
  
  
• Regular, Shape-polymorphic, Parallel Arrays in Haskell (paper)
  2010/09/29. ICFP: International Conference on Functional Programming
  
  
• peekOn and pokeOn (video)
  2010/10/01. HIW: Haskell Implementors Workshop
  
  
• Beyond Haskell
  2010/10/01. HIW: Haskell Implementors Workshop
  
  

2009

• GHC on the OpenSPARC T2 (longer version)
  2009/08/20. FP-Syd: Functional Programming Sydney
  
  
• GHC on the OpenSPARC T2
  2009/08/05. HIW: Haskell Implementors Workshop
  
  
• Witnessing Purity, Constancy and Mutability (paper)
  2009/12/14. APLAS: Asian Symposium on Programming Languages and Systems
  
  
• The Poisoning Problem
  2009/06/18. FP-Syd: Functional Programming Sydney
  
  

2008

• Disciple entry into the ICFP programming contest
  2008/07/17. FP-Syd: Functional Programming Sydney
  
  
• The Disciplined Disciple Compiler
  2008. University of Melbourne
  
  

2007

• Graph colouring register allocation for the Glasgow Haskell Compiler
  2007/07/12. SAPLING: Sydney Area Programming Languages Interest Group
  
  
• Type Inference and Optimisation for an Impure World
  2007/08/10. Anglo Haskell