Publications
2011. LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive ComputingPervasive Computing. 6696:50-69.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive Computing. 6696:50-69.
2011. Long-term effects of ocean warming on the prokaryotic community: evidence from the vibrios. The ISME Journal. 6(1):21-30.
2011. A Low-Overhead Asynchronous Interconnection Network for GALS Chip Multiprocessors. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 30(4):494-507.
2011. Machine Translation Evaluation and Optimization. Handbook of Natural Language Processing and Machine TranslationHandbook of Natural Language Processing and Machine Translation. :745-843.
2011. Materializing multi-relational databases from the web using taxonomic queries. Proceedings of the fourth ACM international conference on Web search and data mining. :355-364.
2011. Maximizing Expected Utility for Stochastic Combinatorial Optimization Problems. 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science (FOCS). :797-806.
2011. Maximum bipartite flow in networks with adaptive channel width. Theoretical Computer Science. 412(24):2577-2587.
2011. MDMap: A system for data-driven layout and exploration of molecular dynamics simulations. Biological Data Visualization (BioVis), 2011 IEEE Symposium on. :111-118.
2011. Medication Reconciliation: Work Domain Ontology, Prototype Development, and a Predictive Model. AMIA Annual Symposium ProceedingsAMIA Annu Symp Proc. 2011:878-887.
2011. Metagenomic 16S rDNA Targeted PCR-DGGE in Determining Bacterial Diversity in Aquatic Ecosystem. Bangladesh Journal of Microbiology. 27(2)
2011. MetaPath: identifying differentially abundant metabolic pathways in metagenomic datasets. BMC proceedings. 5(Suppl 2)
2011. A method for the detection of meaningful and reproducible group signatures from gene expression profiles. Journal of Bioinformatics and Computational Biology. 9(3):431-451.
2011. Methods for design and implementation of dynamic signal processing systems. 2011 International Conference on Embedded Computer Systems (SAMOS). :i-i.
2011. Model AI Assignments 2011. Second AAAI Symposium on Educational Advances in Artificial Intelligence.
2011. Model-based precision analysis and optimization for digital signal processors. Proceedings of the European Signal Processing Conference. :506-510.
2011. A Model-Based Schedule Representation for Heterogeneous Mapping of Dataflow Graphs. 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW). :70-81.
2011. Modeling and Analysis of Correlated Binary Fingerprints for Content Identification. Information Forensics and Security, IEEE Transactions on. 6(3):1146-1159.
2011. Modeling and optimization of dynamic signal processing in resource-aware sensor networks. 2011 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS). :449-454.
2011. Modeling diverse standpoints in text classification: learning to be human by modeling human values. Proceedings of the 2011 iConference. :672-673.