BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Switzerland
1 × United Kingdom
7 × USA
Collaborated with:
G.Pokam S.Narayanasamy H.Patil G.Lueck R.K.Gupta J.Yu B.Calder R.Jejurikar M.Gligoric L.Zhang B.Kasikci B.Schubert G.Candea M.Stallcup J.Cownie Y.Wang R.Gupta I.Neamtiu N.Honarmand N.Dautenhahn J.Torrellas S.T.King H.V.Antwerpen N.D.Dutt S.Mohapatra N.Venkatasubramanian R.v.Vignau C.Hsiao P.M.Chen Z.Kong J.Flinn
Talks about:
replay (4) dynam (3) debug (3) determinist (2) parallel (2) program (2) system (2) record (2) failur (2) driven (2)

Person: Cristiano Pereira

DBLP DBLP: Pereira:Cristiano

Contributed to:

SOSP 20152015
CGO 20142014
PLDI 20142014
ASPLOS 20132013
ISSTA 20132013
CGO 20122012
OOPSLA 20122012
CGO 20102010
ASPLOS 20062006
DAC 20042004
DATE v2 20042004

Wrote 11 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.
CGO-2014-WangPPLGN #debugging #named #slicing
DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.
PLDI-2014-HsiaoPYPNCKF #concurrent #detection #mobile
Race detection for event-driven mobile applications (CHH, CP, JY, GP, SN, PMC, ZK, JF), p. 35.
ASPLOS-2013-HonarmandDTKPP #named #parallel
Cyrus: unintrusive application-level record-replay for replay parallelism (NH, ND, JT, STK, GP, CP), pp. 193–206.
ISSTA-2013-GligoricZPP #concurrent #mutation testing #testing
Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
CGO-2012-LueckPP #debugging #interface #named
PinADX: an interface for customizable debugging with dynamic instrumentation (GL, HP, CP), pp. 114–123.
OOPSLA-2012-YuNPP #named #parallel #source code #testing #thread
Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
CGO-2010-PatilPSLC #analysis #framework #named #parallel #source code
PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs (HP, CP, MS, GL, JC), pp. 2–11.
ASPLOS-2006-NarayanasamyPC #dependence #memory management #using
Recording shared memory dependencies using strata (SN, CP, BC), pp. 229–240.
DAC-2004-JejurikarPG #embedded #realtime #scalability
Leakage aware dynamic voltage scaling for real-time embedded systems (RJ, CP, RKG), pp. 275–280.
DATE-v2-2004-AntwerpenDGMPVV #design #energy #multi
Energy-Aware System Design for Wireless Multimedia (HVA, NDD, RKG, SM, CP, NV, RvV), pp. 1124–1131.

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.