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
3752009
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
3602010
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
2222008
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
1892007
Atom-aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, K Strauss, L Ceze
2008 International Symposium on Computer Architecture, 277-288, 2008
1432008
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
1122011
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
792014
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
672012
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
522011
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
472008
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
312015
DMP: Deterministic shared-memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
IEEE micro 30 (1), 40-49, 2010
312010
GPUDet: a deterministic GPU architecture
H Jooybar, WWL Fung, M O'Connor, J Devietti, TM Aamodt
ACM SIGPLAN Notices 48 (4), 1-12, 2013
292013
A case for system support for concurrency exceptions
L Ceze, J Devietti, B Lucia, S Qadeer
USENIX HotPar 17, 2009
292009
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
282016
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
262016
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
242017
Atom-Aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, L Ceze, K Strauss
IEEE micro 29 (1), 73-83, 2009
212009
Curd: A dynamic cuda race detector
Y Peng, V Grover, J Devietti
ACM SIGPLAN Notices 53 (4), 390-403, 2018
162018
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
162015
The system can't perform the operation now. Try again later.
Articles 1–20