Export 3 results:
Filters: Author is Cristian Cadar  [Clear All Filters]
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.
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).
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).