Publication Using and Building an Automatic Program Verifier (Lecture 3) Rustan Leino LASER Summer School 2011 Elba, Italy | September 2011
Publication Using and Building an Automatic Program Verifier (Lecture 1) Rustan Leino LASER Summer School 2011 Elba, Italy | September 2011
Publication Alternating simulation and IOCO Margus Veanes, Nikolaj Bjørner International Journal on Software Tools for Technology Transfer (STTT) | September 2011
Publication Using and Building an Automatic Program Verifier (Lecture 2) Rustan Leino LASER Summer School 2011 Elba, Italy | September 2011
Publication Using and Building an Automatic Program Verifier (Lecture 0) Rustan Leino LASER Summer School 2011 Elba, Italy | September 2011
Publication Purity Analysis: An Abstract Interpretation Formulation G. Ramalingam, Kapil Vaswani MSR-TR-2011-102 | September 2011
Publication Dynamic Reactive Modules Fisher J, Henzinger T, Nickovic D, Piterman N, Singh A, Vardi M, Jasmin Fisher 22nd International Conference on Concurrency Theory, LNCS 6901, pp. 404-418 | September 2011
Publication Sociotechnical Coordination and Collaboration in Open Source Software Christian Bird Proceedings of the 27th IEEE International Conference on Software Maintenance | September 2011 Project
Publication Latent Variable Bayesian Models for Promoting Sparsity David Wipf, Bhaskar Rao, Srikantan Nagarajan IEEE Transactions on Information Theory | September 2011
Publication Towards Haskell in the cloud Jeff Epstein, Andrew Black, Simon Peyton Jones Haskell Symposium | September 2011