Ming Kawaguchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2008–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SOSP | Trials and Tribulations in Synthesizing Operating Systems. | Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer |
| 2013 | CADE | Towards Modularly Comparing Programs Using Automated Theorem Provers. | Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Reblo |
| 2012 | CAV | SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. | Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Reblo |
| 2012 | CAV | CSolve: Verifying C with Liquid Types. | Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala |
| 2012 | PLDI | Deterministic parallelism via liquid effects. | Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala |
| 2010 | CAV | Dsolve: Safety Verification via Liquid Types. | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
| 2010 | POPL | Low-level liquid types. | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
| 2009 | PLDI | Type-based data structure verification. | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
| 2008 | PLDI | Liquid types. | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |