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: Pereira:Cristiano
Contributed to:
2015
2014
2014
2013
20132012
201220102006
2004
2004Wrote 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.