George Candea

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

The Case for Performance Interfaces for Hardware Accelerators.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Automated Verification of Network Function Binaries.

[BibT_eX]

[DOI]

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Performance Interfaces for Network Functions.

[BibT_eX]

[DOI]

Rishabh R. Iyer

Katerina J. Argyraki

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2020

A Simpler and Faster NIC Driver Model for Network Functions.

[BibT_eX]

[DOI]

Solal Pirelli

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances.

[BibT_eX]

[DOI]

Patrice Godefroid

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Making Smartphone Application Permissions Meaningful for the Average User.

[BibT_eX]

[DOI]

Amer Chamseddine

CoRR, 2019

Verifying software network functions with no verification expertise.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Performance Contracts for Software Network Functions.

[BibT_eX]

[DOI]

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing.

[BibT_eX]

[DOI]

IET Softw., 2018

A formally verified NAT stack.

[BibT_eX]

[DOI]

Solal Pirelli

Arseniy Zaostrovnykh

Comput. Commun. Rev., 2018

Code-pointer integrity.

[BibT_eX]

[DOI]

Proceedings of the Continuing Arms Race: Code-Reuse Attacks and Defenses, 2018

2017

A Formally Verified NAT.

[BibT_eX]

[DOI]

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

2015

Automated Classification of Data Races Under Both Strong and Weak Memory Models.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2015

High System-Code Security with Low Overhead.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Failure sketching: a technique for automated root cause diagnosis of in-production failures.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Failure Sketches: A Better Way to Debug.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

The Tests-versus-Proofs Conundrum.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2014

Efficient Tracing of Cold Code via Bias-Free Sampling.

[BibT_eX]

[DOI]

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Efficient State Merging in Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Code-Pointer Integrity.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Prototyping symbolic execution engines for interpreted languages.

[BibT_eX]

[DOI]

Stefan Bucur

Johannes Kinder

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

Finding trojan message vulnerabilities in distributed systems.

[BibT_eX]

[DOI]

Radu Banabic

Rachid Guerraoui

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

RaceMob: crowdsourced data race detection.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Reconstructing Core Dumps.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Mitigating Anonymity Challenges in Automated Testing and Debugging Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomic Computing, 2013

Automated Debugging for Arbitrarily Long Executions.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

-OVERIFY: Optimizing Programs for Fast Verification.

[BibT_eX]

[DOI]

Jonas Wagner

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Lightweight Snapshots and System-level Backtracking.

[BibT_eX]

[DOI]

Edouard Bugnion

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Message from the DCCS program chair.

[BibT_eX]

[DOI]

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Making automated testing of cloud applications an integral component of PaaS.

[BibT_eX]

[DOI]

Stefan Bucur

Johannes Kinder

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

The S2E Platform: Design, Implementation, and Applications.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2012

CORD: A Collaborative Framework for Distributed Data Race Detection.

[BibT_eX]

[DOI]

João Carlos Menezes Carreira

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

Scalable testing of file system checkers.

[BibT_eX]

[DOI]

Rodrigo Rodrigues

Rupak Majumdar

Proceedings of the European Conference on Computer Systems, 2012

Fast black-box testing of system recovery code.

[BibT_eX]

[DOI]

Radu Banabic

Proceedings of the European Conference on Computer Systems, 2012

Data races vs. data race bugs: telling the difference with portend.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Predictable performance and high query concurrency for data analytics.

[BibT_eX]

[DOI]

Neoklis Polyzotis

Radek Vingralek

VLDB J., 2011

Efficient Testing of Recovery Code Using Fault Injection.

[BibT_eX]

[DOI]

Paul Dan Marinescu

ACM Trans. Comput. Syst., 2011

Efficiency Optimizations for Implementations of Deadlock Immunity.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Debug Determinism: The Sweet Spot for Replay-Based Debugging.

[BibT_eX]

[DOI]

