Eva Burrows

I am a postdoctoral researcher at the University of Bergen, Department of Informatics, working within the Bergen Language Design Laboratory. In the past years I have been collaborating with Magne Haveraaen and Mary Sheeran (Chalmers University, Gothenburg) who were also my scientific advisers throughout my PhD studies, Anya Helene Bagge, Valentin David, Joseph Young and Helmer André Friis.

CONTACT

Institutt for Informatikk, Universitetet i Bergen
Postboks 7803, 5020 Bergen, Norway
Phone: (+47) 55 58 40 34
Fax: (+47) 55 58 41 99
E-mail: forname.surname at ii.uib.no

RESEARCH INTERESTS

• Parallel programming models
• Programming language design and implementation
• Algebraic specifications
• Multicore programming
• GPGPU programming

I investigate the possibility of (arbitrary depth) nested parallel programming concepts based on multi-level Data Dependency Algebras (DDAs). The work includes various levels of parallelism from the on-chip parallelism of microprocessors via GPUs, FPGAs, etc up to parallel machine networks. I am combining DDA concepts with hardware programming with a strong focus on multicore and GPU programming (e.g. NVIDIA's CUDA).

PUBLICATIONS

• Programmable Data Dependencies and Placements with M. Haveraaen. In: DAMP '12: Proceedings of the 7th workshop on Declarative aspects of multicore programming, 2012 (doi)
• Programming with Explicit Dependencies. A Framework for Portable Parallel Programming, PhD Thesis, University of Bergen, 2011 (.pdf)
• Dependency-driven Parallel Programming with M. Haveraaen. In: Norsk Informatikk Konferanse 2009. Tapir Akademisk Forlag 2009 (.pdf)
• A Hardware Independent Parallel Programming Model with M. Haveraaen. Journal of Logic and Algebraic Programming, 2009 (doi)
• Formulas as Programs, Master Thesis, University of Bergen, 2003 (.pdf)
• Pascal Program Generator for User-Specified Data Validation and Storage, Bachelor Paper, University of Cluj-Napoca, 1994 (abstract)

AWARDS

• First place in the graduate student category of ACM Student Research Competition at the conference Programming Language Design and Implementation (PLDI) 2010 with the work Harnessing the Driving Force of Dependencies (Abstract, Poster)

SELECTED PRESENTATIONS

• Trends and Challenges in Multicore Programming, Bergen Language Design Laboratory Seminars, Bergen, 2010 (Slides)
• A Hardware Independent Parallel Programming Model, 19th Nordic Workshop of Programming Theory, Oslo, 2007 (Slides)

TEACHING

Autumn 2010: INF220 Program Specification

Spring 2008: INF329 Selected Topics in Programming Theory: Programming Models for Non-Traditional Architectures

Teaching assistant:

• INF110 Computers and operating systems (Spring 2008)
• INF227 Introduction to logic (Spring 2007, Spring 2010)
• INF220 Program Specification (Autumn 2002, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2009)

BIO

• A short CV.