Programming languages & software engineering

Diwaker Gupta, Kashi Vishwanath, Amin Vahdat

Networked Systems Design and Implementation (NSDI) | January 2008

Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer

SIAM Journal on Computing | January 2008, Vol 37(5): pp. 1342-1372

Jamie Shotton, Andrew Blake, Roberto Cipolla

Proc. BMVC | January 2008

Proc. BMVC

Andreas Blass, Yuri Gurevich

33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008). Springer Lecture Notes in Computer Science. | January 2008

Amit Pathak, Soumen Chakrabarti, Manish Gupta

Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008

Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)

Nikolai Tillmann, Jonathan "Peli" de Halleux

TAV-WEB ’08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008

ISBN: 978-1-60558-053-1

Project Project

Ethan Jackson, Wolfram Schulte

Published by Microsoft Research, January 2008

Project

Rustan Leino, Wolfram Schulte

Published by Microsoft Research, January 2008

Project

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

Project

Rui Guo, Bin Benjamin Zhu, Min Feng, Aimin Pan, Bosheng Zhou

WWW 2008 | January 2008