Travelled to:
1 × Canada
1 × China
1 × Luxembourg
1 × United Kingdom
7 × USA
Collaborated with:
C.Zamfir B.Kasikci V.Kuznetsov S.Bucur J.Kinder R.Banabic R.Guerraoui V.Chipounov N.Polyzotis R.Vingralek E.Cecchet A.Ailamaki H.Jula D.M.Tralamazza B.Schubert C.Pereira G.Pokam J.Rößler A.Zeller G.Fraser S.Kawamoto Y.Fujiki G.Friedman A.Fox L.Szekeres M.Payer R.Sekar D.Song
Talks about:
race (4) data (4) system (3) techniqu (2) deadlock (2) symbol (2) failur (2) execut (2) reconstruct (1) microreboot (1)
Person: George Candea
DBLP: Candea:George
Contributed to:
Wrote 13 papers:
- SOSP-2015-KasikciSPPC #automation #sketching
- Failure sketching: a technique for automated root cause diagnosis of in-production failures (BK, BS, CP, GP, GC), pp. 344–360.
- ASPLOS-2014-BanabicCG #distributed
- Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.
- ASPLOS-2014-BucurKC #execution #prototype #symbolic computation
- Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
- OSDI-2014-KuznetsovSPCSS
- Code-Pointer Integrity (VK, LS, MP, GC, RS, DS), pp. 147–163.
- ICST-2013-RosslerZFZC
- Reconstructing Core Dumps (JR, AZ, GF, CZ, GC), pp. 114–123.
- SOSP-2013-KasikciZC #concurrent #crowdsourcing #detection #named
- RaceMob: crowdsourced data race detection (BK, CZ, GC), pp. 406–422.
- ASPLOS-2012-KasikciZC #debugging #difference
- Data races vs. data race bugs: telling the difference with portend (BK, CZ, GC), pp. 185–198.
- PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation
- Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
- ASPLOS-2011-ChipounovKC #analysis #framework #multi #named #platform
- S2E: a platform for in-vivo multi-path analysis of software systems (VC, VK, GC), pp. 265–278.
- VLDB-2009-CandeaPV #concurrent #predict #scalability
- A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses (GC, NP, RV), pp. 277–288.
- OSDI-2008-JulaTZC #concurrent
- Deadlock Immunity: Enabling Systems to Defend Against Deadlocks (HJ, DMT, CZ, GC), pp. 295–308.
- SIGMOD-2008-CecchetCA #database #middleware #replication #theory and practice
- Middleware-based database replication: the gaps between theory and practice (EC, GC, AA), pp. 739–752.
- OSDI-2004-CandeaKFFF #named
- Microreboot — A Technique for Cheap Recovery (GC, SK, YF, GF, AF), pp. 31–44.