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. An empirical study of a new approach to nearest neighbor searching. Algorithm Engineering and Experimentation. :172-187.
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.
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. 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.
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)
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.
2010. Generating Phrasal and Sentential Paraphrases: A Survey of Data-Driven Methods. Computational Linguistics. 36(3):341-387.
2007. Multiple alternative sentence compressions for automatic text summarization. Proceedings of DUC.
2007. Using paraphrases for parameter tuning in statistical machine translation. Proceedings of the Second Workshop on Statistical Machine Translation. :120-127.