Algorithms

Siddhartha Sen, Michael Freedman

Operating Systems Review | January 2012, Vol 46

7 pages

Sumit Gulwani

14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012

Project

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012

To appear

Project

Michael Kapralov, Rina Panigrahy

January 2012

Project

Lucas Joppa, L.N., Joppa

Ecological Anthropology | January 2012

Malcolm Slaney, Yury Lifshits, Junfeng He

Proceedings of the IEEE | January 2012

Nathan Wiebe, Daniel Braun, Seth Lloyd

Physical Review Letters | January 2012, Vol 109(5)

Chien-Ju Ho, Jennifer Wortman Vaughan

Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI) | January 2012

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

19th International Symposium on Static Analysis, SAS 2012 | January 2012

Chris Granade, Chris Ferrie, Nathan Wiebe, David Cory

New Journal of Physics | January 2012