USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Cristian Cadar [Clear All Filters]
A DSL Approach to Reconcile Equivalent Divergent Program Executions. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :417--429.
.
2017. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. Enhancing Server Availability and Security Through Failure-Oblivious Computing. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
.
2004.