BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Candea:George

Contributed to:

SOSP 20152015
ASPLOS 20142014
OSDI 20142014
ICST 20132013
SOSP 20132013
ASPLOS 20122012
PLDI 20122012
ASPLOS 20112011
VLDB 20092009
OSDI 20082008
SIGMOD 20082008
OSDI 20042004

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.