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
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
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