Programming languages and software engineering

Yu Tsao, Jinyu Li, Chin-Hui Lee

Proc. ICASSP | January 2009

Proc. ICASSP

Jacek Czerwonka, Nachi Nagappan

International Symposium on Software Reliability Engineering | January 2009

International Symposium on Software Reliability Engineering

Project

Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov

Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | January 2009

ISBN: 978-3-642-00767-5

Project Project

Salvatore Guarnieri, Ben Livshits

Proceedings of the Usenix Security Symposium | January 2009

Stephen Boyd, Persi Diaconis, Pablo Parrilo, Lin Xiao

SIAM Journal on Optimization | January 2009, Vol 20

To appear.

Yoram Bachrach, Edith Elkind, Reshef Meir, Dimitrii Pasechnik, Joerg Rothe, Michael Zuckerman, Jeffrey S. Rosenschein

SAGT 2009 | January 2009

Magnus Rattray, Oliver Stegle, Kevin Sharp, John Winn

International Workshop on Statistical-Mechanical Informatics 2009, Journal of Physics: Conference Series | January 2009

International Workshop on Statistical-Mechanical Informatics 2009, Journal of Physics: Conference Series

Madhuri R. Marri, Suresh Thummalapenta, Tao Xie

SUITE ’09: Proceedings of the 2009 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation | January 2009

ISBN: 978-1-4244-3740-5

Suresh Thummalapenta

ASE ’09: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering | January 2009

ISBN: 978-0-7695-3891-4

Vikram Dendi

MSDN Magazine | January 2009