Lennart Beringer
Lennart Beringer
Room 2605
James Clerk Maxwell Building
King's Buildings
Mayfield Road
Edinburgh EH9 3JZ
Phone: ++44-131-6505142
E-mail:
lenb@inf.ed.ac.uk
Research assistent in the
Mobile Resource Guarantees
(MRG) project.
Research interests:
Mobile computation
Reasoning principles for low-level languages
Program analysis
Reasoning about (asynchronous) processor architectures
Publications:
PhD thesis (University of Edinburgh, 2002):
Asynchronous Queue Machines with explicit forwarding
.
Typing assembly programs with explicit forwarding. Presented at the
4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001)
. Proceedings are available from
Springer
.
Type-correct Forwarding in Asynchronous Processors
. Presented at the 9th UK Asynchronous forum, Cambridge, 2000
Diplomarbeit (TU Berlin 1998):
Deadlock-free Scheduling in Micronet-based Asynchronous Processors