Publication Header Space Analysis: Static Checking for Networks Paymen Kazemanian, George Varghese, Nick McKeown Network System Design and Implementation (NSDI) | January 2012
Publication Personalized Online Education””A Crowdsourcing Challenge Daniel S. Weld, Eytan Adar, Lydia Chilton, Raphael Hoffmann, Eric Horvitz, Mitchell Koch, James Landay, Christopher H. Lin, Mausam In Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence | January 2012
Publication On Downlink Capacity of Cellular Data Networks with WLAN/WPAN Relays Bozidar Radunovic, Alexandre Proutiere IEEE/ACM Transactions on Networking | January 2012
Publication Giving Haskell a Promotion Brent Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, Jose Pedro Magalhaes Proceedings of TLDI’12 | January 2012
Publication Integrating non-feeding interactions into food webs Sonia Kefi, Eric L. Berlow, Evie A. Wieters, Sergio A. Navarrete, Owen L. Petchey, Spencer A. Wood, Alice Boit, Lucas Joppa, Kevin D. Lafferty, Richard J. Williams, Neo D. Martinez, Bruce A. Menge, Carol A. Blanchette, Alison C. Iles, Ulrich Brose Ecology Letters | January 2012
Publication On The Security Of Querying Encrypted Data Arvind Arasu, Raghav Kaushik, Ravi Ramamurthy January 2012
Publication Distortion Impact on Low-Dimensional Manifold Recovery of High-Dimensional Data Alaa Abd El Hakeem, Motaz El-Saban Taibah University International Conference on Computing and Information Technology | January 2012
Publication Dual-Space Analysis of the Sparse Linear Model David Wipf, Yi Wu Advances in Neural Information Processing Systems (NIPS) | January 2012
Publication STM in the Small: Trading Generality for Performance in Software Transactional Memory Aleksandar Dragojevic, Tim Harris EuroSys 2012 | January 2012
Publication Imagining the Future: Thoughts on Computing Daniel A. Reed, Dennis Gannon, Jim Larus IEEE Computer | January 2012, Vol 45