![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Joseph Devietti
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c32]Yuxuan Zhang
, Nathan Sobotka
, Soyoon Park
, Saba Jamilan
, Tanvir Ahmed Khan
, Baris Kasikci
, Gilles A. Pokam
, Heiner Litz
, Joseph Devietti
:
RPG2: Robust Profile-Guided Runtime Prefetch Generation. ASPLOS (2) 2024: 999-1013 - 2023
- [j6]Yuxuan Zhang
, Tanvir Ahmed Khan
, Gilles Pokam
, Baris Kasikci
, Heiner Litz
, Joseph Devietti
:
Online Code Layout Optimizations via OCOLOS. IEEE Micro 43(4): 71-79 (2023) - 2022
- [j5]Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
:
Static detection of uncoalesced accesses in GPU programs. Formal Methods Syst. Des. 60(1): 1-32 (2022) - [c31]Yuxuan Zhang, Tanvir Ahmed Khan
, Gilles Pokam, Baris Kasikci
, Heiner Litz, Joseph Devietti:
OCOLOS: Online COde Layout OptimizationS. MICRO 2022: 530-545 - 2021
- [j4]Yash Vardhan Pant
, Houssam Abbas
, Kartik Mohta
, Rhudii A. Quaye, Truong X. Nghiem
, Joseph Devietti
, Rahul Mangharam:
Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. 29(2): 768-779 (2021) - [c30]Tanvir Ahmed Khan
, Dexin Zhang, Akshitha Sriraman, Joseph Devietti
, Gilles Pokam, Heiner Litz, Baris Kasikci
:
Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications. ISCA 2021: 734-747 - [c29]Tanvir Ahmed Khan
, Nathan Brown, Akshitha Sriraman, Niranjan K. Soundararajan, Rakesh Kumar, Joseph Devietti
, Sreenivas Subramoney, Gilles A. Pokam, Heiner Litz, Baris Kasikci
:
Twig: Profile-Guided BTB Prefetching for Data Center Applications. MICRO 2021: 816-829 - 2020
- [c28]Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti:
Reproducible Containers. ASPLOS 2020: 167-182 - [c27]Christian DeLozier
, Kavya Lakshminarayanan, Gilles Pokam, Joseph Devietti:
Hurdle: Securing Jump Instructions Against Code Reuse Attacks. ASPLOS 2020: 653-666 - [c26]Tanvir Ahmed Khan
, Akshitha Sriraman, Joseph Devietti
, Gilles Pokam, Heiner Litz, Baris Kasikci
:
I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing. MICRO 2020: 146-159 - [c25]Yuan-Hsi Chou
, Christopher Ng, Shaylin Cattell, Jeremy Intan, Matthew D. Sinclair, Joseph Devietti, Timothy G. Rogers
, Tor M. Aamodt:
Deterministic Atomic Buffering. MICRO 2020: 981-995
2010 – 2019
- 2019
- [c24]Timothy Merrifield, Sepideh Roghanchi, Joseph Devietti, Jakob Eriksson:
Lazy Determinism for Faster Deterministic Multithreading. ASPLOS 2019: 879-891 - 2018
- [c23]Christian DeLozier
, Ariel Eizenberg, Brandon Lucia, Joseph Devietti:
SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably. ASPLOS 2018: 286-300 - [c22]Yuanfeng Peng, Christian DeLozier
, Ariel Eizenberg, William Mansky, Joseph Devietti:
SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection. IPDPS 2018: 835-844 - [c21]Yuanfeng Peng, Vinod Grover, Joseph Devietti:
CURD: a dynamic CUDA race detector. PLDI 2018: 390-403 - [c20]Rajeev Alur, Joseph Devietti, Nimit Singhania:
Block-Size Independence for GPU Programs. SAS 2018: 107-126 - [c19]Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, Changming Xu:
Race Detection and Reachability in Nearly Series-Parallel DAGs. SODA 2018: 156-171 - 2017
- [j3]Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton:
Monadic composition for deterministic, parallel batch processing. Proc. ACM Program. Lang. 1(OOPSLA): 73:1-73:26 (2017) - [c18]Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania:
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. CAV (1) 2017: 507-525 - [c17]William Mansky, Yuanfeng Peng, Steve Zdancewic, Joseph Devietti:
Verifying dynamic race detection. CPP 2017: 151-163 - [c16]Yuanfeng Peng, Benjamin P. Wood, Joseph Devietti:
PARSNIP: performant architecture for race safety with no impact on precision. MICRO 2017: 490-502 - [c15]Christian DeLozier
, Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti
:
TMI: thread memory isolation for false sharing repair. MICRO 2017: 639-650 - [c14]Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti:
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. PLDI 2017: 126-140 - 2016
- [c13]Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Gilles Pokam, Chris J. Newburn, Joseph Devietti:
LASER: Light, Accurate Sharing dEtection and Repair. HPCA 2016: 261-273 - [c12]Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti:
Remix: online detection and repair of cache contention for the JVM. PLDI 2016: 251-265 - 2015
- [c11]Timothy Merrifield, Joseph Devietti, Jakob Eriksson:
High-performance determinism with total store order consistency. EuroSys 2015: 31:1-31:13 - [c10]Yash Vardhan Pant, Houssam Abbas, Kartik Mohta
, Truong X. Nghiem
, Joseph Devietti, Rahul Mangharam:
Co-design of Anytime Computation and Robust Control. RTSS 2015: 43-52 - [c9]Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam:
Hardware Optimizations for Anytime Perception and Control. RTSS 2015: 380 - 2013
- [c8]Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor
, Joseph Devietti, Tor M. Aamodt:
GPUDet: a deterministic GPU architecture. ASPLOS 2013: 1-12 - 2012
- [b1]Joseph Devietti:
Deterministic Execution for Arbitrary Multithreaded Programs. University of Washington, USA, 2012 - [c7]Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer:
RADISH: Always-on sound and complete race detection in software and hardware. ISCA 2012: 201-212 - 2011
- [c6]Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman:
RCDC: a relaxed consistency deterministic computer. ASPLOS 2011: 67-78 - 2010
- [j2]Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin:
DMP: Deterministic Shared-Memory Multiprocessing. IEEE Micro 30(1): 40-49 (2010) - [c5]Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman:
CoreDet: a compiler and runtime system for deterministic multithreaded execution. ASPLOS 2010: 53-64
2000 – 2009
- 2009
- [j1]Brandon Lucia, Joseph Devietti, Luis Ceze, Karin Strauss:
Atom-Aid: Detecting and Surviving Atomicity Violations. IEEE Micro 29(1): 73-83 (2009) - [c4]Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin:
DMP: deterministic shared memory multiprocessing. ASPLOS 2009: 85-96 - 2008
- [c3]Joe Devietti
, Colin Blundell, Milo M. K. Martin, Steve Zdancewic:
Hardbound: architectural support for spatial safety of the C programming language. ASPLOS 2008: 103-114 - [c2]Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze:
Atom-Aid: Detecting and Surviving Atomicity Violations. ISCA 2008: 277-288 - 2007
- [c1]Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin:
Making the fast case common and the uncommon case simple in unbounded transactional memory. ISCA 2007: 24-34
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint