Horatiu Jula

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Horatiu Jula, Thomas Rensch, George Candea
Platform-wide deadlock immunity for mobile phones. DSN Workshops (2011)
Horatiu Jula, Pinar Tözün, George Candea
Communix: A framework for collaborative deadlock immunity. DSN (2011)
Horatiu Jula, Silviu Andrica, George Candea
Efficiency Optimizations for Implementations of Deadlock Immunity. RV (2011)
Silviu Andrica, Horatiu Jula, George Candea
iProve: A scalable technique for consumer-verifiable software guarantees. DSN (2010)
Horatiu Jula, George Candea
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. RV (2008)
Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. OSDI (2008)
Horatiu Jula
Alternative Implementation of the C# Iterator Blocks. J. Object Technol. 5 (7) (2006)
Horatiu Jula, Nicu G. Fruja
An Executable Specification of C++. Abstract State Machines (2005)
Horatiu Jula
ASM Semantics for C++ 2.0. Abstract State Machines (2005)