Programming languages & software engineering

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

Ilya Sergey, Simon Peyton Jones, Dimitrios Vytiniotis

June 2014

Unpublished draft

Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou

OOPSLA | June 2014

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

Martin Abadi, Jeremy PLanul, Gordon D. Plotkin

Horizons of the Mind. A Tribute to Prakash Panangaden – Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | Published by Springer | 2014

Andrew Begel, Tom Zimmermann

Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014

Project

Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits

PLDI 2014: Programming Language Design and Implementation | June 2014

Christian Bird, Venkatesh-Prasad Ranganath, Tom Zimmermann, Nachi Nagappan, Andreas Zeller

Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014

Project