Publication Variance and Generalized Constraints for C# Generics Burak Emir, Andrew Kennedy, Claudio Russo, Dachuan Yu ECOOP’06 Proceedings of the 20th European conference on Object-Oriented Programming | July 2006 ISBN: 3-540-35726-2
Publication Effective Typestate Verification in the Presence of Aliasing Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay International Symposium on Software Testing and Analysis | July 2006
Publication 7th Workshop on Formal Techniques for Java-like Programs Francesco Logozzo 7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP’05) | July 2006 7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP'05)
Publication Feature Subsumption for Opinion Analysis Ellen Riloff, Siddharth Patwardhan, Janyce Wiebe Proceedings of EMNLP-06, the Conference on Empirical Methods in Natural Language Processing | July 2006 Proceedings of EMNLP-06, the Conference on Empirical Methods in Natural Language Processing
Publication A Three-Layer Virtual Director Model for Supporting Automated Multi-site Distributed Education Bin Yu, Cha Zhang, Yong Rui , Klara Nahrstedt July 2006
Publication Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution Nikolai Tillmann, Wolfram Schulte IEEE Software | July 2006, Vol 23(4): pp. 38-47 Project Project
Publication Scenario Search on the Grid of Environmental Data Sources Mikhail Zhizhin, Alexey Poyda, Dmitry Mishin, Dmitry Medvedev, Eric Kihn, Vassily Lyutsarev MSR-TR-2006-72 | July 2006
Publication On Space-Stretch Trade-Offs: Upper bounds Ittai Abraham, Cyril Gavoille, Dahlia Malkhi ACM Symposium on Parallel Algorithms and Architectures (SPAA) | July 2006 ACM Symposium on Parallel Algorithms and Architectures (SPAA)
Publication Subspace Gradient Domain Mesh Deformation Jin Huang, Xiaohan Shi, Xinguo Liu, Kun Zhou, Li-Yi Wei, Shang-Hua Teng, Hujun Bao, Baining Guo, Heung-Yeung Shum July 2006