Publication DiagSplit: parallel, crack-free, adaptive tessellation for micropolygon rendering Kurt Akeley ACM Trans. Graph. | January 2009, Vol 28: pp. 1-10
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 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 Scalable Clustering and Keyword Suggestion for Online Advertisements Anton Schwaighofer, Joaquin Quiñonero Candela, Thomas Borchert, Thore Graepel, Ralf Herbrich Proceedings of ADKDD 2009: 3rd Annual International Workshop on Data Mining and Audience Intelligence for Advertising | January 2009
Publication SPEED: Precise and Efficient Static Estimation of Program Computational Complexity Sumit Gulwani, Krishna Mehra, Trishul Chilimbi Principles of Programming Languages (POPL) | January 2009 Project
Publication From Online to Batch Learning with Cutoff Averaging Ofer Dekel Advances in Neural Information Processing Systems 21 | January 2009 Advances in Neural Information Processing Systems 21
Publication Chapter 10 – MPEG-4 Visual and H.264/AVC: Standards for Modern Digital Video Berna Erol, Faouzi Kossentini, Anthony Joch, Gary J. Sullivan, Lowell Winger December 2008
Publication Darwin – An Approach for Debugging Evolving Programs Abhik Rouchoudhury, Kapil Vaswani MSR-TR-2008-197 | December 2008
Publication Synthesizing Switching Logic Using Constraint Solving Ankur Taly, Sumit Gulwani, Ashish Tiwari VMCAI ’09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008 Project Project
Publication Constraint-Based Invariant Inference Over Predicate Abstraction Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan VMCAI ’09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008 Project
Research
Research