Joseph Devietti
Joseph Devietti
Assistant Professor of Computer & Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
TitleCited byYear
DMP: deterministic shared memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
ACM SIGARCH Computer Architecture News 37 (1), 85-96, 2009
3432009
CoreDet: a compiler and runtime system for deterministic multithreaded execution
T Bergan, O Anderson, J Devietti, L Ceze, D Grossman
ACM SIGARCH Computer Architecture News 38 (1), 53-64, 2010
3192010
Hardbound: architectural support for spatial safety of the C programming language
J Devietti, C Blundell, MMK Martin, S Zdancewic
ACM SIGARCH Computer Architecture News 36 (1), 103-114, 2008
1712008
Making the fast case common and the uncommon case simple in unbounded transactional memory
C Blundell, J Devietti, EC Lewis, MMK Martin
ACM SIGARCH Computer Architecture News 35 (2), 24-34, 2007
1682007
Atom-aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, K Strauss, L Ceze
ACM SIGARCH Computer Architecture News 36 (3), 277-288, 2008
1352008
RCDC: a relaxed consistency deterministic computer
J Devietti, J Nelson, T Bergan, L Ceze, D Grossman
ACM SIGARCH Computer Architecture News 39 (1), 67-78, 2011
972011
Critical path deterministic execution of multithreaded applications in a transactional memory system
L Ceze, MH Oskin, JL Devietti, BM Lucia
US Patent 8,739,163, 2014
782014
RADISH: always-on sound and complete Ra D etection in S oftware and H ardware
J Devietti, BP Wood, K Strauss, L Ceze, D Grossman, S Qadeer
ACM SIGARCH Computer Architecture News 40 (3), 201-212, 2012
592012
The deterministic execution hammer: How well does it actually pound nails
T Bergan, J Devietti, N Hunt, L Ceze
The 2nd Workshop on Determinism and Correctness in Parallel Programming …, 2011
492011
FeS2: A full-system execution-driven simulator for x86
N Neelakantam, C Blundell, J Devietti, MMK Martin, C Zilles
Poster presented at ASPLOS 2008, 6, 2008
422008
A case for system support for concurrency exceptions
L Ceze, J Devietti, B Lucia, S Qadeer
USENIX HotPar 17, 2009
292009
DMP: Deterministic shared-memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
IEEE micro 30 (1), 40-49, 2010
252010
GPUDet: a deterministic GPU architecture
H Jooybar, WWL Fung, M O'Connor, J Devietti, TM Aamodt
ACM SIGARCH Computer Architecture News 41 (1), 1-12, 2013
232013
Co-design of anytime computation and robust control
YV Pant, H Abbas, K Mohta, TX Nghiem, J Devietti, R Mangharam
2015 IEEE Real-Time Systems Symposium, 43-52, 2015
212015
Atom-Aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, L Ceze, K Strauss
IEEE micro 29 (1), 73-83, 2009
192009
Laser: Light, accurate sharing detection and repair
L Luo, A Sriraman, B Fugate, S Hu, G Pokam, CJ Newburn, J Devietti
2016 IEEE International Symposium on High Performance Computer Architecture …, 2016
172016
Remix: online detection and repair of cache contention for the JVM
A Eizenberg, S Hu, G Pokam, J Devietti
ACM SIGPLAN Notices 51 (6), 251-265, 2016
162016
High-performance determinism with total store order consistency
T Merrifield, J Devietti, J Eriksson
Proceedings of the Tenth European Conference on Computer Systems, 31, 2015
112015
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
A Eizenberg, Y Peng, T Pigli, W Mansky, J Devietti
ACM SIGPLAN Notices 52 (6), 126-140, 2017
102017
Verifying dynamic race detection
W Mansky, Y Peng, S Zdancewic, J Devietti
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20