Joseph Devietti
Joseph Devietti
Assistant Professor of Computer & Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
Title
Cited by
Cited by
Year
DMP: deterministic shared memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
Proceedings of the 14th international conference on Architectural support …, 2009
3552009
CoreDet: a compiler and runtime system for deterministic multithreaded execution
T Bergan, O Anderson, J Devietti, L Ceze, D Grossman
Proceedings of the fifteenth International Conference on Architectural …, 2010
3372010
Hardbound: architectural support for spatial safety of the C programming language
J Devietti, C Blundell, MMK Martin, S Zdancewic
ACM SIGOPS Operating Systems Review 42 (2), 103-114, 2008
1982008
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
1762007
Atom-aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, K Strauss, L Ceze
2008 International Symposium on Computer Architecture, 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
1032011
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
762014
RADISH: Always-on sound and complete race detection in software and hardware
J Devietti, BP Wood, K Strauss, L Ceze, D Grossman, S Qadeer
2012 39th Annual International Symposium on Computer Architecture (ISCA …, 2012
622012
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
482011
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
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
292015
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
282010
GPUDet: a deterministic GPU architecture
H Jooybar, WWL Fung, M O'Connor, J Devietti, TM Aamodt
ACM SIGPLAN Notices 48 (4), 1-12, 2013
232013
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
212016
Atom-Aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, L Ceze, K Strauss
IEEE micro 29 (1), 73-83, 2009
202009
Remix: online detection and repair of cache contention for the JVM
A Eizenberg, S Hu, G Pokam, J Devietti
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
182016
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs
A Eizenberg, Y Peng, T Pigli, W Mansky, J Devietti
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
172017
Verifying dynamic race detection
W Mansky, Y Peng, S Zdancewic, J Devietti
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
132017
High-performance determinism with total store order consistency
T Merrifield, J Devietti, J Eriksson
Proceedings of the Tenth European Conference on Computer Systems, 1-13, 2015
122015
The system can't perform the operation now. Try again later.
Articles 1–20