USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is George Necula [Clear All Filters]
Minimizing Faulty Executions of Distributed Systems. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :291--309.
.
2016. CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).
.
2012. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
.
2006.