The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "George Candea" ( http://dblp.L3S.de/Authors/George_Candea )

URL (Homepage):  http://people.epfl.ch/george.candea  Author page on DBLP  Author page in RDF  Community of George Candea in ASPL-2

Publication years (Num. hits)
2001-2006 (16) 2007-2010 (20) 2011-2012 (18) 2013-2015 (19) 2017-2019 (6)
Publication types (Num. hits)
article(16) inproceedings(60) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 80 publication records. Showing 79 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea Performance Contracts for Software Network Functions. Search on Bibsonomy NSDI The full citation details ... 2019 DBLP  BibTeX  RDF
1George Candea, Robbert van Renesse, Christof Fetzer (eds.) Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019 Search on Bibsonomy EuroSys The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bin Zhang, Chao Feng, Adrian Herrera, Vitaly Chipounov, George Candea, Chaojing Tang Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing. Search on Bibsonomy IET Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Solal Pirelli, Arseniy Zaostrovnykh, George Candea A formally verified NAT stack. Search on Bibsonomy Computer Communication Review The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Solal Pirelli, Arseniy Zaostrovnykh, George Candea A Formally Verified NAT Stack. Search on Bibsonomy KBNets@SIGCOMM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea A Formally Verified NAT. Search on Bibsonomy SIGCOMM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baris Kasikci, Cristian Zamfir, George Candea Automated Classification of Data Races Under Both Strong and Weak Memory Models. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea Failure Sketches: A Better Way to Debug. Search on Bibsonomy HotOS The full citation details ... 2015 DBLP  BibTeX  RDF
1George Candea (eds.) 15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 Search on Bibsonomy HotOS The full citation details ... 2015 DBLP  BibTeX  RDF
1Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea Failure sketching: a technique for automated root cause diagnosis of in-production failures. Search on Bibsonomy SOSP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder High System-Code Security with Low Overhead. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1George Candea The Tests-versus-Proofs Conundrum. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi Efficient Tracing of Cold Code via Bias-Free Sampling. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2014 DBLP  BibTeX  RDF
1Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song Code-Pointer Integrity. Search on Bibsonomy OSDI The full citation details ... 2014 DBLP  BibTeX  RDF
1Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea Efficient State Merging in Symbolic Execution. Search on Bibsonomy Software Engineering The full citation details ... 2014 DBLP  BibTeX  RDF
1Radu Banabic, George Candea, Rachid Guerraoui Finding trojan message vulnerabilities in distributed systems. Search on Bibsonomy ASPLOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefan Bucur, Johannes Kinder, George Candea Prototyping symbolic execution engines for interpreted languages. Search on Bibsonomy ASPLOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1George Candea Message from the DCCS program chair. Search on Bibsonomy DSN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Edouard Bugnion, Vitaly Chipounov, George Candea Lightweight Snapshots and System-level Backtracking. Search on Bibsonomy HotOS The full citation details ... 2013 DBLP  BibTeX  RDF
1Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea Automated Debugging for Arbitrarily Long Executions. Search on Bibsonomy HotOS The full citation details ... 2013 DBLP  BibTeX  RDF
1Jonas Wagner, Volodymyr Kuznetsov, George Candea -OVERIFY: Optimizing Programs for Fast Verification. Search on Bibsonomy HotOS The full citation details ... 2013 DBLP  BibTeX  RDF
1Stefan Bucur, Johannes Kinder, George Candea Making automated testing of cloud applications an integral component of PaaS. Search on Bibsonomy APSys The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Baris Kasikci, Cristian Zamfir, George Candea RaceMob: crowdsourced data race detection. Search on Bibsonomy SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Silviu Andrica, George Candea Mitigating Anonymity Challenges in Automated Testing and Debugging Systems. Search on Bibsonomy ICAC The full citation details ... 2013 DBLP  BibTeX  RDF
1Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea Reconstructing Core Dumps. Search on Bibsonomy ICST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vitaly Chipounov, Volodymyr Kuznetsov, George Candea The S2E Platform: Design, Implementation, and Applications. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar Scalable testing of file system checkers. Search on Bibsonomy EuroSys The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Radu Banabic, George Candea Fast black-box testing of system recovery code. Search on Bibsonomy EuroSys The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Baris Kasikci, Cristian Zamfir, George Candea CORD: A Collaborative Framework for Distributed Data Race Detection. Search on Bibsonomy HotDep The full citation details ... 2012 DBLP  BibTeX  RDF
1Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea Efficient state merging in symbolic execution. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Baris Kasikci, Cristian Zamfir, George Candea Data races vs. data race bugs: telling the difference with portend. Search on Bibsonomy ASPLOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Candea, Neoklis Polyzotis, Radek Vingralek Predictable performance and high query concurrency for data analytics. Search on Bibsonomy VLDB J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Dan Marinescu, George Candea Efficient Testing of Recovery Code Using Fault Injection. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Silviu Andrica, George Candea WaRR: A tool for high-fidelity web application record and replay. Search on Bibsonomy DSN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Radu Banabic, George Candea, Rachid Guerraoui Automated vulnerability discovery in distributed systems. Search on Bibsonomy DSN Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Horatiu Jula, Pinar Tözün, George Candea Communix: A framework for collaborative deadlock immunity. Search on Bibsonomy DSN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vitaly Chipounov, George Candea Enabling sophisticated analyses of ×86 binaries with RevGen. Search on Bibsonomy DSN Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1George Candea Exterminating bugs via collective information recycling. Search on Bibsonomy DSN Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Horatiu Jula, Thomas Rensch, George Candea Platform-wide deadlock immunity for mobile phones. Search on Bibsonomy DSN Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cristian Zamfir, Gautam Altekar, George Candea Debug Determinism: The Sweet Spot for Replay-Based Debugging. Search on Bibsonomy HotOS The full citation details ... 2011 DBLP  BibTeX  RDF
1Horatiu Jula, Silviu Andrica, George Candea Efficiency Optimizations for Implementations of Deadlock Immunity. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea Parallel symbolic execution for automated real-world software testing. Search on Bibsonomy EuroSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vitaly Chipounov, Volodymyr Kuznetsov, George Candea S2E: a platform for in-vivo multi-path analysis of software systems. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric Bisolfati, Paul Dan Marinescu, George Candea Studying application-library interaction and behavior with LibTrac. Search on Bibsonomy DSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Silviu Andrica, Horatiu Jula, George Candea iProve: A scalable technique for consumer-verifiable software guarantees. Search on Bibsonomy DSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Volodymyr Kuznetsov, Vitaly Chipounov, George Candea Testing Closed-Source Binary Device Drivers with DDT. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2010 DBLP  BibTeX  RDF
1Cristian Zamfir, George Candea Low-Overhead Bug Fingerprinting for Fast Debugging. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vitaly Chipounov, George Candea Reverse engineering of binary device drivers with RevNIC. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF closed-source, proprietary software, reverse engineering, device drivers, binary
1Cristian Zamfir, George Candea Execution synthesis: a technique for automated software debugging. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF symbolic execution, automated debugging
1George Candea, Stefan Bucur, Cristian Zamfir Automated software testing as a service. Search on Bibsonomy SoCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea Cloud9: a software testing service. Search on Bibsonomy Operating Systems Review The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1George Candea, Neoklis Polyzotis, Radek Vingralek A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paul Dan Marinescu, George Candea LFI: A practical and general library-level fault injector. Search on Bibsonomy DSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emmanuel Cecchet, George Candea Drivolution: rethinking the database driver lifecycle. Search on Bibsonomy Middleware (Companion) The full citation details ... 2009 DBLP  BibTeX  RDF
1Lorenzo Keller, Prasang Upadhyaya, George Candea ConfErr: A tool for assessing resilience to human configuration errors. Search on Bibsonomy DSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Emmanuel Cecchet, George Candea, Anastasia Ailamaki Middleware-based database replication: the gaps between theory and practice. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF practice and experience, middleware, database replication
1Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. Search on Bibsonomy OSDI The full citation details ... 2008 DBLP  BibTeX  RDF
1Horatiu Jula, George Candea A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. Search on Bibsonomy RV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yohann Coppel, George Candea Deprogramming Large Software Systems. Search on Bibsonomy HotDep The full citation details ... 2008 DBLP  BibTeX  RDF
1Vitaly Chipounov, George Candea Reverse-Engineering Drivers for Safety and Portability. Search on Bibsonomy HotDep The full citation details ... 2008 DBLP  BibTeX  RDF
1George Candea Toward Quantifying System Manageability. Search on Bibsonomy HotDep The full citation details ... 2008 DBLP  BibTeX  RDF
1Emmanuel Cecchet, George Candea, Anastassia Ailamaki Middleware-based Database Replication: The Gaps between Theory and Practice Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Brian Cook, Shivnath Babu, George Candea, Songyun Duan Toward Self-Healing Multitier Services. Search on Bibsonomy ICDE Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1George Candea, Emre Kiciman, Shinichi Kawamoto, Armando Fox Autonomous recovery in componentized Internet applications. Search on Bibsonomy Cluster Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1George Candea, Ken Birman (eds.) Proceedings of the Second Workshop on Hot Topics in System Dependability, HotDep 2006, Seattle, WA, USA, November 8, 2006 Search on Bibsonomy HotDep The full citation details ... 2006 DBLP  BibTeX  RDF
1George Candea, David L. Oppenheimer Workshop on Hot Topics in System Depend - Workshop Abstract. Search on Bibsonomy DSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Peter 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. Search on Bibsonomy ICAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1George Candea, James W. Cutler, Armando Fox Improving availability with recursive microreboots: a soft-state system case study. Search on Bibsonomy Perform. Eval. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox A Microrebootable System -- Design, Implementation, and Evaluation Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1George Candea Predictable Software - A Shortcut to Dependable Computing? Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1George Candea, Armando Fox End-User Effects of Microreboots in Three-Tiered Internet Systems Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1George Candea, Aaron B. Brown, Armando Fox, David A. Patterson Recovery-Oriented Computing: Building Multitier Dependability. Search on Bibsonomy IEEE Computer The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox Microreboot - A Technique for Cheap Recovery. Search on Bibsonomy OSDI The full citation details ... 2004 DBLP  BibTeX  RDF
1James Norris, Keith Coleman, Armando Fox, George Candea OnCall: Defeating Spikes with a Free-Market Application Cluste. Search on Bibsonomy ICAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1George Candea, Armando Fox Crash-Only Software. Search on Bibsonomy HotOS The full citation details ... 2003 DBLP  BibTeX  RDF
1George Candea, Emre Kiciman, Steve Zhang, Pedram Keyani, Armando Fox JAGR: An Autonomous Self-Recovering Application Server. Search on Bibsonomy Active Middleware Services The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda Reducing Recovery Time in a Small Recursively Restartable System. Search on Bibsonomy DSN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1George Candea, Armando Fox A utility-centered approach to building dependable infrastructure services. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1George Candea, Armando Fox Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. Search on Bibsonomy HotOS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #79 of 79 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license