Programming languages & software engineering

Josh Berdine, Byron Cook

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 | January 2007

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007

ISBN: 1-59593-575-4

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

MSR-TR-2007-13 | January 2007

Francesco Logozzo

Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’07) | 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

Ray Bittner

MSR-TR-2007-174 | January 2007

Proc. of IEEE Infocom 2006

Rustan Leino, Wolfram Schulte

Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security | Published by IOS Press | 2007, Vol 9

Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen

MSR-TR-2006-169 | January 2007

ACM Workshop on Types in Language Design and Implementation (TLDI 07)

Madan Musuvathi, Shaz Qadeer

MSR-TR-2007-14 | January 2007

Project

Kunal Agrawal, Yuxiong He, Charles E. Leiserson

PPOPP | January 2007