Programming languages and software engineering

Kunal Agrawal, Yuxiong He, Charles E. Leiserson

PPOPP | January 2007

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)

Juan Chen

ACM Symposium on Principles of Programming Languages (POPL 07) | January 2007

ACM Symposium on Principles of Programming Languages (POPL 07)

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

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

Francesco Logozzo

Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’07) | January 2007

Roman Manevich, John Field, Thomas. A. Henzinger, G. Ramalingam, Mooly Sagiv

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm | January 2007

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm

Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv

Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings | January 2007

Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings

ISBN: 978-3-540-76636-0

Josh Berdine, Byron Cook

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007 | January 2007

ISBN: 978-1-59593-633-2

Rustan Leino, Wolfram Schulte

ESOP | January 2007

ISBN: 978-3-540-71314-2

Project

Anton Schwaighofer

Journal of Chemical Information and Modelling | January 2007, Vol 47(2): pp. 407-424