Publication Construction and Use of Linear Regression Models for Processor Performance Analysis P J Joseph, Kapil Vaswani, Matthew J Thazuthaveetil Proceedings of the International Conference on High Performance Computer Architecture (HPCA) | January 2005
Publication A Programmable Hardware Path Profiler Kapil Vaswani, Matthew J Thazuthaveetil, Y N Srikant Proceedings of the International Symposium on Code Generation and Optimization (CGO) | January 2005
Publication Staying Oriented with Software Terrain Maps Robert DeLIne Workshop on Visual Languages and Computation | January 2005
Publication Abstract interpretation and Object-oriented languages: quo vadis? Francesco Logozzo, Agostino Cortesi Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool’05), | January 2005 Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),
Publication Testing Concurrent Object-Oriented Systems with Spec Explorer Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes January 2005 ISBN: 3-540-27882-6 Project Project Project
Publication The Essence of Data Access in Comega Gavin Bierman, Erik Meijer, Wolfram Schulte ECOOP | January 2005 ISBN: 3-540-27992-X
Publication Fast and Compact: A Simple Class of Congestion Games Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2005 Proceedings of National Conference on Artificial Intelligence (AAAI)
Publication The Effect of Network Topology on the Spread of Epidemics Ayalvadi Ganesh, Laurent Massoulié, Don Towsley Proc. IEEE Infocom | January 2005
Publication Practical type inference for arbitrary-rank types Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields Journal of Functional Programming | January 2005, Vol 17: pp. 1-82 Submitted to the Journal of Functional Programming