Gautam Altekar

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Parallel symbolic execution for automated real-world software testing.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2011

Communix: A framework for collaborative deadlock immunity.

[BibT_eX]

[DOI]

Pinar Tözün

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Platform-wide deadlock immunity for mobile phones.

[BibT_eX]

[DOI]

Thomas Rensch

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Enabling sophisticated analyses of ×86 binaries with RevGen.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Exterminating bugs via collective information recycling.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Automated vulnerability discovery in distributed systems.

[BibT_eX]

[DOI]

Radu Banabic

Rachid Guerraoui

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

WaRR: A tool for high-fidelity web application record and replay.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

S2E: a platform for in-vivo multi-path analysis of software systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Testing Closed-Source Binary Device Drivers with DDT.

[BibT_eX]

[DOI]

Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Low-Overhead Bug Fingerprinting for Fast Debugging.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Execution synthesis: a technique for automated software debugging.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2010

Reverse engineering of binary device drivers with RevNIC.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2010

Studying application-library interaction and behavior with LibTrac.

[BibT_eX]

[DOI]

Eric Bisolfati

Paul Dan Marinescu

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

iProve: A scalable technique for consumer-verifiable software guarantees.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Automated software testing as a service.

[BibT_eX]

[DOI]

Stefan Bucur

Proceedings of the 1st ACM Symposium on Cloud Computing, 2010

2009

Cloud9: a software testing service.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2009

A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses.

[BibT_eX]

[DOI]

Neoklis Polyzotis

Radek Vingralek

Proc. VLDB Endow., 2009

Drivolution: rethinking the database driver lifecycle.

[BibT_eX]

[DOI]

Emmanuel Cecchet

Proceedings of the Middleware 2008, 2009

LFI: A practical and general library-level fault injector.

[BibT_eX]

[DOI]

Paul Dan Marinescu

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Middleware-based database replication: the gaps between theory and practice.

[BibT_eX]

[DOI]

Emmanuel Cecchet

Anastasia Ailamaki

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Deprogramming Large Software Systems.

[BibT_eX]

[DOI]

Yohann Coppel

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Reverse-Engineering Drivers for Safety and Portability.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Toward Quantifying System Manageability.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

ConfErr: A tool for assessing resilience to human configuration errors.

[BibT_eX]

[DOI]

Lorenzo Keller

Prasang Upadhyaya

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Toward Self-Healing Multitier Services.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

2006

Autonomous recovery in componentized Internet applications.

[BibT_eX]

[DOI]

Clust. Comput., 2006

2005

Crash-only software and microreboot : a design and technique for achieving high availability in frequently-failing software systems.

[BibT_eX]

[DOI]

PhD thesis, 2005

Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Workshop on Hot Topics in System Depend - Workshop Abstract.

[BibT_eX]

[DOI]

David L. Oppenheimer

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Improving availability with recursive microreboots: a soft-state system case study.

[BibT_eX]

[DOI]

James W. Cutler

Perform. Evaluation, 2004

A Microrebootable System - Design, Implementation, and Evaluation.

[BibT_eX]

[DOI]

CoRR, 2004

Predictable Software - A Shortcut to Dependable Computing?

[BibT_eX]

[DOI]

CoRR, 2004

End-User Effects of Microreboots in Three-Tiered Internet Systems

[BibT_eX]

[DOI]

CoRR, 2004

Recovery-Oriented Computing: Building Multitier Dependability.

[BibT_eX]

[DOI]

Computer, 2004

Microreboot - A Technique for Cheap Recovery.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

OnCall: Defeating Spikes with a Free-Market Application Cluste.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

2003

JAGR: An Autonomous Self-Recovering Application Server.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

Crash-Only Software.

[BibT_eX]

[DOI]

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

2002

A utility-centered approach to building dependable infrastructure services.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Reducing Recovery Time in a Small Recursively Restartable System.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel.

[BibT_eX]

[DOI]