Programming languages & software engineering

Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam

Proc. of OOPSLA | January 2011

Proc. of OOPSLA

Simon Peyton Jones

Haskell ’11: Proceedings of the Fourth ACM SIGPLAN Symposium on Haskell | January 2011

Uriel Feige, Moshe Tennenholtz

STOC | January 2011

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani

SPIE Medical Imaging | January 2011

Cédric Fournet, Karthik Bhargavan, Andy Gordon

Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858

ISBN: 9783642230813

Lecture Notes in Computer Science 6858

Tomas Petricek, Don Syme,

Proceedings of Practical Aspects of Declarative Languages | January 2011

Proceedings of Practical Aspects of Declarative Languages

Project Project

Alexey Gotsman, Josh Berdine, Byron Cook

27th Conference on the Mathematical Foundations of Programming Semantics, MFPS 27, Pittsburgh, PA, USA, May 25-28, 2011. Electr. Notes Theor. Comput. Sci. | January 2011

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson,

SIGSOFT FSE | January 2011

Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian

MODELS 2011 | January 2011

MODELS 2011

Project

Alexandr Andoni, Moses S. Charikar, Ofer Neiman, Huy L. Nguyen

Symposium on Foundations of Computer Science (FOCS) | January 2011