Publication Multi-Attribute Coalitional Games Samuel Ieong, Yoav Shoham Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006
Publication XRT- Exploring Runtime for .NET Architecture and Applications Nikolai Tillmann, Wolfram Schulte Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26 Projet Projet Projet
Publication A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs Wolfram Schulte ICFEM | January 2006 ISBN: 3-540-47460-9 Projet
Publication Strong Update, Disposal, and Encapsulation in Bunched Typing Josh Berdine, Peter W. O'Hearn Electronic Notes in Theoretical Computer Science | January 2006, Vol 158: pp. 81-98
Publication Textual allusions to artifacts in software-related repositories Gina Venolia MSR ’06: Proceedings of the 2006 international workshop on Mining software repositories | January 2006 ISBN: 1-59593-397-2
Publication Automatic Termination Proofs for Programs with Shape-Shifting Heaps Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearu Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | January 2006 ISBN: 3-540-37406-X
Publication Understanding functional dependencies via constraint handling rules Martin Sulzmann, Gregory Duck, Simon Peyton Jones, Peter Stuckey January 2006 To appear in the Journal of Functional Programming
Publication Haskell Is Not Not ML Simon Peyton Jones European Symposium on Programming, ESOP | January 2006 European Symposium on Programming, ESOP
Publication Adaptive Scheduling With Parallelism Feedback Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson PPOPP | January 2006
Publication A Hybrid Markov/Semi-Markov Conditional Random Field for Sequence Segmentation Galen Andrew Conference on Empirical Methods in Natural Language Processing (EMNLP) | January 2006