Publication Background of Computation Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science, Number 92 | June 2007
Publication Heap Analysis in the Presence of Collection Libraries Mark Marron, Darko Stefanovic , Manuel Hermenegildo , Deepak Kapur PASTE ’07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | June 2007
Publication Exterminator: Automatically Correcting Memory Errors with High Probability Gene Novark, Emery D. Berger, Ben Zorn Communications of the ACM, pp 87-95, December 2008. A longer version appears in ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI’07), San Diego, CA | June 2007
Publication Learning Multilingual Subjective Language via Cross-Lingual Projections Rada Mihalcea, Carmen Banea, Janyce Wiebe Proceedings of ACL-07, the 45th Annual Meeting of the Association of Computational Linguistics | June 2007
Publication State Isomorphism in Model Programs with Abstract Data Structures Margus Veanes, Juhan Ernits, Colin Campbell FORTE’07 | June 2007 Project
Publication Composition of Model Programs Margus Veanes, Colin Campbell, Wolfram Schulte FORTE | June 2007 ISBN: 978-3-540-73195-5 Project
Publication Balanced Allocations with Heterogeneous Bins ACM Symposium on Parallel Algorithms and Architectures (SPAA) | June 2007
Publication Dynamic Trees in Practice Robert E. Tarjan, Renato Werneck International Workshop on Experimental Algorithms (WEA) | June 2007 International Workshop on Experimental Algorithms (WEA) ISBN: 978-3-540-72844-3
Publication Situation aware computing in distributed computing systems Jurgo Preden, Johannes Helander Proceedings of 10th Symposium on Programming Languages and Software Tools, SPLST | June 2007
Publication Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection Mariusz Jakubowski, Prasad Naldurg, Vijay Patankar, Ramarathnam Venkatesan Information Hiding 2007 | June 2007