Export 3 results:
Filters: Author is George Necula  [Clear All Filters]
Scott C, Brajkovic V, Necula G, Krishnamurthy A, Shenker S.  2016.  Minimizing Faulty Executions of Distributed Systems. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :291--309.
Burnim J, Elmas T, Necula G, Sen K.  2012.  CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).
Zhou F, Condit J, Anderson Z, Bagrak I, Ennals R, Harren M, Necula G.  2006.  SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).