Gustavo Petri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
15
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MICRO | RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. | Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel |
| 2024 | SETTA | Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. | Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu |
| 2022 | SETTA | Decidability of Liveness for Concurrent Objects on the TSO Memory Model. | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu |
| 2021 | MICRO | Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. | Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel |
| 2020 | ESOP | Proving the Safety of Highly-Available Distributed Objects. | Sreeja S. Nair, Gustavo Petri, Marc Shapiro |
| 2020 | EuroSys | PLASMA: programmable elasticity for stateful cloud computing applications. | Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, Gustavo Petri |
| 2019 | EuroSys | Invariant Safety for Distributed Applications. | Sreeja S. Nair, Gustavo Petri, Marc Shapiro |
| 2019 | PLDI | Replication-aware linearizability. | Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri |
| 2018 | EuroSys | Ensuring referential integrity under causal consistency. | Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri |
| 2017 | ICNP | A programmable buffer management platform. | Kirill Kogan, Danushka Menikkumbura, Gustavo Petri, Yangtae Noh, Sergey I. Nikolenko, Alexander Sirotkin, Patrick Eugster |
| 2017 | INFOCOM | Composing middlebox and traffic engineering policies in SDNs. | Yiyang Chang, Gustavo Petri, Sanjay G. Rao, Tiark Rompf |
| 2017 | ITP | Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. | Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek |
| 2017 | SOSP | Programmable Elasticity for Actor-based Cloud Applications. | Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster |
| 2016 | CONCUR | Consistency in 3D. | Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri |
| 2016 | Middleware | Programming Scalable Cloud Services with AEON. | Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, Patrick Eugster |
| 2016 | PLDI | Automatically learning shape specifications. | He Zhu, Gustavo Petri, Suresh Jagannathan |
| 2015 | CAV | Poling: SMT Aided Linearizability Proofs. | He Zhu, Gustavo Petri, Suresh Jagannathan |
| 2015 | ECOOP | Cooking the Books: Formalizing JMM Implementation Recipes. | Gustavo Petri, Jan Vitek, Suresh Jagannathan |
| 2014 | PLDI | Atomicity refinement for verified compilation. | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
| 2013 | ESOP | Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). | Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely |
| 2012 | FOSSACS | Brookes Is Relaxed, Almost! | Radha Jagadeesan, Gustavo Petri, James Riely |
| 2010 | ESOP | A Theory of Speculative Computation. | Grard Boudol, Gustavo Petri |
| 2009 | POPL | Relaxed memory models: an operational approach. | Grard Boudol, Gustavo Petri |