Publications
2011. MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. HotOS'13 Proceedings of the 13th USENIX Conference on Hot Topics in Operating Systems . :30-30.
2007. Semantics-Preserving Design of Embedded Control Software from Synchronous Models. Software Engineering, IEEE Transactions on. 33(8):497-509.
2001. On the efficiency of nearest neighbor searching with data clustered in lower dimensions. Computational Science—ICCS 2001. :842-851.
2001. The analysis of a probabilistic approach to nearest neighbor searching. Algorithms and Data Structures. :276-286.
1999. It’s okay to be skinny, if your friends are fat. Center for Geometric Computing 4th Annual Workshop on Computational Geometry.
2002. Analysis of approximate nearest neighbor searching with clustered point sets. Data Structures, Near Neighbor Searches, and MethodologyData Structures, Near Neighbor Searches, and Methodology. 59:105-123.
2001. An empirical study of a new approach to nearest neighbor searching. Algorithm Engineering and Experimentation. :172-187.
1990. Structure and expression of the Drosophila melanogaster gene for the U1 small nuclear ribonucleoprotein particle 70K protein.. Molecular and Cellular BiologyMol. Cell. Biol.. 10(6):2492-2502.
1991. On finding the minimum bandwidth of interval graphs. Information and Computation. 95(2):218-224.
1995. A Family of User Interface Consistency Checking Tools: Design and Development of SHERLOCK. Proceedings of the Twentieth Annual Software Engineering Workshop. (NASA no. 19990027806)
1995. A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.
1997. Visual and textual consistency checking tools for graphical user interfaces. IEEE Transactions on Software Engineering. 23(11):722-735.
2002. Adaptive Multimedia System Architecture for Improving QoS inWireless Networks. Advances in Multimedia Information Processing—PCM 2002. :37-47.
2002. Inferring link weights using end-to-end measurements. Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment. :231-236.
1997. Intelligent software agents vs. user-controlled direct manipulation: a debate. CHI '97 extended abstracts on Human factors in computing systems: looking to the future. :105-106.
2008. Combining open-source with research to re-engineer a hands-on introductory NLP course. Proceedings of the Third Workshop on Issues in Teaching Computational Linguistics. :71-79.
2007. Using paraphrases for parameter tuning in statistical machine translation. Proceedings of the Second Workshop on Statistical Machine Translation. :120-127.
2008. Are multiple reference translations necessary? investigating the value of paraphrased reference translations in parameter optimization Proceedings of the Eighth Conference of the Association for Machine Translation in the Americas, October.