Programming languages & software engineering

Renan Cattelan, Darko Kirovski, Deepak Vijaywargi

MSR-TR-2008-14 | January 2008

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project

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

Min Feng, Bin Benjamin Zhu

IEEE Consumer Communications and Networking Conference | January 2008

Ariel D. Procaccia, Aviv Zohar, Jeffrey S. Rosenschein

AAMAS ’08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | January 2008

AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems

ISBN: 978-0-9817381-1-6

Jinyu Li, Li Deng, Dong Yu, Alex Acero

Proc. ICASSP | January 2008

Proc. ICASSP

Sebastian Burckhardt, Madan Musuvathi

MSR-TR-2008-12 | January 2008

A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.

Project

Andrew Begel

Proceedings of the 2008 International Workshop on Cooperative and Human Aspects of Software Engineering | January 2008

Proceedings of the 2008 International Workshop on Cooperative and Human Aspects of Software Engineering

ISBN: 978-1-60558-039-5

Charles Bordenave, David McDonald, Alexandre Proutiere

ACM Sigmetrics | 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