Nombre de documents

4

CV de Gustavo Petri


Communication dans un congrès2 documents

  • Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri. Consistency in 3D. LIPICS. Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. Int. Conf. on Concurrency Theory (CONCUR) 2016, CONCUR 2016, pp.15, 2016, Int. Conf. on Concurrency Theory (CONCUR) 2016. <http://www.concur2016.ulaval.ca/>. <hal-01350668>
  • Gérard Boudol, Gustavo Petri. Relaxed memory models: an operational approach. POPL'09, Jan 2009, Savannah, GA,, United States. 2009. <inria-00420352>

Rapport1 document

  • Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri. Consistency in 3D. [Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016. <hal-01343592>

Article dans une revue1 document

  • Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek. Atomicity Refinement for Verified Compilation. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, pp.30. <hal-01102435>