Statistics
Publications
5
Citations
217
H-Index
5
Active since
2009
Affiliations
University of California San Diego(Current)
Ming Kawaguchi is an author at University of California San Diego specializing in program analysis, formal verification, and formal methods.
Publications per year
2009–2019
5
5
Type-based data structure verification
Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala · 2009 · 78 citations
Engineering, Data Type, Data Science +13
Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala · 2010 · 71 citations
Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo · 2010 · 36 citations
Deterministic parallelism via liquid effects
Ming Kawaguchi, Patrick M. Rondon, Alexander Bakst et al. · 2012 · 22 citations
Trials and Tribulations in Synthesizing Operating Systems
Jingmei Hu, Eric Jui‐Lin Lu, David A. Holland et al. · 2019 · 10 citations · Full text
1–5 of 5