Programming languages & software engineering

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson

From Programs to Systems. The Systems perspective in Computing | Published by Springer Berlin Heidelberg | 2014

Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna

Principles of Programming Languages (POPL) | January 2014

Project

Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra

ISSTA 2014: Proceedings of the 2014 International Symposium on Software Testing and Analysis | January 2014

ISBN: 978-1-4503-2645-2

Tomas Petricek, Don Syme

Proceedings of Practical Aspects of Declarative Languages | January 2014

Project Project Project

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Juergen Giesl

TACAS | January 2014

TACAS

Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Santiago Zanella-Béguelin, Nikhil Swamy

41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 | January 2014

To appear

Byron Cook, Jasmin Fisher, Ben Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman

Computer Aided Verification (CAV) | January 2014

Computer Aided Verification (CAV)

Manish Gupta

Proc. of the 23rd Intl. World Wide Web Conf. (WWW) | January 2014

Proc. of the 23rd Intl. World Wide Web Conf. (WWW)

Sumit Gulwani

Invited talk at ASSESS 2014 | January 2014

Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Steffi Swiderski, René Thiemann

IJCAR | January 2014