Publications
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.
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.
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.
2010. The design of eco-feedback technology. Proceedings of the 28th international conference on Human factors in computing systems. :1999-2008.
2009. Promoting energy efficient behaviors in the home through feedback: The role of human-computer interaction. Proc. HCIC Workshop. 9
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.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive Computing. 6696:50-69.
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. Sensing and predicting the pulse of the city through shared bicycling. International Joint Conference on Artificial Intelligence. :1420-1426.
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. Sensing opportunities for personalized feedback technology to reduce consumption. Proc. CHI Workshop on Defining the Role of HCI in the Challenge of Sustainability.
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.