USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 16 results:
Filters: Author is George Candea [Clear All Filters]
Automated Verification of Network Function Binaries. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :585--600.
.
2022. Performance Interfaces for Network Functions. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :567--584.
.
2022. A Simpler and Faster NIC Driver Model for Network Functions. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :225--241.
.
2020. Performance Contracts for Software Network Functions. 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). :517--530.
.
2019. Failure Sketches: A Better Way to Debug. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Code-Pointer Integrity. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :147--163.
.
2014. Efficient Tracing of Cold Code via Bias-Free Sampling. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :243--254.
.
2014. Automated Debugging for Arbitrarily Long Executions. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
.
2013. Lightweight Snapshots and System-level Backtracking. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
.
2013. Mitigating Anonymity Challenges in Automated Testing and Debugging Systems. 10th International Conference on Autonomic Computing (ICAC 13). :259--264.
.
2013. -OVERIFY: Optimizing Programs for Fast Verification. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
.
2013. Debug Determinism: The Sweet Spot for Replay-Based Debugging. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
.
2011. Testing Closed-Source Binary Device Drivers with DDT. 2010 USENIX Annual Technical Conference (USENIX ATC 10).
.
2010. Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. Microreboot—A Technique for Cheap Recovery. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
.
2004. Crash-Only Software. 9th Workshop on Hot Topics in Operating Systems (HotOS IX).
.
2003.