Group @GitHub

PhD Students:
Alireza Abyaneh
Clemens Krainer
Ouafae Lachhab

PhD Graduates (with first post-graduate affiliation):
Martin Aigner, Karajan Institute
Silviu Craciunas, TTTech
Andreas Haas, Google
Daniel Iercan (co-advised)
Michael Lippautz, Google
Eduardo Marques (co-advised)
Hannes Payer, Google
Harald Röck, Eurofunk
Rainer Trummer, Roco

Research

Concurrency: Scal, Timestamped Stack, Quantitative Relaxation, Distributed Queues

Memory: Scalloc, ACDC, Short-term Memory, Compact-fit

Time: Principles of Real-Time Programming, Logical Execution Time, Giotto, The Embedded Machine, Schedule-Carrying Code, Variable-Bandwidth Servers

Space: The JAviator (Project), Cyber-Physical Cloud Computing, Big Actors

Logic: Guarded Fragment, Soft Typing

Paradigms: Incorrect Systems, Runtime Programming

Teaching @GitHub

The Selfie Project

Computer Science for All

Past Classes

Community

General Chair: ISMM 2017
PC Member: RTEST 2018, EuroSys 2018, EMSOFT 2017
Associate Editor: TCAD
SC Chair: EMSOFT
SC Member: ACM SIGBED Paul Caspi Memorial Dissertaton Award
Co-PI: RiSE