Horatiu Jula

According to our database, Horatiu Jula authored at least 10 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Deadlock Immunity - Enabling General-Purpose Software to Defend Itself against Deadlocks.

Horatiu Jula

PhD thesis, 2011

Efficiency Optimizations for Implementations of Deadlock Immunity.

Horatiu Jula, Silviu Andrica, George Candea

Proceedings of the Runtime Verification - Second International Conference, 2011

Communix: A framework for collaborative deadlock immunity.

Horatiu Jula, Pinar Tözün, George Candea

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Platform-wide deadlock immunity for mobile phones.

Horatiu Jula, Thomas Rensch, George Candea

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

2010

iProve: A scalable technique for consumer-verifiable software guarantees.

Silviu Andrica, Horatiu Jula, George Candea

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2008

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.

Horatiu Jula, George Candea

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.

Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2006

Alternative Implementation of the C# Iterator Blocks.

Horatiu Jula

J. Object Technol., 2006

2005

An Executable Specification of C++.

Horatiu Jula, Nicu G. Fruja

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

ASM Semantics for C++ 2.0.

Horatiu Jula

Proceedings of the 12th International Workshop on Abstract State Machines, 2005