default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorge Candea
Person information
- affiliation: Swiss Federal Institute of Technology in Lausanne, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c71]Lei Yan
, Yueyang Pan, Diyu Zhou, George Candea, Sanidhya Kashyap:
Transparent Multicore Scaling of Single-Threaded Network Functions. EuroSys 2024: 1142-1159- [c70]Rishabh R. Iyer, Katerina J. Argyraki, George Candea:
Automatically Reasoning About How Systems Code Uses the CPU Cache. OSDI 2024: 581-598 - [c69]Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea:
Performance Interfaces for Hardware Accelerators. OSDI 2024: 855-874 - [c68]Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel:
Practical Verification of System-Software Components Written in Standard C. SOSP 2024: 455-472 - [i7]Beatriz Borges, Negar Foroutan, Deniz Bayazit, Anna Sotnikova, Syrielle Montariol, Tanya Nazaretzky, Mohammadreza Banaei, Alireza Sakhaeirad, Philippe Servant, Seyed Parsa Neshaei, Jibril Frej, Angelika Romanou, Gail Weiss, Sepideh Mamooler, Zeming Chen, Simin Fan, Silin Gao, Mete Ismayilzada, Debjit Paul, Alexandre Schöpfer, Andrej Janchevski, Anja Tiede, Clarence Linden, Emanuele Troiani, Francesco Salvi, Freya Behrens, Giacomo Orsi, Giovanni Piccioli, Hadrien Sevel, Louis Coulon, Manuela Pineros-Rodriguez, Marin Bonnassies, Pierre Hellich, Puck van Gerwen, Sankalp Gambhir, Solal Pirelli, Thomas Blanchard, Timothée Callens, Toni Abi Aoun, Yannick Calvino Alonso, Yuri Cho, Alberto Silvio Chiappa, Antonio Sclocchi, Étienne Bruno, Florian Hofhammer, Gabriel Pescia, Geovani Rizk, Leello Dadi, Lucas Stoffl, Manoel Horta Ribeiro, Matthieu Bovel, Yueyang Pan, Aleksandra Radenovic, Alexandre Alahi, Alexander Mathis, Anne-Florence Bitbol, Boi Faltings, Cécile Hébert, Devis Tuia, François Maréchal, George Candea, Giuseppe Carleo, Jean-Cédric Chappelier, Nicolas Flammarion, Jean-Marie Fürbringer, Jean-Philippe Pellet, Karl Aberer, Lenka Zdeborová, Marcel Salathé, Martin Jaggi, Martin Rajman, Mathias Payer, Matthieu Wyart, Michael Gastpar, Michele Ceriotti, Ola Svensson, Olivier Lévêque, Paolo Ienne, Rachid Guerraoui, Robert West, Sanidhya Kashyap, Valerio Piazza, Viesturs Simanis, Viktor Kuncak, Volkan Cevher, Philippe Schwaller, Sacha Friedli, Patrick Jermann, Tanja Käser, Antoine Bosselut:
Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants. CoRR abs/2408.11841 (2024) - 2023
- [c67]Rishabh R. Iyer, Jiacheng Ma, Katerina J. Argyraki, George Candea, Sylvia Ratnasamy:
The Case for Performance Interfaces for Hardware Accelerators. HotOS 2023: 38-45 - [c66]Solal Pirelli, George Candea:
Safe Low-Level Code Without Overhead is Practical. ICSE 2023: 2173-2184 - [c65]Rishabh R. Iyer, Musa Unal, Marios Kogias, George Candea:
Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling. SOSP 2023: 466-481 - [i6]Lei Yan, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap, George Candea:
Productive Development of Scalable Network Functions with NFork. CoRR abs/2309.01494 (2023) - 2022
- [c64]Rishabh R. Iyer, Katerina J. Argyraki, George Candea:
Performance Interfaces for Network Functions. NSDI 2022: 567-584 - [c63]Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea:
Automated Verification of Network Function Binaries. NSDI 2022: 585-600 - 2020
- [c62]Solal Pirelli, George Candea:
A Simpler and Faster NIC Driver Model for Network Functions. OSDI 2020: 225-241
2010 – 2019
- 2019
- [c61]Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea:
Performance Contracts for Software Network Functions. NSDI 2019: 517-530 - [c60]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: 275-290 - [p2]George Candea, Patrice Godefroid:
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances. Computing and Software Science 2019: 505-531 - [e3]George Candea, Robbert van Renesse, Christof Fetzer:
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019. ACM 2019, ISBN 978-1-4503-6281-8 [contents] - [i5]Amer Chamseddine, George Candea:
Making Smartphone Application Permissions Meaningful for the Average User. CoRR abs/1906.10873 (2019) - 2018
- [j12]Solal Pirelli, Arseniy Zaostrovnykh, George Candea:
A formally verified NAT stack. Comput. Commun. Rev. 48(5): 77-83 (2018) - [j11]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): 507-519 (2018) - [c59]Solal Pirelli, Arseniy Zaostrovnykh, George Candea:
A Formally Verified NAT Stack. KBNets@SIGCOMM 2018: 8-14 - [p1]Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song:
Code-pointer integrity. The Continuing Arms Race 2018: 81-116 - 2017
- [c58]Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea:
A Formally Verified NAT. SIGCOMM 2017: 141-154 - 2015
- [j10]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): 8:1-8:44 (2015) - [c57]Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea:
Failure Sketches: A Better Way to Debug. HotOS 2015 - [c56]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: 344-360 - [c55]Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder:
High System-Code Security with Low Overhead. IEEE Symposium on Security and Privacy 2015: 866-879 - [e2]George Candea:
15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015. USENIX Association 2015 [contents] - 2014
- [j9]George Candea:
The Tests-versus-Proofs Conundrum. IEEE Secur. Priv. 12(1): 65-68 (2014) - [c54]Radu Banabic, George Candea, Rachid Guerraoui:
Finding trojan message vulnerabilities in distributed systems. ASPLOS 2014: 113-126 - [c53]Stefan Bucur, Johannes Kinder, George Candea:
Prototyping symbolic execution engines for interpreted languages. ASPLOS 2014: 239-254 - [c52]Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song:
Code-Pointer Integrity. OSDI 2014: 147-163 - [c51]Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea:
Efficient State Merging in Symbolic Execution. Software Engineering 2014: 45-46 - [c50]Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi:
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX ATC 2014: 243-254 - 2013
- [c49]Stefan Bucur, Johannes Kinder, George Candea:
Making automated testing of cloud applications an integral component of PaaS. APSys 2013: 18:1-18:7 - [c48]George Candea:
Message from the DCCS program chair. DSN 2013: 1 - [c47]Edouard Bugnion, Vitaly Chipounov, George Candea:
Lightweight Snapshots and System-level Backtracking. HotOS 2013 - [c46]Jonas Wagner, Volodymyr Kuznetsov, George Candea:
-OVERIFY: Optimizing Programs for Fast Verification. HotOS 2013 - [c45]Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea:
Automated Debugging for Arbitrarily Long Executions. HotOS 2013 - [c44]Silviu Andrica, George Candea:
Mitigating Anonymity Challenges in Automated Testing and Debugging Systems. ICAC 2013: 259-264 - [c43]Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea:
Reconstructing Core Dumps. ICST 2013: 114-123 - [c42]Baris Kasikci, Cristian Zamfir, George Candea:
RaceMob: crowdsourced data race detection. SOSP 2013: 406-422 - 2012
- [j8]Vitaly Chipounov, Volodymyr Kuznetsov, George Candea:
The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst. 30(1): 2:1-2:49 (2012) - [c41]Baris Kasikci, Cristian Zamfir, George Candea:
Data races vs. data race bugs: telling the difference with portend. ASPLOS 2012: 185-198 - [c40]João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar:
Scalable testing of file system checkers. EuroSys 2012: 239-252 - [c39]Radu Banabic, George Candea:
Fast black-box testing of system recovery code. EuroSys 2012: 281-294 - [c38]Baris Kasikci, Cristian Zamfir, George Candea:
CORD: A Collaborative Framework for Distributed Data Race Detection. HotDep 2012 - [c37]Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea:
Efficient state merging in symbolic execution. PLDI 2012: 193-204 - 2011
- [j7]Paul Dan Marinescu, George Candea:
Efficient Testing of Recovery Code Using Fault Injection. ACM Trans. Comput. Syst. 29(4): 11:1-11:38 (2011) - [j6]George Candea, Neoklis Polyzotis, Radek Vingralek:
Predictable performance and high query concurrency for data analytics. VLDB J. 20(2): 227-248 (2011) - [c36]Vitaly Chipounov, Volodymyr Kuznetsov, George Candea:
S2E: a platform for in-vivo multi-path analysis of software systems. ASPLOS 2011: 265-278 - [c35]Horatiu Jula, Pinar Tözün, George Candea:
Communix: A framework for collaborative deadlock immunity. DSN 2011: 181-188 - [c34]Radu Banabic, George Candea, Rachid Guerraoui:
Automated vulnerability discovery in distributed systems. DSN Workshops 2011: 188-193 - [c33]George Candea:
Exterminating bugs via collective information recycling. DSN Workshops 2011: 200-204 - [c32]Horatiu Jula, Thomas Rensch, George Candea:
Platform-wide deadlock immunity for mobile phones. DSN Workshops 2011: 205-210 - [c31]Vitaly Chipounov, George Candea:
Enabling sophisticated analyses of ×86 binaries with RevGen. DSN Workshops 2011: 211-216 - [c30]Silviu Andrica, George Candea:
WaRR: A tool for high-fidelity web application record and replay. DSN 2011: 403-410 - [c29]Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea:
Parallel symbolic execution for automated real-world software testing. EuroSys 2011: 183-198 - [c28]Cristian Zamfir, Gautam Altekar, George Candea:
Debug Determinism: The Sweet Spot for Replay-Based Debugging. HotOS 2011 - [c27]Horatiu Jula, Silviu Andrica, George Candea:
Efficiency Optimizations for Implementations of Deadlock Immunity. RV 2011: 78-93 - 2010
- [c26]George Candea, Stefan Bucur, Cristian Zamfir:
Automated software testing as a service. SoCC 2010: 155-160 - [c25]Silviu Andrica, Horatiu Jula, George Candea:
iProve: A scalable technique for consumer-verifiable software guarantees. DSN 2010: 271-280 - [c24]Eric Bisolfati, Paul Dan Marinescu, George Candea:
Studying application-library interaction and behavior with LibTrac. DSN 2010: 563-568 - [c23]Vitaly Chipounov, George Candea:
Reverse engineering of binary device drivers with RevNIC. EuroSys 2010: 167-180 - [c22]Cristian Zamfir, George Candea:
Execution synthesis: a technique for automated software debugging. EuroSys 2010: 321-334 - [c21]Cristian Zamfir, George Candea:
Low-Overhead Bug Fingerprinting for Fast Debugging. RV 2010: 460-468 - [c20]Volodymyr Kuznetsov, Vitaly Chipounov, George Candea:
Testing Closed-Source Binary Device Drivers with DDT. USENIX ATC 2010
2000 – 2009
- 2009
- [j5]George Candea, Neoklis Polyzotis, Radek Vingralek:
A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses. Proc. VLDB Endow. 2(1): 277-288 (2009) - [j4]Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea:
Cloud9: a software testing service. ACM SIGOPS Oper. Syst. Rev. 43(4): 5-10 (2009) - [c19]Paul Dan Marinescu, George Candea:
LFI: A practical and general library-level fault injector. DSN 2009: 379-388 - [c18]Emmanuel Cecchet, George Candea:
Drivolution: rethinking the database driver lifecycle. Middleware (Companion) 2009: 25 - 2008
- [c17]Lorenzo Keller, Prasang Upadhyaya, George Candea:
ConfErr: A tool for assessing resilience to human configuration errors. DSN 2008: 157-166 - [c16]George Candea:
Toward Quantifying System Manageability. HotDep 2008 - [c15]Vitaly Chipounov, George Candea:
Reverse-Engineering Drivers for Safety and Portability. HotDep 2008 - [c14]Yohann Coppel, George Candea:
Deprogramming Large Software Systems. HotDep 2008 - [c13]Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea:
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. OSDI 2008: 295-308 - [c12]Horatiu Jula, George Candea:
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. RV 2008: 119-136 - [c11]Emmanuel Cecchet, George Candea, Anastasia Ailamaki:
Middleware-based database replication: the gaps between theory and practice. SIGMOD Conference 2008: 739-752 - 2007
- [c10]Brian Cook, Shivnath Babu, George Candea, Songyun Duan:
Toward Self-Healing Multitier Services. ICDE Workshops 2007: 424-432 - [i4]Emmanuel Cecchet, George Candea, Anastassia Ailamaki:
Middleware-based Database Replication: The Gaps between Theory and Practice. CoRR abs/0712.2773 (2007) - 2006
- [j3]George Candea, Emre Kiciman, Shinichi Kawamoto, Armando Fox:
Autonomous recovery in componentized Internet applications. Clust. Comput. 9(2): 175-190 (2006) - [e1]George Candea, Ken Birman:
Proceedings of the Second Workshop on Hot Topics in System Dependability, HotDep 2006, Seattle, WA, USA, November 8, 2006. USENIX Association 2006 [contents] - 2005
- [b1]George Candea:
Crash-only software and microreboot : a design and technique for achieving high availability in frequently-failing software systems. Stanford University, USA, 2005 - [c9]George Candea, David L. Oppenheimer:
Workshop on Hot Topics in System Depend - Workshop Abstract. DSN 2005: 826-827 - [c8]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: 89-100 - 2004
- [j2]George Candea, Aaron B. Brown, Armando Fox, David A. Patterson:
Recovery-Oriented Computing: Building Multitier Dependability. Computer 37(11): 60-67 (2004) - [j1]George Candea, James W. Cutler, Armando Fox:
Improving availability with recursive microreboots: a soft-state system case study. Perform. Evaluation 56(1-4): 213-248 (2004) - [c7]James Norris, Keith Coleman, Armando Fox, George Candea:
OnCall: Defeating Spikes with a Free-Market Application Cluste. ICAC 2004: 198-205 - [c6]George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox:
Microreboot - A Technique for Cheap Recovery. OSDI 2004: 31-44 - [i3]George Candea, Armando Fox:
End-User Effects of Microreboots in Three-Tiered Internet Systems. CoRR cs.OS/0403007 (2004) - [i2]George Candea:
Predictable Software - A Shortcut to Dependable Computing? CoRR cs.OS/0403013 (2004) - [i1]George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox:
A Microrebootable System - Design, Implementation, and Evaluation. CoRR cs.OS/0406005 (2004) - 2003
- [c5]George Candea, Armando Fox:
Crash-Only Software. HotOS 2003: 67-72 - [c4]George Candea, Emre Kiciman, Steve Zhang, Pedram Keyani, Armando Fox:
JAGR: An Autonomous Self-Recovering Application Server. Active Middleware Services 2003: 168-178 - 2002
- [c3]George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda:
Reducing Recovery Time in a Small Recursively Restartable System. DSN 2002: 605-614 - [c2]George Candea, Armando Fox:
A utility-centered approach to building dependable infrastructure services. ACM SIGOPS European Workshop 2002: 213-218 - 2001
- [c1]George Candea, Armando Fox:
Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. HotOS 2001: 125-130
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
