Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Xoc, an extension-oriented compiler for systems programming, , , , and . ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, page 244--254. New York, NY, USA, ACM, (2008)DDOS: taming nondeterminism in distributed systems., , , and . ASPLOS, page 499-508. ACM, (2013)Input-covering schedules for multithreaded programs., , and . OOPSLA, page 677-692. ACM, (2013)Symbolic execution of multithreaded programs from arbitrary program contexts., , and . OOPSLA, page 491-506. ACM, (2014)Deterministic Process Groups in dOS., , , and . OSDI, page 177-191. USENIX Association, (2010)RCDC: a relaxed consistency deterministic computer., , , , and . ASPLOS, page 67-78. ACM, (2011)CoreDet: a compiler and runtime system for deterministic multithreaded execution., , , , and . ASPLOS, page 53-64. ACM, (2010)