Programming languages & software engineering

Vu Le, Mehrdad Afshari, Zhendong Su

2014 Programming Language Design and Implementation | June 2014

Distinguished Paper Award

Marc Brockschmidt, Andrey Rybalchenko

June 2014

Andrew Begel, Thomas Fritz, Sebastian Mueller, Serap Yigit-Elliott, Manuela Zueger

Proceedings of the International Conference on Software Engineering | June 2014

Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2014

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

ISBN: 978-1-4503-2784-8

Project

Kivanc Muslu, Christian Bird, Nachiappan Nagappan, Jacek Czerwonka, Nachi Nagappan

Proceedings of the International Conference on Software Engineering | June 2014

Proceedings of the International Conference on Software Engineering

Project

Manjula Peiris, James H. Hill, Jorgen Thelin, Sergey Bykov, Gabriel Kliot, Arnd Christian König

7th IEEE International Conference on Cloud Computing (IEEE Cloud 2014) | June 2014

7th IEEE International Conference on Cloud Computing (IEEE Cloud 2014)

Ref: CLOUD2014-2097

Project

Sumit Gulwani, Mark Marron

SIGMOD ’14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014

Video

Francesco Logozzo, Shuvendu Lahiri

Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014

Project Project

Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel

Programming Language Design and Implementation (PLDI) | June 2014

Project

Ilya Sergey, Simon Peyton Jones, Dimitrios Vytiniotis

June 2014

Unpublished draft