Programming languages & software engineering

Moritz Becker, Cédric Fournet, Andy Gordon

MSR-TR-2006-120 | July 2007

ISBN: 0-7695-2819-8

Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE

Sumit Gulwani, Ashish Tiwari

CAV’07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007

ISBN: 978-3-540-73367-6

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany | July 2007

ISBN: 978-3-540-73367-6

Rajeev Motwani, Rina Panigrahy, Ying Xu 0002

International Colloquium on Automata, Languages and Programming, (ICALP) | July 2007

Nick Benton, Uri Zarfaty

Proceedings of the Ninth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP ’07) | July 2007

Patrice Godefroid, Michael Y. Levin, David Molnar

MSR-TR-2007-91 | July 2007

Yuri Gurevich

ACM Transactions on Computational Logic | July 2007

Zicheng Liu, Cha Zhang, Zhengyou Zhang

July 2007

Best Paper Award

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Proceedings of the Ninth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP ’07) | July 2007

Frances Perry, Chris Hawblitzel, Juan Chen

International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07) | July 2007