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)

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. - Shuvendu K. Lahiri; Chris Hawblitzel; Ming Kawaguchi; Henrique Rebêlo (CAV, 2012)

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)

Towards Modularly Comparing Programs Using Automated Theorem Provers. - Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; Henrique Rebêlo (CADE, 2013)

High-Level Liquid Types. - Ming Kawaguchi (2016)

Trials and Tribulations in Synthesizing Operating Systems. - Jingmei Hu; Eric Lu; David A. Holland; Ming Kawaguchi; Stephen Chong; Margo I. Seltzer (PLOS@SOSP, 2019)

Aquarium Technical Report Preprint. - Ming Kawaguchi; Jingmei Hu; Eric Lu; David A. Holland; Stephen Chong; Margo I. Seltzer (CoRR, 2019)

Towards Porting Operating Systems with Program Synthesis. - Jingmei Hu; Eric Lu; David A. Holland; Ming Kawaguchi; Stephen Chong; Margo I. Seltzer (ACM Trans. Program. Lang. Syst., 2023)