Publication Generating finite state machines from abstract state machines Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes ISSTA 2002 | July 2002 Project Project
Publication Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones, Simon Marlow Journal of Functional Programming | July 2002, Vol 12: pp. 393-434
Publication Extended Static Checking for Java Cormac Flanagan, Rustan Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata PLDI’02, June 17-19, 2002, Berlin, Germany | June 2002
Publication Using Data Groups to Specify and Check Side Effects Rustan Leino, Arnd Poetzsch-Heffter, Yunhong Zhou PLDI’02, June 17-19, 2002, Berlin, Germany | June 2002
Publication Deriving specialized program analyses for certifying component-client conformance G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv PLDI ’02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
Publication Deriving specialized analyses for certifying component-client conformance G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv PLDI ’02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002
Publication Growth Transform for Conditional Maximum Likelihood Estimation of Log-Linear Models Milind Mahajan, Ciprian Chelba MSR-TR-2002-65 | June 2002
Publication TerraService.NET: An Introduction to Web Services Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, Jeffrey Richter MSR-TR-2002-53 | June 2002
Publication Feature Selection Using Linear Support Vector Machines Janez Brank, Marko Grobelnik, Natasa Milic-Frayling, Dunja Mladenic MSR-TR-2002-63 | June 2002
Publication Algorithms vs. Machines Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science Number 77 | June 2002
