Travelled to:4 × USA
Collaborated with:Ariel Eizenberg L.Ceze O.S.N.Leija Yuanfeng Peng B.Lucia G.Pokam C.DeLozier T.Bergan D.Grossman R.G.Scott R.R.Newton V.Grover M.Oskin R.Alur N.Singhania S.Hu Timothy Merrifield Sepideh Roghanchi J.Eriksson Kavya Lakshminarayanan H.Jooybar W.W.L.Fung M.O'Connor T.M.Aamodt J.Nelson O.Anderson Toma Pigli W.Mansky Kelly Shiptoski Baojun Wang Nicholas Renner
Talks about:determinist (6) gpu (4) multithread (2) program (2) runtim (2) detect (2) cuda (2) det (2) multiprocess (1) architectur (1)
Person: Joseph Devietti
DBLP: Devietti:Joseph
Contributed to:
2013201120102009
2017
2017
201620172018201820192020Wrote 13 papers:
- ASPLOS-2013-JooybarFODA #architecture #gpu #named
- GPUDet: a deterministic GPU architecture (HJ, WWLF, MO, JD, TMA), pp. 1–12.
- ASPLOS-2011-DeviettiNBCG #consistency #named
- RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
- ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime #thread
- CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
- ASPLOS-2009-DeviettiLCO #memory management #multi #named
- DMP: deterministic shared memory multiprocessing (JD, BL, LC, MO), pp. 85–96.
- CAV-2017-AlurDLS #detection #gpu #named #source code
- GPUDrano: Detecting Uncoalesced Accesses in GPU Programs (RA, JD, OSNL, NS), pp. 507–525.
- OOPSLA-2017-ScottLDN #composition #monad #parallel
- Monadic composition for deterministic, parallel batch processing (RGS, OSNL, JD, RRN), p. 26.
- PLDI-2016-EizenbergHPD #detection #named #online #virtual machine
- Remix: online detection and repair of cache contention for the JVM (AE, SH, GP, JD), pp. 251–265.
- PLDI-2017-EizenbergPPMD #analysis #named #runtime #source code
- BARRACUDA: binary-level analysis of runtime RAces in CUDA programs (AE, YP, TP, WM, JD), pp. 126–140.
- PLDI-2018-PengGD #detection #named
- CURD: a dynamic CUDA race detector (YP, VG, JD), pp. 390–403.
- ASPLOS-2018-DeLozierELD #concurrent #named #thread
- SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably (CD, AE, BL, JD), pp. 286–300.
- ASPLOS-2019-MerrifieldRDE #lazy evaluation #multi #performance #thread
- Lazy Determinism for Faster Deterministic Multithreading (TM, SR, JD, JE), pp. 879–891.
- ASPLOS-2020-DeLozierLPD #named #reuse
- Hurdle: Securing Jump Instructions Against Code Reuse Attacks (CD, KL, GP, JD), pp. 653–666.
- ASPLOS-2020-LeijaSSWRND
- Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.