Ming Kawaguchi

13 papers A* 7A 1Journal 3Unranked 1

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Towards Porting Operating Systems with Program Synthesis. ACM Trans. Program. Lang. Syst. Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
2022	J	`jnl`	Towards Porting Operating Systems with Program Synthesis. CoRR Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
2019	J	`jnl`	Aquarium Technical Report Preprint. CoRR Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer
2019	—	`conf`	Trials and Tribulations in Synthesizing Operating Systems. PLOS@SOSP Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
2016	—	`—`	High-Level Liquid Types. Ming Kawaguchi
2013	A	`conf`	Towards Modularly Comparing Programs Using Automated Theorem Provers. CADE Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo
2012	A*	`conf`	CSolve: Verifying C with Liquid Types. CAV Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala
2012	A*	`conf`	Deterministic parallelism via liquid effects. PLDI Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala
2012	A*	`conf`	SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. CAV Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo
2010	A*	`conf`	Dsolve: Safety Verification via Liquid Types. CAV Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala
2010	A*	`conf`	Low-level liquid types. POPL Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala
2009	A*	`conf`	Type-based data structure verification. PLDI Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala
2008	A*	`conf`	Liquid types. PLDI Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala