Publication Proving that non-blocking algorithms don’t block Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis SIGPLAN Notices | January 2009, Vol 44(1): pp. 16-28
Publication Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles Guy Rothblum Theory Comput. Syst. | January 2009, Vol 44: pp. 245-268
Publication A Concurrent Portfolio Approach to SMT Solving Youssef Hamadi, Leonardo de Moura, Christoph M. Wintersteiger Proceedings of the 21st International Conference on Computer Aided Verification (CAV) | January 2009
Publication Single-Value Combinatorial Auctions and Algorithmic Implementation in Undominated Strategies Moshe Babaioff, Ron Lavi, Elan Pavlov Journal of the ACM (JACM) | January 2009, Vol 56(1)
Publication Secretary Problems: Weights and Discounts Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, Kunal Talwar Symposium on Discrete Algorithms (SODA’09) | January 2009
Publication A Computational Theory of Awareness and Decision Making Nikhil Devanur, Nikhil R. Devanur, Lance Fortnow Theoretical Aspects of Rationality and Knowledge, TARK | January 2009
Publication Blackbox Polynomial Identity Testing for Depth 3 Circuits Neeraj Kayal, Shubhangi Saraf Foundations of Computer Science (FOCS) | January 2009 Foundations of Computer Science (FOCS)
Publication Compositional May-Must Program Analysis: Unleashing The Power of Alternation Patrice Godefroid, Aditya Nori, Sriram Rajamani, MSR-TR-2009-2 | January 2009 Project
Publication Survivable Network Design with Degree or Order Constraints Lap Chi Lau, Joseph (Seffi) Naor, Mohammad R. Salavatipour, Mohit Singh In Proceedings of 39th ACM Symposium on Theory of Computing, STOC 2007 | January 2009
Publication Iterative Rounding for Multi-Objective Optimization Problems Fabrizio Grandoni, R. Ravi, Mohit Singh In Proceedings of European Symposium of Algorithms, ESA | January 2009
