Ming Kawaguchi

According to our database, Ming Kawaguchi authored at least 12 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., March, 2023

2019

Aquarium Technical Report Preprint.

Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer

CoRR, 2019

Trials and Tribulations in Synthesizing Operating Systems.

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2016

High-Level Liquid Types.

Ming Kawaguchi

PhD thesis, 2016

2013

Towards Modularly Comparing Programs Using Automated Theorem Provers.

Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Deterministic parallelism via liquid effects.

Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CSolve: Verifying C with Liquid Types.

Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.

Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Low-level liquid types.

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Dsolve: Safety Verification via Liquid Types.

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Type-based data structure verification.

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Liquid types.

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008