Sotabase

Career

· Principal Applied Scientist, Amazon2022–
· Researcher, Arm2018–2022
· Assistant Professor, Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Diderot -- Paris 72015–2018
· Visiting Assistant Professor, Purdue University2012–2015
· Postdoctoral Researcher, DePaul University2011–
· PhD Student, INRIA Sophia Antipolis2010–
· Intern, INRIA Sophia Antipolis2006–2007
· Degree in Computer Science, Famaf, University of Córdoba, Argentina2005–

Publications (39)

Relaxed memory models: an operational approach
ACM-SIGACT Symposium on Principles of Programming Languages · 2009
95
cited
Confidential Computing—a brave new world
Seed · 2021
38
cited
Automatically learning shape specifications
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
36
cited
The Java Memory Model: a Formal Explanation
2007
32
cited
Poling: SMT Aided Linearizability Proofs
International Conference on Computer Aided Verification · 2015
28
cited
Proving the Safety of Highly-Available Distributed Objects
European Symposium on Programming · 2020
25
cited
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations
Micro · 2021
23
cited
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Proc. ACM Program. Lang. · 2023
21
cited
Consistency in 3D
International Conference on Concurrency Theory · 2016
21
cited
A Theory of Speculative Computation
European Symposium on Programming · 2010
19
cited
Replication-aware linearizability
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
19
cited
Relaxed Operational Semantics of Concurrent Programming Languages
Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics · 2012
15
cited
Atomicity Refinement for Verified Compilation
ACM Transactions on Programming Languages and Systems · 2014
14
cited
Brookes Is Relaxed, Almost!
Foundations of Software Science and Computation Structure · 2012
14
cited
Cooking the Books: Formalizing JMM Implementation Recipes
European Conference on Object-Oriented Programming · 2015
14
cited
BicolanoMT: a Formalization of Multi-Threaded Java at Bytecode Level 1
2008
12
cited
PLASMA: programmable elasticity for stateful cloud computing applications
European Conference on Computer Systems · 2020
11
cited
A programmable buffer management platform
IEEE International Conference on Network Protocols · 2017
9
cited
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract)
European Symposium on Programming · 2013
9
cited
Programming Scalable Cloud Services with AEON
International Middleware Conference · 2016
8
cited
Sotabase
Gustavo Petri | Researcher Profile | Sotabase | Sotabase