University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial languages and applications, compiler directed memory coherence, compiler impact on architecture.
Carnegie Mellon University - Internet services and high-performance distributed computing.
Ong, C.-H. Luke
Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
Ooi, Beng Chin
National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications
CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems.
Last update:September 19, 2014 at 11:58:14 UTC