@proceedings {DBLP:conf/cade/2013, title = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}, journal = {Lecture Notes in Computer Science}, volume = {7898}, year = {2013}, publisher = {Springer}, isbn = {978-3-642-38573-5}, doi = {10.1007/978-3-642-38574-2}, url = {http://dx.doi.org/10.1007/978-3-642-38574-2}, editor = {Maria Paola Bonacina} } @conference {DBLP:conf/cade/HawblitzelKLR13, title = {Towards Modularly Comparing Programs Using Automated Theorem Provers}, booktitle = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}, year = {2013}, pages = {282{\textendash}299}, doi = {10.1007/978-3-642-38574-2_20}, url = {http://dx.doi.org/10.1007/978-3-642-38574-2_20}, author = {Chris Hawblitzel and Ming Kawaguchi and Shuvendu K. Lahiri and Henrique Reb{\^e}lo} } @proceedings {DBLP:conf/pldi/2012, title = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI {\textquoteright}12, Beijing, China - June 11 - 16, 2012}, year = {2012}, publisher = {ACM}, isbn = {978-1-4503-1205-9}, url = {http://dl.acm.org/citation.cfm?id=2254064}, editor = {Jan Vitek and Haibo Lin and Frank Tip} } @proceedings {DBLP:conf/cav/2012, title = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, journal = {Lecture Notes in Computer Science}, volume = {7358}, year = {2012}, publisher = {Springer}, isbn = {978-3-642-31423-0}, doi = {10.1007/978-3-642-31424-7}, url = {http://dx.doi.org/10.1007/978-3-642-31424-7}, editor = {P. Madhusudan and Sanjit A. Seshia} } @conference {DBLP:conf/cav/RondonBKJ12, title = {CSolve: Verifying C with Liquid Types}, booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, year = {2012}, pages = {744{\textendash}750}, doi = {10.1007/978-3-642-31424-7_59}, url = {http://dx.doi.org/10.1007/978-3-642-31424-7_59}, author = {Patrick Maxim Rondon and Alexander Bakst and Ming Kawaguchi and Ranjit Jhala} } @conference {DBLP:conf/pldi/KawaguchiRBJ12, title = {Deterministic parallelism via liquid effects}, booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI {\textquoteright}12, Beijing, China - June 11 - 16, 2012}, year = {2012}, pages = {45{\textendash}54}, doi = {10.1145/2254064.2254071}, url = {http://doi.acm.org/10.1145/2254064.2254071}, author = {Ming Kawaguchi and Patrick Maxim Rondon and Alexander Bakst and Ranjit Jhala} } @conference {DBLP:conf/cav/LahiriHKR12, title = {SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs}, booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, year = {2012}, pages = {712{\textendash}717}, doi = {10.1007/978-3-642-31424-7_54}, url = {http://dx.doi.org/10.1007/978-3-642-31424-7_54}, author = {Shuvendu K. Lahiri and Chris Hawblitzel and Ming Kawaguchi and Henrique Reb{\^e}lo} } @proceedings {DBLP:conf/cav/2010, title = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, journal = {Lecture Notes in Computer Science}, volume = {6174}, year = {2010}, publisher = {Springer}, isbn = {978-3-642-14294-9}, doi = {10.1007/978-3-642-14295-6}, url = {http://dx.doi.org/10.1007/978-3-642-14295-6}, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson} } @conference {DBLP:conf/cav/KawaguchiRJ10, title = {Dsolve: Safety Verification via Liquid Types}, booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, year = {2010}, pages = {123{\textendash}126}, doi = {10.1007/978-3-642-14295-6_12}, url = {http://dx.doi.org/10.1007/978-3-642-14295-6_12}, author = {Ming Kawaguchi and Patrick Maxim Rondon and Ranjit Jhala} } @conference {DBLP:conf/popl/RondonKJ10, title = {Low-level liquid types}, booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010}, year = {2010}, pages = {131{\textendash}144}, doi = {10.1145/1706299.1706316}, url = {http://doi.acm.org/10.1145/1706299.1706316}, author = {Patrick Maxim Rondon and Ming Kawaguchi and Ranjit Jhala} } @proceedings {DBLP:conf/popl/2010, title = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010}, year = {2010}, publisher = {ACM}, isbn = {978-1-60558-479-9}, url = {http://dl.acm.org/citation.cfm?id=1706299}, editor = {Manuel V. Hermenegildo and Jens Palsberg} } @proceedings {DBLP:conf/pldi/2009, title = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009}, year = {2009}, publisher = {ACM}, isbn = {978-1-60558-392-1}, editor = {Michael Hind and Amer Diwan} } @conference {DBLP:conf/pldi/KawaguchiRJ09, title = {Type-based data structure verification}, booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009}, year = {2009}, pages = {304{\textendash}315}, doi = {10.1145/1542476.1542510}, url = {http://doi.acm.org/10.1145/1542476.1542510}, author = {Ming Kawaguchi and Patrick Maxim Rondon and Ranjit Jhala} } @conference {DBLP:conf/pldi/RondonKJ08, title = {Liquid types}, booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008}, year = {2008}, pages = {159{\textendash}169}, doi = {10.1145/1375581.1375602}, url = {http://doi.acm.org/10.1145/1375581.1375602}, author = {Patrick Maxim Rondon and Ming Kawaguchi and Ranjit Jhala} } @proceedings {DBLP:conf/pldi/2008, title = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008}, year = {2008}, publisher = {ACM}, isbn = {978-1-59593-860-2}, editor = {Rajiv Gupta and Saman P. Amarasinghe} }