Programming languages & software engineering

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.

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)

Project

Suresh Thummalapenta, Tao Xie

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

ISBN: 978-1-4244-3453-4

Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh

PODC 2009 | January 2009

Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka

PLDI 2009 | January 2009

Zhengdong Lu

Proceedings of the IEEE International Conference on Data Mining (ICDM) | January 2009

Proceedings of the IEEE International Conference on Data Mining (ICDM)

Stephan Neuhaus, Thomas Zimmermann

Proceedings of the 2009 USENIX Annual Technical Conference (USENIX ATC) | January 2009

Project