Programming languages & software engineering

Jacob Biehl, Mary Czerwinski, Greg Smith, George Robertson, Brian Bailey

CHI 2007 Conference on Human Factors in Computing Systems | January 2007

Cynthia Sims Parr, Bongshin Lee, Benjamin B. Bederson

Ecological Informatics | January 2007

Ecological Informatics

Yuri Gurevich

V. Diekert, M. Volkov, and A. Voronkov (Eds.): Computer Science – Theory and Applications CSR 2007, 2nd International Symposium on Computer Science in Russia Springer Lecture Notes (2007). | January 2007

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

January 2007

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

Rustan Leino, Rosemary Monahan

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

Project

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

Information Security Conference | January 2007

Noam Rinetzky, G. Ramalingam, Mooly Sagiv, Eran Yahav

ACM Transactions on Programming Languages and Systems | January 2007

Zhaozhong Ni

MSR-TR-2007-171 | January 2007

Yuri Gurevich, Margus Veanes, Charles Wallace

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

Project