George Candea

Most-cited papers

S2E: a platform for in-vivo multi-path analysis of software systems
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
2011ASPLOS XVI769 citations
Semantic Scholar
Code-pointer integrity
Volodymyr Kuznetzov, László Szekeres, Mathias Payer, George Candea +2 more
2014USENIX Symposium on Operating Systems Design and Implementation568 citations
Semantic Scholar
Efficient state merging in symbolic execution
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
2012Software Engineering279 citations Open access
Semantic Scholar
Parallel symbolic execution for automated real-world software testing
Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea
2011European Conference on Computer Systems264 citations Open access
Semantic Scholar
The S2E Platform: Design, Implementation, and Applications
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
2012TOCS229 citations Open access
Semantic Scholar
Cloud9: a software testing service
L. Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov +1 more
2010OPSR226 citations
Semantic Scholar
Execution synthesis: a technique for automated software debugging
Cristian Zamfir, George Candea
2010European Conference on Computer Systems220 citations Open access
Semantic Scholar
Automated software testing as a service
George Candea, Stefan Bucur, Cristian Zamfir
2010ACM Symposium on Cloud Computing139 citations Open access
Semantic Scholar
Data races vs. data race bugs: telling the difference with portend
Baris Kasikci, Cristian Zamfir, George Candea
2012ASPLOS XVII130 citations Open access
Semantic Scholar
Middleware-based database replication: the gaps between theory and practice
E. Cecchet, George Candea, A. Ailamaki
2007SIGMOD Conference128 citations Open access
Semantic Scholar
Testing Closed-Source Binary Device Drivers with DDT
Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
2010USENIX Annual Technical Conference113 citations
Semantic Scholar
ConfErr: A tool for assessing resilience to human configuration errors
Lorenzo Keller, P. Upadhyaya, George Candea
2008Dependable Systems and Networks113 citations Open access
Semantic Scholar
RaceMob: crowdsourced data race detection
Baris Kasikci, Cristian Zamfir, George Candea
2013Symposium on Operating Systems Principles111 citations Open access
Semantic Scholar
LFI: A practical and general library-level fault injector
P. Marinescu, George Candea
20092009 IEEE/IFIP International Conference on Dependable Systems & Networks106 citations Open access
Semantic Scholar
A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses
George Candea, Neoklis Polyzotis, Radek Vingralek
2009Proceedings of the VLDB Endowment105 citations Open access
Semantic Scholar
Failure sketching: a technique for automated root cause diagnosis of in-production failures
Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles A. Pokam +1 more
2015Symposium on Operating Systems Principles101 citations Open access
Semantic Scholar
Reverse engineering of binary device drivers with RevNIC
Vitaly Chipounov, George Candea
2010European Conference on Computer Systems91 citations Open access
Semantic Scholar
Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization
P. Bodík, Greg Friedman, Lukas Biewald, Helen Levine +7 more
2005International Conference on Automation and Computing91 citations Open access
Semantic Scholar
WaRR: A tool for high-fidelity web application record and replay
Silviu Andrica, George Candea
2011Dependable Systems and Networks85 citations Open access
Semantic Scholar
High System-Code Security with Low Overhead
Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
2015IEEE Symposium on Security and Privacy65 citations Open access
Semantic Scholar
Efficient Testing of Recovery Code Using Fault Injection
P. Marinescu, George Candea
2011TOCS63 citations Open access
Semantic Scholar
Autonomous recovery in componentized Internet applications
George Candea, Emre Kıcıman, Shinichi Kawamoto, A. Fox
2006Cluster Computing60 citations Open access
Semantic Scholar
A Formally Verified NAT
Arseniy Zaostrovnykh, Solal Pirelli, Luís D. Pedrosa, K. Argyraki +1 more
2017Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication58 citations Open access
Semantic Scholar
Performance Contracts for Software Network Functions
Rishabh R. Iyer, Luís D. Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli +2 more
2019Symposium on Networked Systems Design and Implementation56 citations
Semantic Scholar
Verifying software network functions with no verification expertise
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo +3 more
2019Symposium on Operating Systems Principles56 citations Open access
Semantic Scholar
Prototyping symbolic execution engines for interpreted languages
Stefan Bucur, Johannes Kinder, George Candea
2014International Conference on Architectural Support for Programming Languages and Operating Systems53 citations Open access
Semantic Scholar
Reconstructing Core Dumps
Jeremias Robler, A. Zeller, Gordon Fraser, Cristian Zamfir +1 more
20132013 IEEE Sixth International Conference on Software Testing, Verification and Validation53 citations
Semantic Scholar
Could ChatGPT get an engineering degree? Evaluating higher education vulnerability to AI assistants
Beatriz Borges, Negar Foroutan, Deniz Bayazit, A. Sotnikova +86 more
2024Proceedings of the National Academy of Sciences of the United States of America51 citations Open access
Semantic Scholar
Fast black-box testing of system recovery code
Radu Banabic, George Candea
2012European Conference on Computer Systems50 citations Open access
Semantic Scholar
Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling
Rishabh R. Iyer, Musa Unal, Marios Kogias, George Candea
2023Symposium on Operating Systems Principles42 citations Open access
Semantic Scholar
-OVERIFY: Optimizing Programs for Fast Verification
Jonas Wagner, Volodymyr Kuznetsov, George Candea
2013USENIX Workshop on Hot Topics in Operating Systems34 citations
Semantic Scholar
Enabling sophisticated analyses of ×86 binaries with RevGen
Vitaly Chipounov, George Candea
20112011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W)34 citations
Semantic Scholar
Predictable performance and high query concurrency for data analytics
George Candea, Neoklis Polyzotis, Radek Vingralek
2011The VLDB journal34 citations Open access
Semantic Scholar
An Extensible Technique for High-Precision Testing of Recovery Code
P. Marinescu, Radu Banabic, George Candea
2010USENIX Annual Technical Conference33 citations
Semantic Scholar
Poster : Getting The Point ( er ) : On the Feasibility of Attacks on Code-Pointer Integrity
Volodymyr Kuznetsov, László Szekeres, Mathias Payer, George Candea +1 more
201530 citations
Semantic Scholar
A Simpler and Faster NIC Driver Model for Network Functions
Solal Pirelli, George Candea
2020USENIX Symposium on Operating Systems Design and Implementation28 citations
Semantic Scholar
Scalable testing of file system checkers
J. Carreira, R. Rodrigues, George Candea, R. Majumdar
2012European Conference on Computer Systems26 citations Open access
Semantic Scholar
Automated Verification of Network Function Binaries
Solal Pirelli, Akvilė Valentukonytė, K. Argyraki, George Candea
2022Symposium on Networked Systems Design and Implementation25 citations
Semantic Scholar
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
George Candea, P. Godefroid
2019Computing and Software Science25 citations Open access
Semantic Scholar
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Baris Kasikci, Cristian Zamfir, George Candea
2015ACM Transactions on Programming Languages and Systems24 citations Open access
Semantic Scholar
Dynamically Translating x86 to LLVM using QEMU
Vitaly Chipounov, George Candea
201024 citations
Semantic Scholar
Automated Software Testing as a Service (TaaS)
George Candea, Stefan Bucur, Cristian Zamfir
2010ACM Symposium on Cloud Computing22 citations
Semantic Scholar
Performance Interfaces for Network Functions
Rishabh R. Iyer, K. Argyraki, George Candea
2022Symposium on Networked Systems Design and Implementation21 citations
Semantic Scholar
Efficient Tracing of Cold Code via Bias-Free Sampling
Baris Kasikci, T. Ball, George Candea, John Erickson +1 more
2014USENIX Annual Technical Conference21 citations
Semantic Scholar
Debug Determinism: The Sweet Spot for Replay-Based Debugging
Cristian Zamfir, Gautam Altekar, George Candea, Ion Stoica
2011USENIX Workshop on Hot Topics in Operating Systems21 citations
Semantic Scholar
Toward Self-Healing Multitier Services
Brian Cook, Shivnath Babu, George Candea, Songyun Duan
20072007 IEEE 23rd International Conference on Data Engineering Workshop21 citations Open access
Semantic Scholar
Automated Debugging for Arbitrarily Long Executions
Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion +1 more
2013USENIX Workshop on Hot Topics in Operating Systems19 citations
Semantic Scholar
Lightweight Snapshots and System-level Backtracking
Edouard Bugnion, Vitaly Chipounov, George Candea
2013USENIX Workshop on Hot Topics in Operating Systems17 citations
Semantic Scholar
Toward Quantifying System Manageability
George Candea
2008Hot Topics in System Dependability15 citations
Semantic Scholar
Low-Overhead Bug Fingerprinting for Fast Debugging
Cristian Zamfir, George Candea
2010Runtime Verification14 citations Open access
Semantic Scholar