Patrick Maxim Rondon

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Logic Synthesis

Formal Language

Top Venues

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala
Abstract Refinement Types. ESOP (2013)
Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala
CSolve: Verifying C with Liquid Types. CAV (2012)
Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala
Deterministic parallelism via liquid effects. PLDI (2012)
Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala
Nested refinements: a logic for duck typing. POPL (2012)
Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala
System D: Dependent Dynamic Dictionaries CoRR (2011)
Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala
Dsolve: Safety Verification via Liquid Types. CAV (2010)
Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala
Low-level liquid types. POPL (2010)
Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala
Type-based data structure verification. PLDI (2009)
Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala
Liquid types. PLDI (2008)