Clear results
Legend
Vasco T Vasconcelos Sarita V Adve Kenneth Chisholm Alexander L Wolf Nenad Medvidovic Eelco Visser Tim Sheard Jeffrey S Foster Karl Crary Peter Thiemann Stephanie Weirich Patrick Cousot Rupak Majumdar Andrew M Pitts Peter Sewell Matthew Flatt James R Larus Seth Copen Goldstein Mitchell Wand Sergio Antoy Peri L Tarr Mark Wegman Ronald W Morrison Dennis M Ritchie Richard C H Connor Jim Gray Andrew D Gordon Stanley M Sutton David E Culler Jon G Riecke Ralph L London C A R Hoare David J Dewitt Andrew W Appel Philip A Bernstein Elena Zucca Catherine A Ball Tim Harris Kim B Bruce David A Patterson Salvador Lucas Jeanne Ferrante Ron Morrison Robert E Strom Jonathan M Smith Gregg Rothermel Flemming Nielson Eric Brewer Yves Lesperance Stephen C Johnson Mads Tofte Gregory R Andrews John E Hopcroft Jeremy G Siek Leslie Lamport Oscar Nierstrasz Victor R Basili Barbara Liskov Nicolas Halbwachs Rosario Pugliese Wm A Wulf Neil D Jones Lori A Clarke Rafael H Bordini Daniel G Bobrow Moshe Y Vardi Nathaniel Nystrom David W Walker Alfred V Aho Mira Mezini J A Bergstra Gerald J Popek Craig Chambers Jose Meseguer Ugo Montanari Ralf Lammel Jens Palsberg David Macqueen Susan L Graham Douglas C Schmidt Klaus Ostermann Michael Hicks Geoffrey Smith Peter W Ohearn Stephen J Fink Daniel P Friedman Matthias Zenger Frank Pfenning Michael Wooldridge James R Cordy Vincent Danos Greg Nelson Andrew D Birrell Andreas Zeller Krzysztof Czarnecki Russell R Atkinson M E Lesk Naoki Kobayashi Robert Harper Dexter Kozen Zohar Manna Mary Jean Harrold Rajeev Alur John A Stankovic Dawson R Engler Xavier Leroy Alan F Blackwell J J Horning Ian A Mason Vijay Saraswat Jomi Fred Hubner David Harel Perry Cheng James E Donahue Guy L Steele Gregor Kiczales Jongdeok Choi William R Cook David F Bacon Mariangiola Dezaniciancaglini David Ungar Eric Tanter Martin Abadi Richard Bird Antony L Hosking Mads Tofte Gary T Leavens Robert Bruce Findler Jeff Magee Alessandro Garcia Carole Goble David N Turner Edsger W Dijkstra Alan Borning Amir Pnueli Katherine Yelick Bertrand Meyer Wolfram Schulte Greg Morrisett Susan J Eggers Albert R Meyer Robert W Scheifler Mooly Sagiv Suzanna E Lewis Michael Ernst Martin Abadi Cristiano Calcagno Jeffrey D Ullman Simon Peyton Jones Robert E Tarjan Bruce F Duba Anand S Rao David L Dill Radhia Cousot Joseph Y Halpern Andrew P Black Richard Helm Gregor Kiczales Carl Hewitt Janan T Eppig Robert L Constable John Mylopoulos Edward A Lee Steven Eker Trevor Jim Mehmet Aksit John F Pane Kenneth L Mcmillan Manuel V Hermenegildo Kohei Honda Norman I Adams Fred B Schneider Hongwei Xi Stefan Hanenberg Erich Gamma Jan Heering Ian Foster Simon L Peyton Jones Henry M Levy A W Roscoe Serge Abiteboul Erik Hilsdale Narciso Martioliet Robin Milner Oege De Moor Thomas R G Green Joxan Jaffar Nobuko Yoshida Peter Wegner Rocco De Nicola Richard C Holt Todd Millstein Roel Wuyts Jeffrey Palm Hector J Levesque Maurice Herlihy Georges Gonthier Graham Kirby James E Rumbaugh Nevin Heintze Alex Aiken Gail C Murphy Peter J Stuckey Malcolm P Atkinson Hongseok Yang Joseph Goguen Vijay Saraswat Lorenzo Bettini Zhong Shao Stephen A Edwards David Garlan Matthew Hennessy Joel Saltz Thomas Reps Dan Grossman Michael Wolfe Michael Hind Haruo Hosoya Carl A Gunter J W Klop Joseph M Hellerstein Margaret Burnett John V Guttag Henri E Bal Daniel P Friedman David Stemple Marjan Mernik Arie Van Deursen Andrew C Myers John Whaley Bill Joy Michael I Schwartzbach Lawrence C Paulson Gul Agha Renzo Orsini Scott F Smith Monica S Lam Saman Amarasinghe Sven Apel Gordon Plotkin Manuel Clavel Rod Burstall Dennis Volpano Ivar Jacobson Dale Miller Jeff Kramer William G Griswold Krzysztof R Apt Stanley B Zdonik John C Mitchell Gerald Jay Sussman David Padua Guy L Steele Michael Hanus Michael J Fischer David J Kuck Guy E Blelloch William D Clinger Vikram S Adve Martin Rinard Adele Goldberg Johnjules Ch Meyer Steve Zdancewic David Grove Akinori Yonezawa Amy Felty Andrei Sabelfeld Gail E Kaiser Jack Dongarra Jeannette M Wing David Robson Michael J Carey Gerard J Holzmann Jose Meseguer Stephane Ducasse Thomas Anderson James Gosling Glynn Winskel Grady Booch Walid Taha Hanne Riis Nielson Charles Consel Lars Birkedal Kathryn S Mckinley Andrew Kennedy Jan Vitek K Rustan M Leino Paul R Wilson Olivier Danvy Mary Shaw Matthias Felleisen Tom Schrijvers Paul Caspi David Maier Radha Jagadeesan Olejohan Dahl Didier Remy George C Necula Kristen Nygaard John H Reppy Eugenio Moggi Manuel Fahndrich Kevin Sullivan Neal Glew Shriram Krishnamurthi Mark P Jones Mik Kersten Peter Lee Sophia Drossopoulou Richard J Waldinger J Eliot B Moss Edmund M Clarke Xavier Leroy Michael Ashburner Philip Wadler Barbara G Ryder Atsushi Ohori James Noble Robert Harper Frank Tip David Garlan Robert W Floyd Richard N Taylor Vivek Sarkar Mario Tokoro Butler W Lampson Carl Kesselman Ben Shneiderman Gilad Bracha Giorgio Ghelli S C Johnson Lionel C Briand Andrew Lumsdaine Matthew B Dwyer Robert Harper Susan Horwitz Michael P Georgeff Giuseppe Castagna Donald E Knuth Hans P Zima Christopher T Haynes Cedric Fournet Cristina Videira Lopes Karl Lieberherr Erik Meijer Alan Snyder R M Burstall Brad A Myers Luca Cardelli Corrado Priami Ravi Sethi Tobias Nipkow Bart Jacobs Alfred V Aho Tim Teitelbaum David Gelernter Dewayne E Perry Alan Dearle Craig Schaffert Gerard Huet Jonathan Aldrich Brian N Bershad Paul Klint Narain H Gehani Nick Benton Jim Hugunin Paul Hudak R D Tennent Raymond Reiter Simon Marlow Gerard Berry William H Harrison Gavin Bierman David Sands Chris Hankin David Gries Michael Stonebraker Joel E Richardson John C Reynolds Guy Mccusker Brian W Kernighan David Notkin John Hennessy Sriram K Rajamani Chauwen Tseng David Scott Warren Davide Sangiorgi Andrew S Tanenbaum Lodewijk Bergmans Gavin Sherlock Bjarne Stroustrup David Botstein Mehdi Dastani Ralph Johnson Benjamin C Pierce Marian Petre James J Horning Laurie Hendren Kevin Hammond Peter Sestoft Anindya Banerjee Thomas A Henzinger Dana S Scott Thom Fruhwirth Eric Jul Randy Pausch David R Musser Nicholas R Jennings Steven P Reiss Henry Lieberman Chris Verhoef Gopalan Nadathur Robert Deline Martin Odersky Martin Erwig Andre Scedrov Robert Gluck Jonathan Rees Judith A Blake Carsten Schurmann Don Batory Jennifer Widom Philip Wadler Donald Sannella Charles E Leiserson Rachid Guerraoui Klaus Havelund Peter Buneman Grigore Rosu Ken Kennedy Simon Peytonjones Samson Abramsky Luca Cardelli