Joseph Devietti

41 papers A* 22A 4B 2Journal 9Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing. CoRR Mingkai Li, Joseph Devietti, Suman Jana, Tanvir Ahmed Khan
2026	—	`conf`	Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming. ASPLOS (1) Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2025	J	`jnl`	Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming. CoRR Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2025	J	`jnl`	NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE. CoRR Mingkai Li, Hang Ye, Joseph Devietti, Suman Jana, Tanvir Ahmed Khan
2024	—	`conf`	RPG ASPLOS (2) Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles A. Pokam, Heiner Litz, Joseph Devietti
2023	J	`jnl`	Online Code Layout Optimizations via OCOLOS. IEEE Micro Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti
2022	A*	`conf`	OCOLOS: Online COde Layout OptimizationS. MICRO Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti
2022	J	`jnl`	Static detection of uncoalesced accesses in GPU programs. Formal Methods Syst. Des. Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
2021	J	`jnl`	Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2021	A*	`conf`	Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications. ISCA Tanvir Ahmed Khan, Dexin Zhang, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci
2021	A*	`conf`	Twig: Profile-Guided BTB Prefetching for Data Center Applications. MICRO Tanvir Ahmed Khan, Nathan Brown, Akshitha Sriraman, Niranjan K. Soundararajan, Rakesh Kumar, Joseph Devietti, Sreenivas Subramoney, Gilles A. Pokam, Heiner Litz, Baris Kasikci
2020	A*	`conf`	Deterministic Atomic Buffering. MICRO Yuan-Hsi Chou, Christopher Ng, Shaylin Cattell, Jeremy Intan, Matthew D. Sinclair, Joseph Devietti, Timothy G. Rogers, Tor M. Aamodt
2020	A*	`conf`	Hurdle: Securing Jump Instructions Against Code Reuse Attacks. ASPLOS Christian DeLozier, Kavya Lakshminarayanan, Gilles Pokam, Joseph Devietti
2020	A*	`conf`	I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing. MICRO Tanvir Ahmed Khan, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci
2020	A*	`conf`	Reproducible Containers. ASPLOS Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
2019	A*	`conf`	Lazy Determinism for Faster Deterministic Multithreading. ASPLOS Timothy Merrifield, Sepideh Roghanchi, Joseph Devietti, Jakob Eriksson
2018	B	`conf`	Block-Size Independence for GPU Programs. SAS Rajeev Alur, Joseph Devietti, Nimit Singhania
2018	A*	`conf`	CURD: a dynamic CUDA race detector. PLDI Yuanfeng Peng, Vinod Grover, Joseph Devietti
2018	A*	`conf`	Race Detection and Reachability in Nearly Series-Parallel DAGs. SODA Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, Changming Xu
2018	A	`conf`	SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection. IPDPS Yuanfeng Peng, Christian DeLozier, Ariel Eizenberg, William Mansky, Joseph Devietti
2018	A*	`conf`	SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably. ASPLOS Christian DeLozier, Ariel Eizenberg, Brandon Lucia, Joseph Devietti
2017	A*	`conf`	BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. PLDI Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti
2017	—	`conf`	GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. CAV (1) Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
2017	J	`jnl`	Monadic composition for deterministic, parallel batch processing. Proc. ACM Program. Lang. Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton
2017	A*	`conf`	PARSNIP: performant architecture for race safety with no impact on precision. MICRO Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti
2017	A*	`conf`	TMI: thread memory isolation for false sharing repair. MICRO Christian DeLozier, Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti
2017	B	`conf`	Verifying dynamic race detection. CPP William Mansky, Yuanfeng Peng, Steve Zdancewic, Joseph Devietti
2016	A*	`conf`	LASER: Light, Accurate Sharing dEtection and Repair. HPCA Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Gilles Pokam, Chris J. Newburn, Joseph Devietti
2016	A*	`conf`	Remix: online detection and repair of cache contention for the JVM. PLDI Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti
2015	A	`conf`	Co-design of Anytime Computation and Robust Control. RTSS Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2015	A	`conf`	Hardware Optimizations for Anytime Perception and Control. RTSS Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam
2015	A	`conf`	High-performance determinism with total store order consistency. EuroSys Timothy Merrifield, Joseph Devietti, Jakob Eriksson
2013	A*	`conf`	GPUDet: a deterministic GPU architecture. ASPLOS Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti, Tor M. Aamodt
2012	—	`—`	Deterministic Execution for Arbitrary Multithreaded Programs. Joseph Devietti
2012	A*	`conf`	RADISH: Always-on sound and complete race detection in software and hardware. ISCA Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
2011	A*	`conf`	RCDC: a relaxed consistency deterministic computer. ASPLOS Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
2010	A*	`conf`	CoreDet: a compiler and runtime system for deterministic multithreaded execution. ASPLOS Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman
2010	J	`jnl`	DMP: Deterministic Shared-Memory Multiprocessing. IEEE Micro Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
2009	J	`jnl`	Atom-Aid: Detecting and Surviving Atomicity Violations. IEEE Micro Brandon Lucia, Joseph Devietti, Luis Ceze, Karin Strauss
2009	A*	`conf`	DMP: deterministic shared memory multiprocessing. ASPLOS Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
2008	A*	`conf`	Atom-Aid: Detecting and Surviving Atomicity Violations. ISCA Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze