Contact Information
Gustavo Federico Petri INRIA Sophia Antipolis - Méditerranée 2004, Route des Lucioles 06902 Sophia Antipolis, France Gustavo.Petri_AT_sophia.inria.fr Phone: +33 (0) 4 92 38 79 48
Some Stuff
Short Bio
Currently I am pursuing a Ph.D. (expected for 2010) under the supervision of Gérard Boudol, at the INDES team. During 2006 and 2007 I enjoyed working with Marieke Huisman at the Everest team. I obtained my degree on C.S. at Famaf, University of Córdoba, Argentina in August 2005.
Research Interests
My current research topic is memory models and semantics of shared memory parallel systems. I also like verification and formal methods in general.
Publications
- A Theory of Speculative Computation, with Gérard Boudol accepted at ESOP'10.
- BicolanoMT: a formalization of multi-threaded Java at bytecode level, with Marieke Huisman at Bytecode'08.
- The Java memory model: a formal explanation, with Marieke Huisman in Verification and Analysis of Multi-threaded Java-like Programs (VAMP'07).