Joseph Devietti
Orcid: 0000-0002-9330-7233
According to our database1,
Joseph Devietti
authored at least 37 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
1
1
1
1
1
1
2
4
1
5
5
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
2023
2022
Formal Methods Syst. Des., February, 2022
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
2021
IEEE Trans. Control. Syst. Technol., 2021
Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021
Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021
2020
Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020
Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020
2019
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
2018
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
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.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018
SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018
2017
Proc. ACM Program. Lang., 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017
Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016
2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the Tenth European Conference on Computer Systems, 2015
2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
2012
Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012
2011
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011
2010
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010
2009
2008
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.
Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007