Date Range
Date Range
Date Range
Olsen Hall, room 211. Programming languages, formal semantics, type systems, gradual typing, software verification, proof theory, interactive theorem proving, concurrency theory, process algebra, behavioural equivalences, bisimulation and coinductive techniques.
COORDINATION, IFIP International Conference on Coordination Models and Languages. DAIS, IFIP International Conference on Distributed Applications and Interoperable Systems. The 11th edition of DisCoTec.
Top Users for Last Month.
WO AUS TRAUBEN TRÄUME WERDEN. Entlang der Elbe erstreckt sich das kleinste Weinanbaugebiet Deutschlands. Der Weinbau blickt hier auf eine mehr als 850 Jahre alte Tradition zurück. Dies lässt die sächsischen Weine.
Computer Science - MS 132. Houston, TX 77251-1892, USA. My research focuses on high-performance parallel computing. I am looking at performance modeling and autotuning software for parallel platforms. I also have experience with debugger development for parallel programs.