Publication Virtual Network Embedding with Coordinated Node and Link Mapping NM Mosharaf Kabir Chowdhury, Muntasir Raihan Rahman, Raouf Boutaba IEEE INFOCOM 2009 | April 2009
Publication Symbolic Bounded Conformance Checking of Model Programs Margus Veanes, Nikolaj Bjørner MSR-TR-2009-28 | March 2009 This is an extended version of a paper to appear in PSI'09, LNCS. Project
Publication The Differential Privacy Frontier Cynthia Dwork 6th Theory of Cryptography Conference, TCC 2009 | March 2009 Project
Publication Nearest Neighbor Clustering: A Baseline Method for Consistent Clustering with Arbitrary Objective Functions Sébastien Bubeck, Ulrike von Luxburg Journal of Machine Learning Research | March 2009, Vol 10: pp. 657-698
Publication Fast Hybrid Algorithms for High Frequency Wave Scattering Kenneth Tran American Institute of Physics Conference Proceedings | March 2009
Publication Individual Sequence Prediction using Memory-Efficient Context Trees Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer IEEE Transactions on Information Theory | March 2009
Publication Complexity and algorithms for monomial and clausal predicate abstraction Shuvendu Lahiri, Shaz Qadeer International Conference on Automated Deduction (CADE ’09) | March 2009 Project
Publication Vertical Paxos and Primary-Backup Replication Leslie Lamport, Dahlia Malkhi, Lidong Zhou The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009
Publication New Decoding Algorithms for a Class of Subsystem Codes and Generalized Shor Codes Pradeep K. Sarvepalli, Martin Roetteler, Andreas Klappenecker Proceedings IEEE International Symposium on Information Theory (ISIT’09) | February 2009
Publication Less is More: Sampling the Neighborhood Graph Makes SALSA Better and Faster Marc Najork, Sreenivas Gollapudi, Rina Panigrahy 2nd ACM International Conference on Web Search and Data Mining (WSDM) | February 2009
Research
Research