Programming languages and software engineering

Manuel Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller

ACM Sigplan Workshop on Declarative Aspects of Multicore Programming | January 2007

Yuri Gurevich, Margus Veanes, Charles Wallace

Theoretical Computer Science | January 2007, Vol 376: pp. 17-29

Project

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

MSR-TR-2007-13 | January 2007

Rustan Leino, Rosemary Monahan

In FTfJP ’07: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs | January 2007

Project

Satoshi Sekine, Hisami Suzuki

Proceedings of WWW, Banff, Alberta | January 2007

Proceedings of WWW, Banff, Alberta

Moshe Babaioff, Nicole Immorlica, David Kempe, Robert Kleinberg

APPROX-RANDOM’07 | January 2007

APPROX-RANDOM'07

Jun Shao, Min Feng, Bin Benjamin Zhu, Zhenfu Cao

Information Security Conference | January 2007

Suresh Thummalapenta

OOPSLA ’07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion | January 2007

ISBN: 978-1-59593-865-7

Suresh Thummalapenta (suthumma), Tao Xie

ASE ’07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering | January 2007

ISBN: 978-1-59593-882-4

Cynthia Sims Parr, Bongshin Lee, Benjamin B. Bederson

Ecological Informatics | January 2007

Ecological Informatics