Alastair Donaldson

Academic Responsibilities

Programme committee membership and event organisation

• PC member for Parallel and Distributed Systems track: 5th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC 2010)
• PC member: 15th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2010)
• PC member: 2010 International Workshop on Multi-Core Computing Systems (MuCoCoS 2010)
• PC chair for Model Checking track: International Symmetry Conference 2007
• PC co-chair and co-organiser: Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 2006)
• Co-organiser: Almost-Symmetry in Search funded by the SymNet EPSRC Network of Excellence.

Reviewing responsibilities

Reviewed papers for the following international journals:

• ACM Transactions on Design Automation of Electronic Systems
• Acta Informatica
• Constraints

In addition to the programme committee memberships above, reviewed papers for the following international conferences and workshops:

• 22nd International Conference on Computer Aided Verification (CAV 2010)
• 7th ACM International Conference on Computing Frontiers (Computing Frontiers 2010)
• 47th Design Automation Conference (DAC 2010)
• 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2010)
• 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)
• 3rd Workshop on Highly Parallel Processing on a Chip (HPPC 2009)
• 2nd Workshop on Highly Parallel Processing on a Chip (HPPC 2008)

Teaching (current)

Lecturing

• Compilers, Part B (2nd year) course at University of Oxford. Due to deliver two guest lectures (typechecking, runtime environments), February 2010.

Class and practical teaching

• Taking two classes (what non Oxford/Cambridge universities would call tutorial groups!) for Compilers, Part A (2nd year) course at University of Oxford,
• Running practical sessions for Software Verification, Part C (4th year) course at University of Oxford.

PhD student:

• Thanasis Konstantinidis (started October 2008): Language and Compiler Support for Heterogeneous Parallel Architectures. Academic supervisor: Paul H. J. Kelly. Institution: Imperial College London. Funded by EPSRC and Codeplay, via the Industrial CASE programme. I am industrial supervisor for Thanasis, on behalf of Codeplay Software Ltd.

Past teaching

Lecturing

• Object-oriented Programming, Part B (2nd year) course at University of Oxford. Delivered two guest lectures (object identity, memory management), October/November 2009.
• Multi-core Compilation: an Industrial Perspective. Lecture and laboratory session delivered at the SICSA International Summer School on Advances in Programming Languages, Heriot-Watt University, August 2009.
• Advances in Programming Languages, 4th year honours course at University of Edinburgh. Delivered guest lectures on industrial issues in multicore compilers, March 2008 and March 2009.
• Compilers, 4th year honours course at University of Glasgow. Delivered guest lectures on industrial issues in multicore compilers, February 2008 and February 2009.
• Data Structures and Algorithms, 2nd year course at University of Glasgow. Delivered two guest lectures (abstract data types, binary trees), October 2006.

Doctoral supervision

• Paul Keir (started October 2007): Multi-core Compilers for Scientific Computing. Academic supervisor: Paul Cockshott. Institution: University of Glasgow (Ph.D.). Funded by EPSRC and Codeplay, via the Industrial CASE programme. I was industrial supervisor for Paul from October 2007 to April 2009 while at Codeplay Software Ltd.
• Haitham Fattah (started October 2007): Automatic Parallelisation of C++ Applications Using FPGAs. Academic supervisor: Wim Vanderbauwhede. Institution: Institute for System Level Integration (Eng.D.). Funded by EPSRC and FHPCA, with supervision and office facilities provided by Codeplay. I was industrial supervisor for Haitham from October 2007 to April 2009 while at Codeplay Software Ltd.

College tutorials, University of Oxford

• Tutor for two pairs of 2nd year students, at Merton College and Corpus Christi College, in Object-oriented Programming.

Tutoring and demonstrating, University of Glasgow

• Tutor for CS1P module, 1st year introduction to imperative programming and algorithm design, 2003-2006 (also demonstrator 2002-2003)
• Tutor for CS1Q module, 1st year introduction to HCI, databases and systems, 2003-2006 (also demonstrator 2002-2003)
• Demonstrator for Introduction to C, 3rd year course, 2003-2006
• Tutor on the Top-up programme, organised by the University of Glasgow as part of the GOALS project.
• Demonstrator for Royal Institute of Great Britian mathematics master-classes for secondary school pupils, hosted by the Department of Mathematics at the University of Glasgow.