Programming languages & software engineering

Margus Veanes, Nikolaj Bjørner

MSR-TR-2009-28 | March 2009

This is an extended version of a paper to appear in PSI'09, LNCS.

Project

Dimitrios Vytiniotis, Vasileios Koutavas

MSR-TR-2009-25 | March 2009

Rustan Leino, Rosemary Monahan

SAC’09 March 8-12, 2009, Honolulu, Hawaii, U.S.A. | March 2009

Project

Constantin Sârbu, Nachi Nagappan, Neeraj Suri

Proceedings of the 2009 Software Technologies for Future Dependable Distributed Systems (STFSSD) | March 2009

ISBN: 978-0-7695-3572-2

Project

Yang Liu, Yanghong A. Liu, Jun Sun, Wei Chen

Proceedings of the 16th International Symposium on Formal Methods (FM’2009), Eindhoven, the Netherlands, Nov. 2009. | March 2009

Johannes Helander, Margus Veanes

MSR-TR-2009-24 | March 2009

Mohammad Raza

European Symposium on Programming | March 2009

Shuvendu Lahiri, Shaz Qadeer

International Conference on Automated Deduction (CADE ’09) | March 2009

Project

Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani

Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009

Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,

TACAS ’09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009

Project