George Candea - RankMe

98 papers A* 20A 27B 3C 1Misc 3Journal 19Unranked 21

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