Joseph Devietti
Joseph Devietti
Assistant Professor of Computer & Information Science, University of Pennsylvania
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
ACM SIGARCH Computer Architecture News 36 (3), 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 Ra Detection in Software and Hardware
J Devietti, BP Wood, K Strauss, L Ceze, D Grossman, S Qadeer
ACM SIGARCH Computer Architecture News 40 (3), 201-212, 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
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
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
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
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
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
CURD: a dynamic CUDA race detector
Y Peng, V Grover, J Devietti
ACM SIGPLAN Notices 53 (4), 390-403, 2018
DMP: Deterministic shared-memory multiprocessing
J Devietti, B Lucia, L Ceze, M Oskin
IEEE micro 30 (1), 40-49, 2010
Ripple: Profile-guided instruction cache replacement for data center applications
TA Khan, D Zhang, A Sriraman, J Devietti, G Pokam, H Litz, B Kasikci
2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture …, 2021
A case for system support for concurrency exceptions
L Ceze, J Devietti, B Lucia, S Qadeer
USENIX HotPar 17, 2009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20