George Candea

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 17

Top Topics

Automated Verification

Optimal Scheduling

Top Venues

Publications

Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea
Performance Interfaces for Hardware Accelerators. OSDI (2024)
Rishabh R. Iyer, Katerina J. Argyraki, George Candea
Automatically Reasoning About How Systems Code Uses the CPU Cache. OSDI (2024)
Lei Yan, Yueyang Pan, Diyu Zhou, George Candea, Sanidhya Kashyap
Transparent Multicore Scaling of Single-Threaded Network Functions. EuroSys (2024)
Rishabh R. Iyer, Jiacheng Ma, Katerina J. Argyraki, George Candea, Sylvia Ratnasamy
The Case for Performance Interfaces for Hardware Accelerators. HotOS (2023)
Rishabh R. Iyer, Musa Unal, Marios Kogias, George Candea
Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling. SOSP (2023)
Lei Yan, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap, George Candea
Productive Development of Scalable Network Functions with NFork. CoRR (2023)
Solal Pirelli, George Candea
Safe Low-Level Code Without Overhead is Practical. ICSE (2023)
Rishabh R. Iyer, Katerina J. Argyraki, George Candea
Performance Interfaces for Network Functions. NSDI (2022)
Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea
Automated Verification of Network Function Binaries. NSDI (2022)
Solal Pirelli, George Candea
A Simpler and Faster NIC Driver Model for Network Functions. OSDI (2020)
Amer Chamseddine, George Candea
Making Smartphone Application Permissions Meaningful for the Average User. CoRR (2019)
Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea
Performance Contracts for Software Network Functions. NSDI (2019)
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea
Verifying software network functions with no verification expertise. SOSP (2019)
Bin Zhang, Chao Feng, Adrian Herrera, Vitaly Chipounov, George Candea, Chaojing Tang
Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing. IET Softw. 12 (6) (2018)
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
A Formally Verified NAT Stack. KBNets@SIGCOMM (2018)
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
A formally verified NAT stack. Comput. Commun. Rev. 48 (5) (2018)
Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea
A Formally Verified NAT. SIGCOMM (2017)
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea
Failure Sketches: A Better Way to Debug. HotOS (2015)
Baris Kasikci, Cristian Zamfir, George Candea
Automated Classification of Data Races Under Both Strong and Weak Memory Models. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
High System-Code Security with Low Overhead. IEEE Symposium on Security and Privacy (2015)
Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea
Failure sketching: a technique for automated root cause diagnosis of in-production failures. SOSP (2015)
Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song
Code-Pointer Integrity. OSDI (2014)
Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX Annual Technical Conference (2014)
George Candea
The Tests-versus-Proofs Conundrum. IEEE Secur. Priv. 12 (1) (2014)
Radu Banabic, George Candea, Rachid Guerraoui
Finding trojan message vulnerabilities in distributed systems. ASPLOS (2014)
Stefan Bucur, Johannes Kinder, George Candea
Prototyping symbolic execution engines for interpreted languages. ASPLOS (2014)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient State Merging in Symbolic Execution. Software Engineering (2014)
Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea
Reconstructing Core Dumps. ICST (2013)
Baris Kasikci, Cristian Zamfir, George Candea
RaceMob: crowdsourced data race detection. SOSP (2013)
Stefan Bucur, Johannes Kinder, George Candea
Making automated testing of cloud applications an integral component of PaaS. APSys (2013)
Jonas Wagner, Volodymyr Kuznetsov, George Candea
-OVERIFY: Optimizing Programs for Fast Verification. HotOS (2013)
Edouard Bugnion, Vitaly Chipounov, George Candea
Lightweight Snapshots and System-level Backtracking. HotOS (2013)
Silviu Andrica, George Candea
Mitigating Anonymity Challenges in Automated Testing and Debugging Systems. ICAC (2013)
Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea
Automated Debugging for Arbitrarily Long Executions. HotOS (2013)
George Candea
Message from the DCCS program chair. DSN (2013)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient state merging in symbolic execution. PLDI (2012)
João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar
Scalable testing of file system checkers. EuroSys (2012)
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst. 30 (1) (2012)
Baris Kasikci, Cristian Zamfir, George Candea
CORD: A Collaborative Framework for Distributed Data Race Detection. HotDep (2012)
Baris Kasikci, Cristian Zamfir, George Candea
Data races vs. data race bugs: telling the difference with portend. ASPLOS (2012)
Radu Banabic, George Candea
Fast black-box testing of system recovery code. EuroSys (2012)
Vitaly Chipounov, George Candea
Enabling sophisticated analyses of ×86 binaries with RevGen. DSN Workshops (2011)
Radu Banabic, George Candea, Rachid Guerraoui
Automated vulnerability discovery in distributed systems. DSN Workshops (2011)
Cristian Zamfir, Gautam Altekar, George Candea
Debug Determinism: The Sweet Spot for Replay-Based Debugging. HotOS (2011)
George Candea, Neoklis Polyzotis, Radek Vingralek
Predictable performance and high query concurrency for data analytics. VLDB J. 20 (2) (2011)
Horatiu Jula, Thomas Rensch, George Candea
Platform-wide deadlock immunity for mobile phones. DSN Workshops (2011)
Silviu Andrica, George Candea
WaRR: A tool for high-fidelity web application record and replay. DSN (2011)
Horatiu Jula, Pinar Tözün, George Candea
Communix: A framework for collaborative deadlock immunity. DSN (2011)
Paul Dan Marinescu, George Candea
Efficient Testing of Recovery Code Using Fault Injection. ACM Trans. Comput. Syst. 29 (4) (2011)
George Candea
Exterminating bugs via collective information recycling. DSN Workshops (2011)
Horatiu Jula, Silviu Andrica, George Candea
Efficiency Optimizations for Implementations of Deadlock Immunity. RV (2011)
Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea
Parallel symbolic execution for automated real-world software testing. EuroSys (2011)
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
S2E: a platform for in-vivo multi-path analysis of software systems. ASPLOS (2011)
Vitaly Chipounov, George Candea
Reverse engineering of binary device drivers with RevNIC. EuroSys (2010)
Cristian Zamfir, George Candea
Low-Overhead Bug Fingerprinting for Fast Debugging. RV (2010)
Silviu Andrica, Horatiu Jula, George Candea
iProve: A scalable technique for consumer-verifiable software guarantees. DSN (2010)
George Candea, Stefan Bucur, Cristian Zamfir
Automated software testing as a service. SoCC (2010)
Cristian Zamfir, George Candea
Execution synthesis: a technique for automated software debugging. EuroSys (2010)
Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
Testing Closed-Source Binary Device Drivers with DDT. USENIX Annual Technical Conference (2010)
Eric Bisolfati, Paul Dan Marinescu, George Candea
Studying application-library interaction and behavior with LibTrac. DSN (2010)
Emmanuel Cecchet, George Candea
Drivolution: rethinking the database driver lifecycle. Middleware (Companion) (2009)
Paul Dan Marinescu, George Candea
LFI: A practical and general library-level fault injector. DSN (2009)
George Candea, Neoklis Polyzotis, Radek Vingralek
A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses. Proc. VLDB Endow. 2 (1) (2009)
Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea
Cloud9: a software testing service. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Vitaly Chipounov, George Candea
Reverse-Engineering Drivers for Safety and Portability. HotDep (2008)
Horatiu Jula, George Candea
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. RV (2008)
Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. OSDI (2008)
Emmanuel Cecchet, George Candea, Anastasia Ailamaki
Middleware-based database replication: the gaps between theory and practice. SIGMOD Conference (2008)
Lorenzo Keller, Prasang Upadhyaya, George Candea
ConfErr: A tool for assessing resilience to human configuration errors. DSN (2008)
Yohann Coppel, George Candea
Deprogramming Large Software Systems. HotDep (2008)
George Candea
Toward Quantifying System Manageability. HotDep (2008)
Brian Cook, Shivnath Babu, George Candea, Songyun Duan
Toward Self-Healing Multitier Services. ICDE Workshops (2007)
Emmanuel Cecchet, George Candea, Anastassia Ailamaki
Middleware-based Database Replication: The Gaps between Theory and Practice CoRR (2007)
George Candea, Emre Kiciman, Shinichi Kawamoto, Armando Fox
Autonomous recovery in componentized Internet applications. Clust. Comput. 9 (2) (2006)
Peter Bodík, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jonathan Hui, Armando Fox, Michael I. Jordan, David A. Patterson
Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization. ICAC (2005)
George Candea, David L. Oppenheimer
Workshop on Hot Topics in System Depend - Workshop Abstract. DSN (2005)
George Candea, Aaron B. Brown, Armando Fox, David A. Patterson
Recovery-Oriented Computing: Building Multitier Dependability. Computer 37 (11) (2004)
George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox
Microreboot - A Technique for Cheap Recovery. OSDI (2004)
George Candea
Predictable Software - A Shortcut to Dependable Computing? CoRR (2004)
James Norris, Keith Coleman, Armando Fox, George Candea
OnCall: Defeating Spikes with a Free-Market Application Cluste. ICAC (2004)
George Candea, Armando Fox
End-User Effects of Microreboots in Three-Tiered Internet Systems CoRR (2004)
George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox
A Microrebootable System - Design, Implementation, and Evaluation. CoRR (2004)
George Candea, James W. Cutler, Armando Fox
Improving availability with recursive microreboots: a soft-state system case study. Perform. Evaluation 56 (1-4) (2004)
George Candea, Emre Kiciman, Steve Zhang, Pedram Keyani, Armando Fox
JAGR: An Autonomous Self-Recovering Application Server. Active Middleware Services (2003)
George Candea, Armando Fox
Crash-Only Software. HotOS (2003)
George Candea, Armando Fox
A utility-centered approach to building dependable infrastructure services. ACM SIGOPS European Workshop (2002)
George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda
Reducing Recovery Time in a Small Recursively Restartable System. DSN (2002)
George Candea, Armando Fox
Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. HotOS (2001)