Publication Hypergraphic LP Relaxations for Steiner Trees Deeparnab Chakrabarty, Jochen Könemann, David Pritchard SIAM Journal on Discrete Mathematics | March 2013, Vol 27(1): pp. 507-533
Publication Deriving Probability Density Functions from Probabilistic Functional Programs Sooraj Bhat, Johannes Borgström, Andy Gordon, Claudio Russo 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 | March 2013
Publication Arithmetic Circuits: A chasm at depth three Ankit Gupta, Pritish Kamath, Neeraj Kayal, Ramprasad Saptharishi Foundations of Computer Science (FOCS) | March 2013 Invited to Special Issue of SICOMP journal
Publication Algorithm Design for Performance Aware VM Consolidation Alan Roytman, Aman Kansal, Sriram Govindan, Jie Liu, Suman Nath MSR-TR-2013-28 | March 2013
Publication Concurrent Zero Knowledge in the Bounded Player Model Vipul Goyal, Abhishek Jain , Rafail Ostrovsky, Silas Richelson, Ivan Visconti 10th Theory of Cryptography Conference, | March 2013
Publication Pyramid Codes: Flexible Schemes to Trade Space for Access Efficiency in Reliable Data Storage Systems Cheng Huang, Minghua Chen, Jin Li ACM Transactions on Storage (TOS) | March 2013
Publication Implicit Bookmarking: Improving Support for Revisitation in Within-Document Reading Tasks Chun Yu, Ravin Balakrishnan, Ken Hinckley, Tomer Moscovich, Yuanchun Shi International Journal of Human-Computer Studies | March 2013, Vol 71: pp. 303-320
Publication Influence Diffusion Dynamics and Influence Maximization in Social Networks with Friend and Foe Relationships Yanhua Li, Wei Chen, Yajun Wang, Zhi-Li Zhang In Proceedings of the 6th International Conference on Web Search and Data Mining (WSDM’2013), Rome, Italy, Feb. 2013. | February 2013
Publication Pairwise Ranking Aggregation in a Crowdsourced Setting Xi Chen, Paul N. Bennett, Kevyn Collins-Thompson, Eric Horvitz Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM ’13) | February 2013 Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM '13)
Publication Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura Formal Methods in System Design | February 2013, Vol 42: pp. 3-23
Research
Research