Publications
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. Promoting energy efficient behaviors in the home through feedback: The role of human-computer interaction. Proc. HCIC Workshop. 9
2004. Unifying artifacts and activities in a visual tool for distributed software development teams. 26th International Conference on Software Engineering, 2004. ICSE 2004. Proceedings. :387-396.
2009. HydroSense: infrastructure-mediated single-point sensing of whole-home water activity. Proceedings of the 11th international conference on Ubiquitous computing, September.
2009. Sensing opportunities for personalized feedback technology to reduce consumption. Proc. CHI Workshop on Defining the Role of HCI in the Challenge of Sustainability.
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.
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.
2012. The design and evaluation of prototype eco-feedback displays for fixture-level water usage data. :2367-2376.
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.
2001. Dos and don'ts of client authentication on the web. Proceedings of the 10th conference on USENIX Security Symposium - Volume 10. :19-19.
2010. Efficient rational secret sharing in standard communication networks. Theory of Cryptography. :419-436.
1995. Space-scale diagrams: understanding multiscale interfaces. Proceedings of the SIGCHI conference on Human factors in computing systems. :234-241.
1990. Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
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.
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.
1989. Automatically transforming regularly structured linear documents into hypertext.. Electronic Publishing. 2(4):211-229.