Programming Languages & Systems: Group Members

Academic Staff

• Manuel Chakravarty (co-head)
• Gabriel Ditu: plugin compiler project
• Gabriele Keller (co-head)
• Roman Leshchinskiy (research associate): Data Parallel Haskell project

Postgraduate Students

• Sean Lee: general purpose GPU programming
  [U/G work: cost model for irregular parallelism on clusters]
• Donald Stewart: safe dynamic applications and plugin architectures
  [U/G work: STG machine on the JVM]
• Sarah Webster: communication support for collective array operations on PC clusters
• Simon Winwood: combining language-based and operating system-supported security mechanisms
• Patryk Zadarnowski: typed, low-level intermediate codes & compiler optimisations

Undergraduate Students

• Mikhail Bonch-Osmolovskiy: Game development in functional languages
• Ben Kalman: High-performance Monte-Carlo simulators on GPUs
• Matthew Thurling: Xcode support for Haskell

Academic Visitors

• None.

Previous group members

• Andrew Appleyard (Honours student): .NET binding for GHC
• Mun Hon Cheong (Honours student): 3D games and functional programming
• Duncan Coutts (academic visitor from Oxford University Computing Laboratory): stream fusion for lists
• Nicholas Fitzroy-Dale (Honours student): Python on Mungi
• Richard Gomes (research assistant): high-performance array library for nested data parallelism
• Matthew, Grosvenor (Honours student): DSL for text streaming and filtering
• Glen Kelley (summer student): Monte Carlo simulations in finance
• Iztok Kucan (PhD student): parallel computing
• Nicolas Magaud (research associate): machine-independent code certification
• André Pang (honours student and PhD student): declarative multimedia framework and DSL
  [U/G work: runtime code loader for Haskell & Haskell/Objective-C bridge]
• Roshan Ragel (PhD student): portable object code & compiler optimisations
• Sean Seefried (PhD student): compiler support for embedded domain-specific languages
• Tony Sloane (acadmic visitor from Macquarie University, Sydney): sabbatical visit
• Zemin Song (summer student): virtual machine for lazy functional languages
• Jayatheeban Soundararajan (Honours student): Game development in functional languages
• Shuying Wang (Honours student): online data exchange between mathematical software packages
• Stefan Wehr (exchange student from the Universität Freiburg): comparison of ML modules with type classes including associated types
• Mark Wotton (MSc student): whole program optimisation for lazy functional languages