Programming languages & software engineering

Yu Tsao, Jinyu Li, Chin-Hui Lee

Proc. ICASSP | January 2009

Proc. ICASSP

Simon Peyton Jones

January 2009

My invited talk from the Erlang Factory meeting, in June 2009

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

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

프로젝트 프로젝트

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, 제 20 권

To appear.

Vikram Dendi

MSDN Magazine | January 2009

David Harel, Hillel Kugler, Shahar Maoz, Itai Segall

Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009

Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India)

프로젝트

Suresh Thummalapenta, Tao Xie

ICSE ’09: Proceedings of the 31st International Conference on Software Engineering | January 2009

ISBN: 978-1-4244-3453-4