Gustavo Petri

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Decidability of liveness for concurrent objects on the TSO memory model Dependable Software Engineering. Theories, Tools, and Applications	2023-08-10	Paper
Proving the safety of highly-available distributed objects Programming Languages and Systems	2022-10-13	Paper
Relaxed operational semantics of concurrent programming languages	2021-04-27	Paper
Relaxed operational semantics of concurrent programming languages (available as arXiv preprint)	2021-04-27	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology Journal of Automated Reasoning	2019-08-21	Paper
\textsc{Poling}: SMT aided linearizability proofs	2018-03-01	Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology	2018-01-04	Paper
Studying Operational Models of Relaxed Concurrency Trustworthy Global Computing	2016-11-09	Paper
Relaxed memory models Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
Quarantining weakness. Compositional reasoning under relaxed memory models (extended abstract) Programming Languages and Systems	2013-08-05	Paper
Brookes is relaxed, almost! Foundations of Software Science and Computational Structures	2012-06-22	Paper
A theory of speculative computation Programming Languages and Systems	2010-05-04	Paper

Research outcomes over time

This page was built for person: Gustavo Petri