Ming Kawaguchi

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 4

Top Topics

Technical Report

Virtual Machine

Automated Theorem Provers

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. CoRR (2022)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Trials and Tribulations in Synthesizing Operating Systems. PLOS@SOSP (2019)
Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer
Aquarium Technical Report Preprint. CoRR (2019)
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo
Towards Modularly Comparing Programs Using Automated Theorem Provers. CADE (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)
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. CAV (2012)
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)