Publications
2008. Checking type safety of foreign function calls. ACM Transactions on Programming Languages and Systems (TOPLAS). 30(4):18-18.
2009. Profile-guided static typing for dynamic scripting languages. ACM SIGPLAN Notices. 44(10):283-300.
2009. Static type inference for Ruby. Proceedings of the 2009 ACM symposium on Applied Computing. :1859-1866.
2009. Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. Proceedings for the 1st workshop on Script to Program Evolution. :14-16.
1990. Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
1995. Space-scale diagrams: understanding multiscale interfaces. Proceedings of the SIGCHI conference on Human factors in computing systems. :234-241.
2010. Efficient rational secret sharing in standard communication networks. Theory of Cryptography. :419-436.
2001. Dos and don'ts of client authentication on the web. Proceedings of the 10th conference on USENIX Security Symposium - Volume 10. :19-19.
2012. The design and evaluation of prototype eco-feedback displays for fixture-level water usage data. :2367-2376.
2009. Sensing and predicting the pulse of the city through shared bicycling. International Joint Conference on Artificial Intelligence. :1420-1426.
2009. Promoting energy efficient behaviors in the home through feedback: The role of human-computer interaction. Proc. HCIC Workshop. 9
2009. HydroSense: infrastructure-mediated single-point sensing of whole-home water activity. Proceedings of the 11th international conference on Ubiquitous computing, September.
2009. Promoting energy efficient behaviors in the home through feedback: The role of human-computer interaction. Proc. HCIC Workshop. 9
2007. MyExperience: a system for in situ tracing and capturing of user feedback on mobile phones. Proceedings of the 5th international conference on Mobile systems, applications and services. :57-70.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive Computing. 6696:50-69.
2007. Barrier pointing: using physical edges to assist target acquisition on mobile device touch screens. Proceedings of the 9th international ACM SIGACCESS conference on Computers and accessibility, October. :15-17.
2006. Voting with Your Feet: An Investigative Study of the Relationship Between Place Visit Behavior and Preference. UbiComp 2006: Ubiquitous Computing. 4206:333-350.
2009. UbiGreen: investigating a mobile tool for tracking and supporting green transportation habits. Proceedings of the 27th international conference on Human factors in computing systems. :1043-1052.