University of California, San Diego
Department of Computer Science and Engineering
E-mail: 
Office: EBU3b 3260
|
|
PhD Student University of California, San Diego Department of Computer Science and Engineering
E-mail: |
|
I am a first-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). Misc: My CV. Publications: Patrick Rondon, Ranjit Jhala, and Ming Kawaguchi. Low-Level Liquid Types. In Proceedings of the 37th ACM Symposium on Principles of Programming Languages (POPL), Madrid, Spain, January 2010. To appear. Ming Kawaguchi, Patrick 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. Teaching:
Classes I've TA'd:
Classes I've tutored: Fun stuff at UCSD:
|