Programming languages and software engineering

Jinyu Li

Proc. IEEE Automatic Speech Recognition and Understanding | January 2007

Yuxiong He, Wen-Jing Hsu

ICPP | January 2007

Gang Hua, Paul Viola, Steven Drucker

Computer Vision and Pattern Recognition, 2007. CVPR ’07. IEEE Conference on | January 2007

Madan Musuvathi, Shaz Qadeer

MSR-TR-2007-14 | January 2007

Project

Yuri Gurevich, Dirk Leinders, Jan Van den Bussche

11th International Symposium on Database Programming Languages (DBPL 2007). Springer Lecture Notes in Computer Science (2007). | January 2007

Jamie Shotton

January 2007

January 2007

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

MSR-TR-2007-13 | January 2007

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

Rustan Leino, Rosemary Monahan

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

Project