Horatiu Jula
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2008–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DSN | Platform-wide deadlock immunity for mobile phones. | Horatiu Jula, Thomas Rensch, George Candea |
| 2011 | DSN | Communix: A framework for collaborative deadlock immunity. | Horatiu Jula, Pinar Tzn, George Candea |
| 2011 | RV | Efficiency Optimizations for Implementations of Deadlock Immunity. | Horatiu Jula, Silviu Andrica, George Candea |
| 2010 | DSN | iProve: A scalable technique for consumer-verifiable software guarantees. | Silviu Andrica, Horatiu Jula, George Candea |
| 2008 | OSDI | Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea |
| 2008 | RV | A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. | Horatiu Jula, George Candea |