Biblio

Export 16 results:
Filters: Author is George Candea  [Clear All Filters]
2022
Pirelli S, Valentukonytė A, Argyraki K, Candea G.  2022.  Automated Verification of Network Function Binaries. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :585--600.
Iyer R, Argyraki K, Candea G.  2022.  Performance Interfaces for Network Functions. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :567--584.
2020
Pirelli S, Candea G.  2020.  A Simpler and Faster NIC Driver Model for Network Functions. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :225--241.
2019
Iyer R, Pedrosa L, Zaostrovnykh A, Pirelli S, Argyraki K, Candea G.  2019.  Performance Contracts for Software Network Functions. 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). :517--530.
2015
Kasikci B, Pereira C, Pokam G, Schubert B, Musuvathi M, Candea G.  2015.  Failure Sketches: A Better Way to Debug. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
2014
Kuznetsov V, Szekeres L, Payer M, Candea G, Sekar R., Song D.  2014.  Code-Pointer Integrity. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :147--163.
Kasikci B, Ball T, Candea G, Erickson J, Musuvathi M.  2014.  Efficient Tracing of Cold Code via Bias-Free Sampling. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :243--254.
2013
Zamfir C, Kasikci B, Kinder J, Bugnion E, Candea G.  2013.  Automated Debugging for Arbitrarily Long Executions. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Bugnion E, Chipounov V, Candea G.  2013.  Lightweight Snapshots and System-level Backtracking. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
Andrica S, Candea G.  2013.  Mitigating Anonymity Challenges in Automated Testing and Debugging Systems. 10th International Conference on Autonomic Computing (ICAC 13). :259--264.
Wagner J, Kuznetsov V, Candea G.  2013.  -OVERIFY: Optimizing Programs for Fast Verification. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
2011
Zamfir C, Altekar G, Candea G.  2011.  Debug Determinism: The Sweet Spot for Replay-Based Debugging. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
2010
Kuznetsov V, Chipounov V, Candea G.  2010.  Testing Closed-Source Binary Device Drivers with DDT. 2010 USENIX Annual Technical Conference (USENIX ATC 10).
2008
Jula H, Tralamazza D, Zamfir C, Candea G.  2008.  Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2004
Candea G, Kawamoto S, Fujiki Y, Friedman G, Fox A.  2004.  Microreboot—A Technique for Cheap Recovery. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
2003
Candea G, Fox A.  2003.  Crash-Only Software. 9th Workshop on Hot Topics in Operating Systems (HotOS IX).