Publications

2013
2013. “Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings.” Lecture Notes in Computer Science 7898. Springer. Publisher's Version
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebêlo. 2013. “Towards Modularly Comparing Programs Using Automated Theorem Provers.” In Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings, Pp. 282–299. Publisher's Version
2012
2012. “ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012.” ACM. Publisher's Version
2012. “Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings.” Lecture Notes in Computer Science 7358. Springer. Publisher's Version
Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, and Ranjit Jhala. 2012. “CSolve: Verifying C with Liquid Types.” In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Pp. 744–750. Publisher's Version
Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, and Ranjit Jhala. 2012. “Deterministic parallelism via liquid effects.” In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012, Pp. 45–54. Publisher's Version
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, and Henrique Rebêlo. 2012. “SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.” In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Pp. 712–717. Publisher's Version
2010
2010. “Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings.” Lecture Notes in Computer Science 6174. Springer. Publisher's Version
Ming Kawaguchi, Patrick Maxim Rondon, and Ranjit Jhala. 2010. “Dsolve: Safety Verification via Liquid Types.” In Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, Pp. 123–126. Publisher's Version
Patrick Maxim Rondon, Ming Kawaguchi, and Ranjit Jhala. 2010. “Low-level liquid types.” In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, Pp. 131–144. Publisher's Version
2010. “Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010.” ACM. Publisher's Version
2009
2009. “Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009.” ACM.
Ming Kawaguchi, Patrick Maxim Rondon, and Ranjit Jhala. 2009. “Type-based data structure verification.” In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, Pp. 304–315. Publisher's Version
2008
Patrick Maxim Rondon, Ming Kawaguchi, and Ranjit Jhala. 2008. “Liquid types.” In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, Pp. 159–169. Publisher's Version
2008. “Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008.” ACM.