|
|
|
Horatiu Jula
|
|
Doctoral Program in Computer & Communication Sciences
|
PhD Student
birth date: 11.01.1981
nationality: Romanian
|
office(s):
INN321
phone(s): [+41 21 69] 37509
|
|
|
MISSION
|
|
Algorithms for enabling large real applications to gain immunity against software bugs.
|
|
MAIN PUBLICATIONS
|
Deadlock Immunity: Enabling Systems To Defend Against Deadlocks , Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea, Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, December 2008
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity, Horatiu Jula, George Candea, Proc. 8th Workshop on Runtime Verification, Budapest, Hungary (March 2008)
Alternative Implementation of the C# Iterator Blocks, Horatiu Jula, Journal of Object Technology 5(7): (2006)
ASM Semantics for C# 2.0, Horatiu Jula, Abstract State Machines 2005: 263-274
An Executable Specification of C#, Horatiu Jula, Nicu G. Fruja, Abstract State Machines 2005: 275-288
|
|
BIOGRAPHY
|
PhD student at EPFL, in Dependable Systems Laboratory, from June 2007.
Research assistant at EPFL, in Dependable Systems Laboratory, from December 2006 untill June 2007.
Research assistant at ETHZ, in Formal Verification group, from October 2004 until September 2006.
Graduated at Technical University of Cluj-Napoca, in July 2004.
|
|
Student