Compilers and Distributed Computing
Research Staff
Academics: A/Prof Jingling Xue (PhD, Edinburgh University, 1992), Dr. Manuel Chakravarty (PhD, University of Berlin 1997), Dr. Kai Engelhardt, Dr. Gabriele Keller (PhD, Technische Universitaet Berlin 1999), Dr. Piyush Maheshwari (PhD, University of Manchester 1990), A/Prof Albert Nymeyer (PhD, University of Newcastle 1986) (50%)
PhD Students: 2
Research MSc Students: 0
Honours Students: 8
Postdoc Research Fellow: 1
Visitors: Xavier Vera, Mälardalens Högskola, Sweden
Capability:
Research into the principles of programming languages and their implementation with a particular focus on compilation of high-level programming languages for high-performance distributed, parallel and heterogeneous systems.
- parallelising and optimising compiler techniques
- analysis and optimisation of loop-oriented regular computations
- compilation of portable irregular algorithms and data structures into high-performance parallel code for shared-memory architectures and workstation clusters
- dynamic and adaptive compilation technology
- advanced compilation technology for high-performance implementation of functional languages
- application of functional programming languages
- program analysis techniques via static analysis (e.g., pointer analysis) and dynamic instrumentation (e.g.,path-sensitive profiling) with an emphasis on object-oriented language
- analysis and optimisation of memory hierarchy behaviour
- high-level languages and libraries for distributed programming
- user-level device drivers for low-latency communication libraries for parallel applications
- rigorous methods for program construction: refinement techniques, program verification, proof mechanisation
- logics (in particular epistemic and temporal ones) as specification and assertion languages for distributed systems
Trackrecord (1997-2001)
Research Grants:
- ARC Large
- 3 grants totaling $460,915
- ARC Small
- 4 grants totaling $57,200
- ARC SPIRT
- Piyush Maheshwari and NetPro Express Pty Ltd, Formal Methods for
Designing Distributed Financial Systems
- Others
- Gabriele Keller, Efficient compilation of irregular parallel programs for
clusters, UTS Internal Research Grant
- Formalised Code Generation, Dutch Scientific Research Grant $10,000
- Manuel Chakravarty, Declarative Co-ordination of Distributed and
Heterogenous Software Components, URSP $20,000.
National Collaborations: University of Technology, Sydney
International Collaborations:
- Microsoft Research Cambridge, UK (Joint Project)
- Ecole des mines de Paris, France (Joint Project)
- Paris XI University (Joint Project)
- Technical University of Berlin, Germany (Joint Project)
- Technion, Haifa, Israel
- University of Twente, The Netherlands
International Links:
- Tsinghua University, China
- Imperial College, London, UK
- VERIMAG, Grenoble, France
- GMD, Berlin, Germany
- University of Kiel, Germany
- University of Tsukuba, Japan
- Purdue University, USA
Books: 3
Journal Papers: 19
Refereed Conference Papers: 38
PhD completions: 3
Research MSc completions: 7
Co-supervisions of students in other groups: 4
Artifacts:
- Compiler cache optimisation system: OASIS (being developed)
- Loop scheduling and partitioning extenstion system
- Compiler Development System: SLADE
- Parallel array extension for the Glasgow Haskell compiler (being developed)
- Gtk+HS GUI library for Haskell (being developed)
- Ports distributed computing library for Haskell (being developed)
- C->Haskell FFI Generator
Facilities:
Workstations based on Pentium, Alpha and UltraSPARC processors.
|
