Biblio

Export 3 results:
Filters: Author is Cristian Cadar  [Clear All Filters]
2017
Pina L, Grumberg D, Andronidis A, Cadar C.  2017.  A DSL Approach to Reconcile Equivalent Divergent Program Executions. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :417--429.
2008
Cadar C, Dunbar D, Engler D.  2008.  KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2004
Rinard M, Cadar C, Dumitran D, Roy DM, Leu T, Beebee, Jr. WS.  2004.  Enhancing Server Availability and Security Through Failure-Oblivious Computing. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).