Joseph Devietti
Joseph Devietti
Assistant Professor of Computer & Information Science, University of Pennsylvania
Verified email at - Homepage
Cited by
Cited by
DMP: Deterministic shared memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
Proceedings of the 14th international conference on Architectural support …, 2009
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
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
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
Atom-aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, K Strauss, L Ceze
2008 International Symposium on Computer Architecture, 277-288, 2008
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
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
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
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
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
GPUDet: a deterministic GPU architecture
H Jooybar, WWL Fung, M O'Connor, J Devietti, TM Aamodt
Proceedings of the eighteenth international conference on Architectural …, 2013
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
DMP: Deterministic shared-memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
IEEE micro 30 (1), 40-49, 2010
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
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
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
A case for system support for concurrency exceptions
L Ceze, J Devietti, B Lucia, S Qadeer
USENIX HotPar 17, 2009
CURD: a dynamic CUDA race detector
Y Peng, V Grover, J Devietti
ACM SIGPLAN Notices 53 (4), 390-403, 2018
Atom-Aid: Detecting and surviving atomicity violations
B Lucia, J Devietti, L Ceze, K Strauss
IEEE micro 29 (1), 73-83, 2009
I-spy: Context-driven conditional instruction prefetching with coalescing
TA Khan, A Sriraman, J Devietti, G Pokam, H Litz, B Kasikci
2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20