Programming languages and software engineering

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of ATVA 2008 | January 2008

Jamie Shotton, Andrew Blake, Roberto Cipolla

Proc. BMVC | January 2008

Proc. BMVC

Suresh Thummalapenta, Tao Xie

MSR ’08: Proceedings of the 2008 international working conference on Mining software repositories | January 2008

ISBN: 978-1-60558-024-1

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

Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang

Programming Language Design and Implementation (PLDI) | January 2008

Andreas Lachenmann

January 2008

January 2008

Krzysztof Gajos, Katherine Everitt, Desney Tan, Mary Czerwinski, Daniel Weld

Extended Abstracts of CHI 2008 Conference on Human Factors in Computing Systems | January 2008

Ofer Dekel, Felix Fischer, Ariel Procaccia

Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2008

Zhaozhong Ni

MSR-TR-2008-191 | January 2008

Liad Blumrosen, Thomas Holenstein

EC ’08: Proceedings of the 9th ACM conference on Electronic commerce | January 2008

EC '08: Proceedings of the 9th ACM conference on Electronic commerce