Joseph Devietti

According to our database, Joseph Devietti authored at least 37 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

RPG²: Robust Profile-Guided Runtime Prefetch Generation.

Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles A. Pokam, Heiner Litz, Joseph Devietti

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Online Code Layout Optimizations via OCOLOS.

Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti

IEEE Micro, 2023

2022

Static detection of uncoalesced accesses in GPU programs.

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania

Formal Methods Syst. Des., February, 2022

OCOLOS: Online COde Layout OptimizationS.

Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021

Anytime Computation and Control for Autonomous Systems.

Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam

IEEE Trans. Control. Syst. Technol., 2021

Twig: Profile-Guided BTB Prefetching for Data Center Applications.

Tanvir Ahmed Khan, Nathan Brown, Akshitha Sriraman, Niranjan K. Soundararajan, Rakesh Kumar, Joseph Devietti, Sreenivas Subramoney, Gilles A. Pokam, Heiner Litz, Baris Kasikci

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications.

Tanvir Ahmed Khan, Dexin Zhang, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

2020

I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing.

Tanvir Ahmed Khan, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

Deterministic Atomic Buffering.

Yuan-Hsi Chou, Christopher Ng, Shaylin Cattell, Jeremy Intan, Matthew D. Sinclair, Joseph Devietti, Timothy G. Rogers, Tor M. Aamodt

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

Reproducible Containers.

Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

Hurdle: Securing Jump Instructions Against Code Reuse Attacks.

Christian DeLozier, Kavya Lakshminarayanan, Gilles Pokam, Joseph Devietti

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Lazy Determinism for Faster Deterministic Multithreading.

Timothy Merrifield, Sepideh Roghanchi, Joseph Devietti, Jakob Eriksson

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Race Detection and Reachability in Nearly Series-Parallel DAGs.

Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, Changming Xu

Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018

Block-Size Independence for GPU Programs.

Rajeev Alur, Joseph Devietti, Nimit Singhania

Proceedings of the Static Analysis - 25th International Symposium, 2018

CURD: a dynamic CUDA race detector.

Yuanfeng Peng, Vinod Grover, Joseph Devietti

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection.

Yuanfeng Peng, Christian DeLozier, Ariel Eizenberg, William Mansky, Joseph Devietti

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably.

Christian DeLozier, Ariel Eizenberg, Brandon Lucia, Joseph Devietti

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Monadic composition for deterministic, parallel batch processing.

Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton

Proc. ACM Program. Lang., 2017

BARRACUDA: binary-level analysis of runtime RAces in CUDA programs.

Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

PARSNIP: performant architecture for race safety with no impact on precision.

Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti

Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017

TMI: thread memory isolation for false sharing repair.

Christian DeLozier, Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti

Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017

Verifying dynamic race detection.

William Mansky, Yuanfeng Peng, Steve Zdancewic, Joseph Devietti

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs.

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Remix: online detection and repair of cache contention for the JVM.

Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

LASER: Light, Accurate Sharing dEtection and Repair.

Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Gilles Pokam, Chris J. Newburn, Joseph Devietti

Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

2015

Co-design of Anytime Computation and Robust Control.

Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Hardware Optimizations for Anytime Perception and Control.

Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

High-performance determinism with total store order consistency.

Timothy Merrifield, Joseph Devietti, Jakob Eriksson

Proceedings of the Tenth European Conference on Computer Systems, 2015

2013

GPUDet: a deterministic GPU architecture.

Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti, Tor M. Aamodt

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Deterministic Execution for Arbitrary Multithreaded Programs.

Joseph Devietti

PhD thesis, 2012

RADISH: Always-on sound and complete race detection in software and hardware.

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

2011

RCDC: a relaxed consistency deterministic computer.

Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

DMP: Deterministic Shared-Memory Multiprocessing.

Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin

IEEE Micro, 2010

CoreDet: a compiler and runtime system for deterministic multithreaded execution.

Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

Atom-Aid: Detecting and Surviving Atomicity Violations.

Brandon Lucia, Joseph Devietti, Luis Ceze, Karin Strauss

IEEE Micro, 2009

2008

Hardbound: architectural support for spatial safety of the C programming language.

Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

Making the fast case common and the uncommon case simple in unbounded transactional memory.

Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007