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 PASS Approximation: A Framework for Analyzing and Designing Heuristics Uriel Feige, Nicole Immorlica, Vahab S. Mirrokni, Hamid Nazerzadeh MSR-TR-2009-130 | January 2009
Publication DiagSplit: parallel, crack-free, adaptive tessellation for micropolygon rendering Kurt Akeley ACM Trans. Graph. | January 2009, Vol 28: pp. 1-10
Publication Expander graphs based on GRH with an application to elliptic curve cryptography David Jao, Stephen D. Miller, Ramarathnam Venkatesan Journal of Number Theory | January 2009, Vol 129: pp. 1491
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 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 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 Compositional May-Must Program Analysis: Unleashing The Power of Alternation Patrice Godefroid, Aditya Nori, Sriram Rajamani, MSR-TR-2009-2 | January 2009 Project
