Statistics
Publications
7
Citations
659
H-Index
7
Active since
2008
Affiliations
University of California San Diego(Current)
Patrick M. Rondon is an author at University of California San Diego specializing in formal methods, program analysis, and formal verification.
Publications per year
2008–2012
7
7
Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala · 2008 · 380 citations
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
Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala · ACM SIGPLAN Notices · 2008 · 43 citations
Ravi Chugh, Patrick M. Rondon, Ranjit Jhala · 2012 · 36 citations
Rows per page
1–5 of 7