George Candea

Cited by

	All	Since 2019
Citations	9900	3168
h-index	49	32
i10-index	82	51

700

350

175

525

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 136 144 221 201 273 275 266 311 425 419 569 573 669 681 662 659 580 680 537 478 525 368

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Armando FoxUC BerkeleyVerified email at berkeley.edu
Cristian ZamfirCyberhavenVerified email at cyberhaven.io
Vitaly ChipounovCyberhavenVerified email at chipounov.fr
Volodymyr KuznetsovCyberhavenVerified email at cyberhaven.io
Stefan BucurGoogle Inc.Verified email at google.com
Baris KasikciUniversity of WashingtonVerified email at cs.washington.edu
James CutlerUniversity of MichiganVerified email at umich.edu
Johannes KinderProfessor of Computer Science, LMU MunichVerified email at lmu.de
David PattersonProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Emre KıcımanSenior Principal Research Manager, Microsoft ResearchVerified email at microsoft.com
Mike Y. Chen - 陳彥仰Professor of Computer Science, National Taiwan UniversityVerified email at csie.ntu.edu.tw
Solal PirelliSonarVerified email at sonarsource.com
Katerina ArgyrakiAssociate Professor at the School of Computer and Communication Sciences, EPFL, SwitzerlandVerified email at epfl.ch
Mathias PayerEPFL IC, HexHive LaboratoryVerified email at nebelwelt.net
Rishabh IyerPhD student, Computer Science, EPFLVerified email at epfl.ch
Paul MarinescuFacebookVerified email at fb.com
Naveen SastryVerified email at ksastry.com
László SzekeresResearch Scientist, GoogleVerified email at google.com
Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
R. SekarProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu

George Candea

Associate Professor of Computer Science, EPFL (Lausanne, Switzerland)

Verified email at epfl.ch - Homepage

Computer Systems Reliability Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
S2E: A platform for in-vivo multi-path analysis of software systems V Chipounov, V Kuznetsov, G Candea ASPLOS (International Conference on Architectural Support for Programming …, 2011	992	2011
Code-pointer integrity V Kuznetsov, L Szekeres, M Payer, G Candea, R Sekar, D Song OSDI (USENIX Symposium on Operating Systems Design and Implementation), 147-163, 2014	687*	2014
Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies D Patterson, A Brown, P Broadwell, G Candea, M Chen, J Cutler, ... U.C. Berkeley Technical Report, 2002	657	2002
Microreboot: A technique for cheap recovery G Candea, S Kawamoto, Y Fujiki, G Friedman, A Fox OSDI (Symposium on Operating Systems Design and Implementation), 3-3, 2004	638	2004
Efficient state merging in symbolic execution V Kuznetsov, J Kinder, S Bucur, G Candea PLDI (Conference on Programming Language Design and Implementation), 2012	374	2012
Parallel symbolic execution for automated real-world software testing S Bucur, V Ureche, C Zamfir, G Candea EuroSys (ACM European Conference on Computer Systems), 183-198, 2011	325	2011
Execution synthesis: A technique for automated software debugging C Zamfir, G Candea EuroSys (ACM European Conference on Computer Systems), 321-334, 2010	309	2010
Cloud9: A software testing service L Ciortea, C Zamfir, S Bucur, V Chipounov, G Candea ACM SIGOPS Operating Systems Review 43 (4), 5-10, 2010	295	2010
The S2E platform: Design, implementation, and applications V Chipounov, V Kuznetsov, G Candea TOCS (ACM Transactions on Computer Systems) 30 (1), 2012	285	2012
Crash-only software G Candea, A Fox HotOS (Workshop on Hot Topics in Operating Systems), 12-12, 2003	225	2003
Recursive restartability: Turning the reboot sledgehammer into a scalpel G Candea, A Fox HotOS (Workshop on Hot Topics in Operating Systems), 125-130, 2001	224	2001
Deadlock immunity: Enabling systems to defend against deadlocks H Jula, D Tralamazza, C Zamfir, G Candea OSDI (Symposium on Operating Systems Design and Implementation), 295-308, 2008	219	2008
Automated software testing as a service G Candea, S Bucur, C Zamfir SOCC (ACM Symposium on Cloud Computing), 155-160, 2010	213	2010
Middleware-based database replication: The gaps between theory and practice E Cecchet, G Candea, A Ailamaki SIGMOD International Conference on Management of Data, 739-752, 2008	184	2008
Selective symbolic execution V Chipounov, V Georgescu, C Zamfir, G Candea HotDep (Workshop on Hot Topics in Dependable Systems), 2009	157	2009
Data races vs. data race bugs: Telling the difference with Portend B Kasikci, C Zamfir, G Candea ASPLOS (International Conference on Architectural Support for Programming …, 2012	150	2012
Testing closed-source binary device drivers with DDT V Kuznetsov, V Chipounov, G Candea USENIX Annual Technical Conference, 12-12, 2010	147	2010
Combining visualization and statistical analysis to improve operator confidence and efficiency for failure detection and localization P Bodik, G Friedman, L Biewald, H Levine, G Candea, K Patel, G Tolle, ... ICAC (International Conference on Autonomic Computing), 89-100, 2005	138	2005
Improving availability with recursive microreboots: A soft-state system case study G Candea, J Cutler, A Fox Performance Evaluation Journal 56 (1), 213-248, 2004	136	2004
JAGR: An autonomous self-recovering application server G Candea, E Kiciman, S Zhang, P Keyani, A Fox International Workshop on Active Middleware Services, 168-177, 2003	136	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors