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 (ISCA, 2007)

Hardbound: architectural support for spatial safety of the C programming language. - Joe Devietti; Colin Blundell; Milo M. K. Martin; Steve Zdancewic (ASPLOS, 2008)

Atom-Aid: Detecting and Surviving Atomicity Violations. - Brandon Lucia; Joseph Devietti; Luis Ceze; Karin Strauss (IEEE Micro, 2009)

CoreDet: a compiler and runtime system for deterministic multithreaded execution. - Tom Bergan; Owen Anderson; Joseph Devietti; Luis Ceze; Dan Grossman (ASPLOS, 2010)

DMP: Deterministic Shared-Memory Multiprocessing. - Joseph Devietti; Brandon Lucia; Luis Ceze; Mark Oskin (IEEE Micro, 2010)

RCDC: a relaxed consistency deterministic computer. - Joseph Devietti; Jacob Nelson 001; Tom Bergan; Luis Ceze; Dan Grossman (ASPLOS, 2011)

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 (ISCA, 2012)

Deterministic Execution for Arbitrary Multithreaded Programs. - Joseph Devietti (2012)

GPUDet: a deterministic GPU architecture. - Hadi Jooybar; Wilson W. L. Fung; Mike O'Connor; Joseph Devietti; Tor M. Aamodt (ASPLOS, 2013)

High-performance determinism with total store order consistency. - Timothy Merrifield; Joseph Devietti; Jakob Eriksson (EuroSys, 2015)

Hardware Optimizations for Anytime Perception and Control. - Nischal K. N.; Paritosh Kelkar; Dhruva Kumar; Yash Vardhan Pant; Houssam Abbas; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

Co-design of Anytime Computation and Robust Control. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

LASER: Light, Accurate Sharing dEtection and Repair. - Liang Luo; Akshitha Sriraman; Brooke Fugate; Shiliang Hu; Gilles Pokam; Chris J. Newburn; Joseph Devietti (HPCA, 2016)

Remix: online detection and repair of cache contention for the JVM. - Ariel Eizenberg; Shiliang Hu; Gilles Pokam; Joseph Devietti (PLDI, 2016)

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. - Rajeev Alur; Joseph Devietti; Omar S. Navarro Leija; Nimit Singhania (CAV (1), 2017)

Verifying dynamic race detection. - William Mansky; Yuanfeng Peng; Steve Zdancewic; Joseph Devietti (CPP, 2017)

TMI: thread memory isolation for false sharing repair. - Christian DeLozier; Ariel Eizenberg; Shiliang Hu; Gilles Pokam; Joseph Devietti (MICRO, 2017)

PARSNIP: performant architecture for race safety with no impact on precision. - Yuanfeng Peng; Benjamin P. Wood; Joseph Devietti (MICRO, 2017)

BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. - Ariel Eizenberg; Yuanfeng Peng; Toma Pigli; William Mansky; Joseph Devietti (PLDI, 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)

SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably. - Christian DeLozier; Ariel Eizenberg; Brandon Lucia; Joseph Devietti (ASPLOS, 2018)

SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection. - Yuanfeng Peng; Christian DeLozier; Ariel Eizenberg; William Mansky; Joseph Devietti (IPDPS, 2018)

CURD: a dynamic CUDA race detector. - Yuanfeng Peng; Vinod Grover; Joseph Devietti (PLDI, 2018)

Block-Size Independence for GPU Programs. - Rajeev Alur; Joseph Devietti; Nimit Singhania (SAS, 2018)

Race Detection and Reachability in Nearly Series-Parallel DAGs. - Kunal Agrawal 001; Joseph Devietti; Jeremy T. Fineman; I-Ting Angelina Lee; Robert Utterback; Changming Xu (SODA, 2018)

Lazy Determinism for Faster Deterministic Multithreading. - Timothy Merrifield; Sepideh Roghanchi; Joseph Devietti; Jakob Eriksson (ASPLOS, 2019)

Hurdle: Securing Jump Instructions Against Code Reuse Attacks. - Christian DeLozier; Kavya Lakshminarayanan; Gilles Pokam; Joseph Devietti (ASPLOS, 2020)

Reproducible Containers. - Omar S. Navarro Leija; Kelly Shiptoski; Ryan G. Scott; Baojun Wang; Nicholas Renner; Ryan R. Newton; Joseph Devietti (ASPLOS, 2020)

Deterministic Atomic Buffering. - Yuan-Hsi Chou; Christopher Ng; Shaylin Cattell; Jeremy Intan; Matthew D. Sinclair; Joseph Devietti; Timothy G. Rogers; Tor M. Aamodt (MICRO, 2020)

I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing. - Tanvir Ahmed Khan; Akshitha Sriraman; Joseph Devietti; Gilles Pokam; Heiner Litz; Baris Kasikci (MICRO, 2020)

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 (ISCA, 2021)

Twig: Profile-Guided BTB Prefetching for Data Center Applications. - Tanvir Ahmed Khan; Nathan Brown; Akshitha Sriraman; Niranjan K. Soundararajan; Rakesh Kumar 003; Joseph Devietti; Sreenivas Subramoney; Gilles A. Pokam; Heiner Litz; Baris Kasikci (MICRO, 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)

OCOLOS: Online COde Layout OptimizationS. - Yuxuan Zhang; Tanvir Ahmed Khan; Gilles Pokam; Baris Kasikci; Heiner Litz; Joseph Devietti (MICRO, 2022)

Static detection of uncoalesced accesses in GPU programs. - Rajeev Alur; Joseph Devietti; Omar S. Navarro Leija; Nimit Singhania (Formal Methods Syst. Des., 2022)

Online Code Layout Optimizations via OCOLOS. - Yuxuan Zhang; Tanvir Ahmed Khan; Gilles Pokam; Baris Kasikci; Heiner Litz; Joseph Devietti (IEEE Micro, 2023)

RPG2: 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 (ASPLOS (2), 2024)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming. - Paul Biberstein; Ziyang Li; Joseph Devietti; Mayur Naik (CoRR, 2025)