School of Informatics


ICSA researchers widely recognised at the International CGO Symposiums

Researchers from the Institute for Computing Systems Architecture at the School of Informatics were recognised at the prestigious co-located International Symposiums on Code Generation and Optimization (CGO) and High-Performance Computer Architecture (HPCA) in Austin, Texas in early February.


Six research papers from ICSA were presented at the conference: four papers on a range of topics including new developments on a novel programming language Lift, developed at Edinburgh were presented at CGO; two papers were presented at HPCA.

Moreover, Mike O'Boyle’s 2007 paper 'Rapidly Selecting Good Compiler Optimizations Using Performance Counters' has won the CGO Test of Time award 2017.  The award recognises outstanding papers, published ten years previously at CGO, whose contents are still a vibrant and useful contribution today. Mike's paper was authored with his team at ICSA and collaborators at INRIA.


And last but not least, one of the presented papers, Chris Cummins’ (and supervisors’: Hugh Leather, Pavlos Petoumenos and Zheng Wang) paper 'Synthesizing Benchmarks for Predictive Modeling' has won the Best Paper award at CGO. 

The International Symposium on Code Generation and Optimization (CGO) brings together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The International Symposium on High-Performance Computer Architecture (HPCA) is one of the most prestigious conferences in the area of computer architecture.

A list of the six accepted papers:

  1. 'Discovery and Exploitation of General Reductions: A Constraint Based Approach' - Philip Ginsbach, Michael O'Boyle (University of Edinburgh)
  2. 'Minimizing The Cost of Iterative Compilation with Active Learning' - William Ogilvie, Pavlos Petoumenos (University of Edinburgh), Zheng Wang (Lancaster University), Hugh Leather (University of Edinburgh)
  3. 'Synthesizing Benchmarks for Predictive Modeling' - Chris Cummins, Pavlos Petoumenos (University of Edinburgh), Zheng Wang (Lancaster University), Hugh Leather (University of Edinburgh)
  4. 'Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation' - Michel Steuwer, Toomas Remmelg, Christophe Dubach (University of Edinburgh)
  5. 'Boomerang: a Metadata-Free Architecture for Control Flow Delivery' - Rakesh Kumar, Cheng-Chieh Huang, Boris Grot, Vijay Nagarajan (University of Edinburgh)
  6. 'ATOM: Atomic Durability in Non-volatile Memory through Hardware Support for Logging' - Arpit Joshi, Vijay Nagarajan, Marcelo Cintra, Stratis Viglas (University of Edinburgh)

Useful links

Institute for Computing Systems Architecture

International Symposium on Code Generationand Optimization