Programming languages and software engineering

Sumit Gulwani

Tutorial at PLDI 2016 | January 2016

Sumit Gulwani

Verification and Synthesis of Correct and Secure Systems | January 2016

Project

Vipul Goyal, Dakshita Khurana, Ilya Mironov, Omkant Pandey, Amit Sahai

43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) | January 2016

Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman

Proceedings of TACAS’16 | January 2016

Full version of TACAS'16 paper.

Sumit Gulwani

Keynote at SEMS 2016 | January 2016

Project

Rustan Leino, Clément Pit-Claudel

January 2016

Rishabh Singh, Sumit Gulwani

43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016

Project

Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016) | January 2016

Github