Gustavo Petri

Available identifiers

zbMath Open petri.gustavoMaRDI QIDQ1687773

List of research outcomes

Publication	Date of Publication	Type
Decidability of liveness for concurrent objects on the TSO memory model	2023-08-10	Paper
Proving the safety of highly-available distributed objects	2022-10-13	Paper
Relaxed operational semantics of concurrent programming languages	2021-04-27	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology	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	2016-11-09	Paper
Relaxed memory models	2015-07-03	Paper
Quarantining weakness. Compositional reasoning under relaxed memory models (extended abstract)	2013-08-05	Paper
Brookes is relaxed, almost!	2012-06-22	Paper
A theory of speculative computation	2010-05-04	Paper

Research outcomes over time

This page was built for person: Gustavo Petri