Programming languages and software engineering

Yuri Gurevich, Margus Veanes, Charles Wallace

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

Project

Rustan Leino, Rosemary Monahan

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

Project

Moshe Babaioff, Nicole Immorlica, David Kempe, Robert Kleinberg

APPROX-RANDOM’07 | January 2007

APPROX-RANDOM'07

Satoshi Sekine, Hisami Suzuki

Proceedings of WWW, Banff, Alberta | January 2007

Proceedings of WWW, Banff, Alberta

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

Simon Peyton Jones

January 2007 | Submitted to ICFP 2007 edition edition

Submitted to ICFP 2007

Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, Manuel Chakravarty

January 2007

Presented at the Implementing Functional Languages workshop, Sept 2007 (IFL07), but not part of its post-refereed proceedings.