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.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive ComputingPervasive Computing. 6696:50-69.
2011. Disaggregated End-Use Energy Sensing for the Smart Grid. IEEE Pervasive Computing. 10(1):28-39.
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.
2010. The design of eco-feedback technology. Proceedings of the 28th international conference on Human factors in computing systems. :1999-2008.
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. Increasing the breadth: applying sensors, inference and self-report in field studies with the MyExperience tool. Proceedings of the 1st international workshop on System evaluation for mobile platforms. :27-27.
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
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.
2009. Static type inference for Ruby. Proceedings of the 2009 ACM symposium on Applied Computing. :1859-1866.
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.
1989. Automatically transforming regularly structured linear documents into hypertext.. Electronic Publishing. 2(4):211-229.