pl unis

pl unis

Carnegie Mellon - Timothy Freeman 
Carnegie Mellon - Shai Geva 
Carnegie Mellon - Sean Levy, Allen Dutoit, Eric Gardner, Eswaran Subrahmanian 
Carnegie Mellon - Scott Draves 
Carnegie Mellon - Rowan Davies 
Carnegie Mellon - Robert Harper 
Carnegie Mellon - Peter Lee 
Carnegie Mellon - Lars Birkedal 
Carnegie Mellon - John Greiner 
Carnegie Mellon - Jeannette Wing 
Carnegie Mellon - Guy Blelloch 
Carnegie Mellon - Frank Pfenning 
Carnegie Mellon - Edoardo Biagioni 
Carnegie Mellon - Daniel Jackson 
Carnegie Mellon - Chris Colby 
Carnegie Mellon - Bill Scherlis 
Carnegie Mellon - Anwar M. Mohammed 
Glasgow - Simon Peyton Jones 
Glasgow - Sigbjorn Finne 
Glasgow - Satnam Singh 
Glasgow - Philip Wadler 
Glasgow - Patrick Sansom 
Glasgow - Kevin Hammond 
Glasgow - John O'Donnell 
Glasgow - David N. Turner 
Glasgow - David King 
Glasgow - Bryan O'Sullivan 
Glasgow - Andy Gill 
Glasgow - Alastair Reid 
DIKU, University of Copenhagen - Robert Glück 
DIKU, University of Copenhagen - Peter Holst Andersen 
DIKU, University of Copenhagen - Morten Welinder 
DIKU, University of Copenhagen - Kristoffer Rose 
DIKU, University of Copenhagen - Kristian Nielsen 
DIKU, University of Copenhagen - John Hatcliff 
DIKU, University of Copenhagen - Jesper Jørgensen 
DIKU, University of Copenhagen - Jakob Rehof 
DIKU, University of Copenhagen - Fritz Henglein 
DIKU, University of Copenhagen - David Sands 
DIKU, University of Copenhagen - Christian Mossin 
MIT - William E. Weihl 
MIT - Olin Shivers 
MIT - Michael R. Blair 
MIT - Mark Vandevoorde 
MIT - Jonathan Rees 
MIT - Jens Palsberg 
MIT - James O'Toole 
MIT - Ellen Spertus 
MIT - Arvind 
Stanford - Vaughan Pratt 
Stanford - Saman Amarasinghe 
Stanford - Monica Lam 
Stanford - Mary Hall 
Stanford - John Mitchell 
Stanford - Jennifer Anderson 
Stanford - Carolyn Talcott 
Oregon Graduate Institute - Walid Taha 
Oregon Graduate Institute - Tim Sheard 
Oregon Graduate Institute - Leonidas Fegaras 
Oregon Graduate Institute - John Launchbury 
Oregon Graduate Institute - James Hook 
Oregon Graduate Institute - Françoise Bellegarde 
Microsoft Research - Todd Knoblock 
Microsoft Research - Roger Crew 
Microsoft Research - Erik Ruf 
Microsoft Research - Daniel Weise 
Microsoft Research - Bruce F. Duba 
Microsoft Research - Bjarne Steensgaard 
Chalmers - Thorsten Altenkirch 
Chalmers - Thomas Hallgren 
Chalmers - Patrik Jansson 
Chalmers - Martin Weichert 
Chalmers - Lennart Augustsson 
Chalmers - Johan Jeuring 
Yale - Zhong Shao 
Yale - Sheng Liang 
Yale - Paul Hudak 
Yale - Nicholas Carriero 
Yale - David Gelernter 
University of Washington - Susan Eggers 
University of Washington - David Keppel 
University of Washington - Dave Grove 
University of Washington - Craig Chambers 
University of Washington - Alan Borning 
INRIA Rocquencourt - Xavier Leroy 
INRIA Rocquencourt - Uwe Nestmann 
INRIA Rocquencourt - Philippe Canalda 
INRIA Rocquencourt - Luc Maranget 
INRIA Rocquencourt - Francois Rouaix 
DEC SRC - Martín Abadi 
DEC SRC - Luca Cardelli 
DEC SRC - Leslie Lamport 
DEC SRC - K. Rustan M. Leino 
DEC SRC - Bill Kalsow 
NEC Research Institute - Suresh Jagannathan 
NEC Research Institute - Richard Kelsey 
NEC Research Institute - Mark Reinhold 
NEC Research Institute - Andrew Wright 
Kansas State - David Toman 
Kansas State - David Schmidt 
Kansas State - Brian Howard 
Kansas State - Allen Stoughton 
Indiana University - Y. Annie Liu 
Indiana University - Mark Leone 
Indiana University - Dan Friedman 
Indiana University - Benjamin C. Pierce 
University of Wisconsin at Madison - Thomas Reps 
University of Wisconsin at Madison - Susan Horwitz 
University of Wisconsin at Madison - James Larus 
University of Waterloo - Peter Buhr 
University of Waterloo - Gordon V. Cormack 
University of Waterloo - Dominic Duggan 
University of Pennsylvania - Trevor Jim 
University of Pennsylvania - Sandip K. Biswas 
University of Pennsylvania - Leonid Libkin 
University of Pennsylvania - Dale Miller 
University of Pennsylvania - Carl Gunter 
University of Pennsylvania - Andre Scedrov 
University of Nottingham - Stephen Thomas 
University of Nottingham - Mark P. Jones 
University of Nottingham - Graham Hutton 
University College London - Russel Winder 
University College London - Lee Braine 
University College London - Chris Clack 
Rice - Preston Briggs 
Rice - Matthias Felleisen 
Rice - Cormac Flanagan 
Princeton - Matthias Blume 
Princeton - David R. Hanson 
Princeton - Andrew Appel 
Oxford - Joseph A. Goguen 
Oxford - Jonathan M. D. Hill 
Oxford - C.A.R. Hoare 
Edinburgh - Gordon Plotkin 
Edinburgh - Bob Tennent 
Edinburgh - Andrzej Filinski 
Cornell - Robert Constable 
Cornell - Greg Morrisett 
Cornell - David Gries 
Cambridge - Robin Milner 
Cambridge - Larry Paulson 
Cambridge - Andrew Gordon 
University of Toronto - Richard C. Holt 
University of Toronto - Dattatraya Kulkarni 
University of Rennes/IRISA - Luke Hornof 
University of Rennes/IRISA - Charles Consel 
University of Oregon - Zena Matilde Ariola 
University of Oregon - Amr Sabry 
University of North Carolina at Chapel Hill - Lars Nyland 
University of North Carolina at Chapel Hill - Jan F. Prins 
University of Illinois, Urbana-Champaign - Steve Novack 
University of Illinois, Urbana-Champaign - John Plevyak 
University of Glasgow - Fairouz Kamareddine 
University of Glasgow - David Watt 
University of Colorado at Boulder - William M. Waite 
University of Colorado at Boulder - Benjamin Zorn 
University of California, Santa Barbara - Urs Hölzle 
University of California, Santa Barbara - Pedro Diniz 
Purdue - Gerald Baumgartner 
Purdue - Edgar Knapp 
Northeastern University - Salil Pradhan 
Northeastern University - Karl Lieberherr 
New York University - Krishna Palem 
New York University - Benjamin Goldberg 
INRIA Rocquencourt - Didier Remy 
INRIA Rocquencourt - Didier Parigot 
Edinburgh LFCS - Don Sannella 
Edinburgh LFCS - Chris Walton 
CWI - T. B. Dinesh 
CWI - Jasper Kamperman 
Bell Laboratories - Jon G. Riecke 
Bell Laboratories - Christopher W. Fraser 
York University - T.C. Nicholas Graham 
Xerox PARC - Gregor Kiczales 
Williams College - Kim B. Bruce 
Wesleyan University - Jim Lipton 
Wen Tseng - University of Maryland -Chau
Wellesley College - Franklyn Turbak 
Waterloo - Dave Mason 
Washington University in St. Louis - Ron Cytron 
Utrecht University, The Netherlands - Graham Hutton 
Utrecht University - Erik Meijer 
University of Virginia - Norman Ramsey 
University of Twente, The Netherlands - Albert Nymeyer 
University of Twente - Maurice van Keulen 
University of Tokyo - Akinori Yonezawa 
University of Texas at El Paso - Daniel E. Cooke 
University of Texas at Austin - Paul R. Wilson 
University of Strathclyde - Duncan Sinclair 
University of Pittsburgh - Rajiv Gupta 
University of Pisa - Franck van Breugel 
University of Pennsylvania. Institute of Systems Science, Singapore. - Limsoon Wong 
University of Paderborn, Germany - Uwe Kastens 
University of Massachusetts - Amer Diwan 
University of Maryland - William Pugh 
University of Maribor, Slovenia - Marjan Mernik 
University of Karlsruhe - Martin Odersky 
University of Kansas - Mike Ashley 
University of Illinois at Urbana-Champaign - Gul Agha 
University of Edinburgh - Samson Abramsky 
University of Delaware - Lori L. Pollock 
University of Cyprus - George A. Papadopoulos 
University of Colorado - Wayne Citrin 
University of Cambridge - Andrew Kennedy 
University of California, San Diego - Jeanne Ferrante 
University of Berne - Oscar Nierstrasz 
University of Amsterdam - Eelco Visser 
Université de Genève - Laurent Dami 
Universitaet des Saarlandes (University Saarbruecken) - Stephan Diehl 
Universidade do Minho - Joao A. Saraiva 
UC Berkeley - Raph Levien 
U.C. Berkeley - Katherine Yelick 
The University of Alabama at Birmingham - Barrett R. Bryant 
The Portland Group - Michael Wolfe 
The Australian National University - David Wolfram 
Technische Universität München - Tobias Nipkow 
Technical University of Valencia (Spain) - Maria Alpuente 
Technical University of Valencia, Spain - German Vidal 
Technical University of Berlin - Manuel M.T. Chakravarty 
Syracuse University - Peter O'Hearn 
Swedish Institute of Computer Science - Mads Dam 
SUNY at New Paltz, visiting IBM Research - Michael Hind 
Sun Microsystems - Dinesh Katiyar 
SICS (Swedish Institute of Computer Science) - Sverker Janson 
RWTH Aachen - Michael Hanus 
Rutherford Appleton Laboratory - Simon Dobson 
Rutgers - Barbara Ryder 
Royal Veterinary and Agricultural University, Denmark - Peter Sestoft 
Royal Melbourne Institute of Technology - James Harland 
Rice University - Michael Ernst 
Queensland University of Technology - John K. Gough 
Qiang Zhang - University of Georgia at Athens -Guo
Purdue University - Antony L. Hosking 
Portland State University - Andrew Tolmach 
Pisa University - Giorgio Ghelli 
Pierre Briot - University of Tokyo -Jean
Penn State - John Hannan 
Oregon State University. - Margaret M. Burnett 
Oregon State - Tim Budd 
Nullstone Corporation - Christopher Glaeser 
Northeastern - William D Clinger 
Northeastern - Mitchell Wand 
North Carolina State University - S. Purushothaman Iyer 
New Mexico State University - Mikhail Auguston 
models and calculi for concurrent computation; how to present logics to machines; semantics of high-level programming constructs. - Mathematical models of computation 
MIT and the Motorola Cambridge Research Center - Cotton Seed 
MIT - André DeHon 
MIT and Columbia - David Espinosa 
MIT AI Laboratory - David McAllester 
Minho University - Carlos Baquero 
Michigan Technological University - Steve Carr 
Melbourne University - Michael Winikoff 
McGill University - Vugranam C. Sreedhar 
Manchester University - Cliff B. Jones 
Macquarie University, Sydney - Mehmet A. Orgun 
LRI, Université Paris-Sud, Orsay (Paris XI) - Olivier Michel 
Loyola University of Chicago - Konstantin Läufer 
Louisiana State University - J. Ramanujam 
LIENS (Laboratoire d'Informatique de l'Ecole Normale Supérieure) - Giuseppe Castagna 
Laval University, Quebec - Mourad Debbabi 
La Trobe University, Melbourne Australia - John Ophel 
Lambda Systems Ltd. - Quinn Tyler Jackson 
Lake Shore Labs; Metromail Corp; Illinois Institute of Technology - George K. Thiruvathukal 
Kyushu Institute of Technology - Takashi Yamanoue 
Kyungpook National University, Korea - Sangwook Kim 
Kyoto University - Atsushi Ohori 
K. U. Leuven - Dirk Craeynest 
KTH, Dept. of Teleinformatics - Björn Lisper 
Korea Advanced Institute of Science and Technology - Kwangkeun Yi 
Keio University - Mario Tokoro 
Katholieke Universiteit Leuven - Michael Leuschel 
Katholieke Universiteit Leuven, Belgium - Dirk Dussart 
Kaci - Simon Fraser University -Hassan Aït
Johns Hopkins - Scott F. Smith 
James Cook University - Anthony Sloane 
ISI-CNR, Rende, Italy - Domenico Talia 
InterTrust Technologies - Jim Horning 
International Computer Science Institute - David Stoutamire 
INRIA, Rocquencourt, France - Martin Jourdan 
INRIA - Pierre Weis 
Indiana - Chris Haynes 
Independent researcher/consultant - Henry Baker 
Illinois Institute of Technology - Thomas Christopher 
ICSI, Berkeley - Michael Philippsen 
IBM T.J. Watson - Frank Tip 
Hyun Jo - Kyonggi University, Korea -Chang
Humboldt-University Berlin - Frank Mueller 
HP Labs - Svend Frølund 
Haverford College - David Wonnacott 
Hamburg University, Germany - Florian Matthes 
Hamburg University - Bernd Mathiske 
Halmstad University, Sweden - Jonas Skeppstedt 
Francois Collard - CNRS, Laboratory PRISM -Jean
Florida State University - David B. Whalley 
Fachhochschule Worms, Deutschland, Germany - Henrik Quintel 
ENS, Paris - Patrick Cousot 
Edinburgh - Rod Burstall 
Duke - John Reif 
Digital Equipment Corporation, Western Research Laboratory - Jeffrey Dean 
DEC CRL - Rishiyur Nikhil 
CWI (Centre for Mathemathics and Computer Science), Amsterdam - Guido van Rossum 
CWI, Amsterdam - Arie van Deursen 
Colorado State University - Sandeep K. S. Gupta 
Carroll - University of Delaware -Mark Chu
Calvert - University of York, UK -Dave WJ Stringer
Brussels Free University - Patrick Steyaert 
Brunel University - Chris Reade 
BRICS, University of Aarhus - Michael I. Schwartzbach 
Boston College - Robert Muller 
Berkeley - Alex Aiken 
Bell Laboratories, Lucent Technologies - Thomas Ball 
Beijing University of Aero and Astro (BUAA) - Gao Xiaocheng 
AT&T Research - Mary Fernandez 
Argonne National Laboratory - Ian Foster 
Agder College - Algirdas Pakstas 
Aarhus University - Olivier Danvy