University of California, San Diego
Department of Computer Science and Engineering
E-mail: 
|
|
PhD Student University of California, San Diego Department of Computer Science and Engineering
E-mail: |
|
I am a third year PhD student in the Programming Systems group at UCSD. From 2005-2008 I was an MS student in the department's one year BS/MS Master's degree program (hmm..). This was preceded by a brief stint as an undergrad which led, quite inexplicably, to a bachelor's in Computer Science in Spring 2005.
Currently, I am extremely privileged to be advised by Prof. Ranjit Jhala. In my previous academic lives, I have also had the extreme privilege of being advised by Prof. Geoffrey Voelker (MS), as well as Prof. Alex Orailoglu (BS).
Publications: Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebelo. Conditional Equivalence. MSR-TR-2010-119, October 2010. (pdf) Ming Kawaguchi, Patrick M. Rondon, and Ranjit Jhala. Dsolve: Verification via Liquid Type Inference. In Proceedings of the 22nd International Conference on Computer Aided Verification (CAV), Edinburgh, UK, July 2010. Patrick M. Rondon, Ming Kawaguchi, and Ranjit Jhala. Low-Level Liquid Types. In Proceedings of the 37th ACM Symposium on Principles of Programming Languages (POPL), Madrid, Spain, January 2010. Ming Kawaguchi, Patrick M. Rondon, and Ranjit Jhala. Type-Based Data Structure Verification. In Proceedings of the 31st ACM Conference on Programming Language Design and Implementation (PLDI), Dublin, Ireland, June 2009. Patrick Rondon, Ming Kawaguchi, and Ranjit Jhala. Liquid Types. In Proceedings of the 30th ACM Conference on Programming Language Design and Implementation (PLDI), Tucson, AZ, June 2008. (More information on the Liquid Types project can be found here.) Teaching:
Classes I've TA'd:
Classes I've tutored: Fun stuff at UCSD:
|