Joseph Devietti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
12
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming. | Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik |
| 2026 | SP | NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE. | Mingkai Li, Hang Ye, Joseph Devietti, Suman Jana, Tanvir Ahmed Khan |
| 2024 | ASPLOS | RPG | Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles A. Pokam, Heiner Litz, Joseph Devietti |
| 2022 | MICRO | OCOLOS: Online COde Layout OptimizationS. | Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti |
| 2021 | ISCA | 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 |
| 2021 | MICRO | 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 |
| 2020 | ASPLOS | Hurdle: Securing Jump Instructions Against Code Reuse Attacks. | Christian DeLozier, Kavya Lakshminarayanan, Gilles Pokam, Joseph Devietti |
| 2020 | ASPLOS | Reproducible Containers. | Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti |
| 2020 | MICRO | Deterministic Atomic Buffering. | Yuan-Hsi Chou, Christopher Ng, Shaylin Cattell, Jeremy Intan, Matthew D. Sinclair, Joseph Devietti, Timothy G. Rogers, Tor M. Aamodt |
| 2020 | MICRO | I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing. | Tanvir Ahmed Khan, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci |
| 2019 | ASPLOS | Lazy Determinism for Faster Deterministic Multithreading. | Timothy Merrifield, Sepideh Roghanchi, Joseph Devietti, Jakob Eriksson |
| 2018 | ASPLOS | SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably. | Christian DeLozier, Ariel Eizenberg, Brandon Lucia, Joseph Devietti |
| 2018 | PLDI | CURD: a dynamic CUDA race detector. | Yuanfeng Peng, Vinod Grover, Joseph Devietti |
| 2018 | SODA | Race Detection and Reachability in Nearly Series-Parallel DAGs. | Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, Changming Xu |
| 2018 | SAS | Block-Size Independence for GPU Programs. | Rajeev Alur, Joseph Devietti, Nimit Singhania |
| 2017 | CAV | GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. | Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania |
| 2017 | CPP | Verifying dynamic race detection. | William Mansky, Yuanfeng Peng, Steve Zdancewic, Joseph Devietti |
| 2017 | MICRO | TMI: thread memory isolation for false sharing repair. | Christian DeLozier, Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti |
| 2017 | MICRO | PARSNIP: performant architecture for race safety with no impact on precision. | Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti |
| 2017 | PLDI | BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. | Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti |
| 2016 | HPCA | LASER: Light, Accurate Sharing dEtection and Repair. | Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Gilles Pokam, Chris J. Newburn, Joseph Devietti |
| 2016 | PLDI | Remix: online detection and repair of cache contention for the JVM. | Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti |
| 2015 | EuroSys | High-performance determinism with total store order consistency. | Timothy Merrifield, Joseph Devietti, Jakob Eriksson |
| 2015 | RTSS | Hardware Optimizations for Anytime Perception and Control. | Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam |
| 2015 | RTSS | Co-design of Anytime Computation and Robust Control. | Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam |
| 2013 | ASPLOS | GPUDet: a deterministic GPU architecture. | Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti, Tor M. Aamodt |
| 2012 | ISCA | 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 |
| 2011 | ASPLOS | RCDC: a relaxed consistency deterministic computer. | Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman |
| 2010 | ASPLOS | CoreDet: a compiler and runtime system for deterministic multithreaded execution. | Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman |
| 2009 | ASPLOS | DMP: deterministic shared memory multiprocessing. | Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin |
| 2008 | ISCA | Atom-Aid: Detecting and Surviving Atomicity Violations. | Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze |