Short Bio

Since February 2012 I am a postdoctoral fellow at Purdue University in the C.S. department. During 2011 I was a postdoc at DePaul University at Chicago working with Radha Jagadeesan, James Riely and Corin Pitcher. I obtained my Ph.D. under the supervision of Gérard Boudol in 2010 at the INDES team at INRIA Sophia Antipolis, France. 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 2005.

Research Interests

My current research topics are memory models, semantics of shared memory parallel systems, verified compilers, and the verification of concurrent and distributed algorithms. I generally like verification and formal methods and Distributed Systems.

Publications

• Quarantining Weakness: Compositional Reasoning Under Relaxed Memory Models, with with Radha Jagadeesan, James Riely and Corin Pitcher at ESOP'13.

• Relaxed Semantics of Concurrent Programming Languages (long version), with Gérard Boudol and Bernard Serpette at Express/SOS'12.
  • The associated simulator.

• Brookes is Relaxed, Almost!, with Radha Jagadeesan and James Riely at FoSSaCS'12.

• Operational Semantics for Relaxed Memory Models (Thesis) 2010.

• A Theory of Speculative Computation, with Gérard Boudol at ESOP'10.

• Relaxed memory models: an operational approach, with Gérard Boudol at POPL'09.

• BicolanoMT: a formalization of multi-threaded Java at bytecode level, with Marieke Huisman at Bytecode'08.
  • The formalization.

• The Java memory model: a formal explanation, with Marieke Huisman in Verification and Analysis of Multi-threaded Java-like Programs (VAMP'07).
  • The formalization.

• Studying Operational Models of Relaxed Concurrency Concurrency Draft.

^ back to top -

layout design by tristar web design