Liquid types. - Patrick Maxim Rondon; Ming Kawaguchi; Ranjit Jhala (PLDI, 2008)

Type-based data structure verification. - Ming Kawaguchi; Patrick Maxim Rondon; Ranjit Jhala (PLDI, 2009)

Dsolve: Safety Verification via Liquid Types. - Ming Kawaguchi; Patrick Maxim Rondon; Ranjit Jhala (CAV, 2010)

Low-level liquid types. - Patrick Maxim Rondon; Ming Kawaguchi; Ranjit Jhala (POPL, 2010)

System D: Dependent Dynamic Dictionaries - Ravi Chugh; Patrick Maxim Rondon; Ranjit Jhala (CoRR, 2011)

CSolve: Verifying C with Liquid Types. - Patrick Maxim Rondon; Alexander Bakst; Ming Kawaguchi; Ranjit Jhala (CAV, 2012)

Deterministic parallelism via liquid effects. - Ming Kawaguchi; Patrick Maxim Rondon; Alexander Bakst; Ranjit Jhala (PLDI, 2012)

Nested refinements: a logic for duck typing. - Ravi Chugh; Patrick Maxim Rondon; Ranjit Jhala (POPL, 2012)

Liquid Types. - Patrick Maxim Rondon (2012)

Abstract Refinement Types. - Niki Vazou; Patrick Maxim Rondon; Ranjit Jhala (ESOP, 2013)