http:^^www.cs.cmu.edu^afs^cs.cmu.edu^user^mleone^web^language-people.html

This data set contains WWW-pages collected from computer science departments of various universities

<dd> Program analysis via abstract interpretation of the aliasing,
synchronization, and communication behavior of concurrent languages
such as Concurrent ML.

<dt> <!WA67><a href="http://www.prism.uvsq.fr/public/jfcollar/index.html">Jean-Francois Collard</a> - CNRS, Laboratory PRISM
<dd> Static analyses, dataflow analyses, automatic parallelization,
scheduling, data-parallel functional programming

<dt> <!WA68><a href="http://www.irisa.fr/EXTERNE/projet/lande/consel/consel">
Charles Consel</a> -  University of Rennes/IRISA
<dd> Static program analysis, compilation and compiler generation,
programming environment, prototyping and program transformation. 

<dt> <!WA69><a href="http://www.cs.cornell.edu/Info/Faculty/Robert_Constable.html">
Robert Constable</a> - Cornell
<dd> Systems for computer-assisted problem solving in programming and
mathematics, such as <!WA70><a
href="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html">Nuprl</a>.  
Models and program refinement for the Polya
programming language.

<dt> <!WA71><a href="http://plg.uwaterloo.ca/~gvcormac">Gordon V. Cormack</a> - 
University of Waterloo
<dd> Parsing and text processing, attribute grammars, data types, concurrency.

<dt> <!WA72><a href="http://www.ens.fr/~cousot">Patrick Cousot</a> - ENS, Paris
<dd> Static program analysis, abstract interpretation,
program development and verification, semantics.

<dt> <!WA73><a href="http://www.cs.kuleuven.ac.be/~dirk/">
Dirk Craeynest</a> - 
K. U. Leuven
<dd>Semantics directed compiler construction, integrated environments,
programming language Ada, software engineering.

<DT> <!WA74><a href="http://www.research.microsoft.com/research/analysts/rfc/">Roger Crew</a> 
- Microsoft Research
<DD>Semantics, program analysis, verification and
transformations.

<dt> <!WA75><a href="http://www.cs.wustl.edu/~cytron">
Ron Cytron</a> - Washington University in St. Louis
<dd> Program optimization, program transformation, intermediate
representations.

<dt> <!WA76><a href="http://www.sics.se/people/mads-dam.html">
Mads Dam</a> - Swedish Institute of Computer Science
<dd> First and higher order modal and temporal logics, compositional
verification techniques, process specification languages, and
applications to computer based systems for cooperative work.

<dt> <!WA77><a href="http://cuiwww.unige.ch/OSG/Dami/HomePage.html">
Laurent Dami</a> - Universit&eacute; de Gen&egrave;ve
<dd> <!WA78><A HREF="http://cuiwww.unige.ch/OSG/Hop/">The HOP Calculus</A>;
integration of functional and object-oriented languages.

<dt> <!WA79><a href="http://www.daimi.aau.dk/~danvy">
Olivier Danvy</a> - Aarhus University
<dd> Programming languages, partial evaluation, continuations.

<dt> <!WA80><a href="http://foxnet.cs.cmu.edu/people/rowan/home.html">Rowan Davies</a> - Carnegie Mellon
<dd> Type systems, ML, refinement types, partial evaluation,
computation staging, program analysis.

<dt> <!WA81><a href="http://www.cs.washington.edu/homes/jdean/">Jeffrey Dean</a> - 
University of Washington
<dd> Practical whole program analysis, partial evaluation, interprocedural
optimization for object-oriented languages.  The <!WA82><a href="http://www.cs.washington.edu/research/projects/cecil/cecil/www/cecil-home.html">Cecil
project</a>.

<dt> <!WA83><a href="http://www.ift.ulaval.ca//recherche/profs/debbabi/research_en.html">Mourad Debbabi</a> - Laval University, Quebec
<dd> Programming languages, integration of paradigms, semantics and
formal methods.

<DT> <!WA84><A HREF="http://www.ai.mit.edu/people/andre/andre.html">Andr&eacute DeHon</A>
 - MIT
<DD> <!WA85><A HREF="http://www.ai.mit.edu/projects/transit/tn103/tn103.html">
Quasistatic computing</a>, specialization, feedback, and adaptation

<dt> <!WA86><a href="http://www.cwi.nl/~arie/">Arie van Deursen</a> - 
CWI, Amsterdam
<dd> Language prototyping, algebraic specifications, language-specific
tools, program understanding, software reengineering.

<dt> <!WA87><a href="http://www.cs.uni-sb.de/~diehl">Stephan Diehl</a> - 
Universitaet des Saarlandes (University Saarbruecken)
<dd> Semantics of programming languages, semantics directed generation
of compilers and abstract machines, meta-programming, WWW programming
languages.

<dt> <!WA88><a href="http://www.cwi.nl/~dinesh/">T. B. Dinesh</a> - 
<!WA89><a href="http://www.cwi.nl/">CWI</a> 
<dd> Object oriented programming; algebraic specifications;
theorem proving; visual languages; partial evaluation; ASF+SDF;
static program analysis

<dt> <!WA90><a href="http://www.cs.umass.edu/~diwan/home.html">Amer Diwan</a> - University of Massachusetts
<dd> Garbage collection, inlining, memory system performance, optimization for
memory hierarchies, partial evaluation, program analysis, compilers for
object-oriented languages.

<DT> <!WA91><a href="http://www.cis.rl.ac.uk/people/sd/contact.html">Simon 
Dobson</a> - Rutherford Appleton Laboratory
<DD> Programming abstractions for parallel and distributed
systems, compilation, program transformation, semantics.

<DT> <!WA92><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/spot/web/home.html">
Scott Draves</A> - Carnegie Mellon
<DD> Partial evaluation, abstraction vs. performance.

<dt> <!WA93><a href="http://www.research.microsoft.com/research/analysts/bduba/">Bruce F. Duba</a> - 
<!WA94><a href = "http://www.research.microsoft.com/">Microsoft Research</A>
<dd> Design and implementation of programming languages.

<dt> <!WA95><a href="http://nuada.uwaterloo.ca/dduggan.html">Dominic Duggan</a> -
University of Waterloo
<dd> Type systems and type inference (ML3000), object types, dynamic
types, operational semantics, higher-order unification, explicit
substitutions, partial continuations, application frameworks.

<dt> <!WA96><a href="http://www.cs.kuleuven.ac.be/~dirkd/">Dirk Dussart</a> - 
Katholieke Universiteit Leuven, Belgium
<dd> Program specialization techniques.

<dt> <!WA97><a href="http://www.cs.washington.edu/homes/eggers/">
Susan Eggers</a> - University of Washington
<dd> Dynamic compilation, code scheduling, parallel optimizations for locality.

<DT> <!WA98><a href="http://www.cs.rice.edu/~mernst/">
Michael Ernst</a> - Rice University
<DD> Static analysis, slicing, debugging (including optimized code),
serialization of parallel programs; game theory, intellectual
property.

<dt> <!WA99><a href="http://www-swiss.ai.mit.edu/ftpdir/users/dae/home.html">David Espinosa</a> - MIT and Columbia
<dd> Monads, compiler and operating system architecture.

<DT> <!WA100><a href="ftp://cse.ogi.edu/pub/crml/fegaras.html">
Leonidas Fegaras</a> - Oregon Graduate Institute
<DD>Functional programming, database programming languages, query optimization,
program transformation and verification. 

<DT> <!WA101><a href="http://www.cs.rice.edu:80/~matthias/">
Matthias Felleisen</a> - Rice
<DD> Principles of programming languages

<dt> <!WA102><a href="http://www.research.att.com/orgs/ssr/people/maryf/">Mary Fernandez</a> - AT&amp;T Research
<dd> Improving software development through the design of very
high-level and special-purpose programming languages and the
development of tools for their efficient implementation, such as the
<!WA103><a href="http://www.cs.princeton.edu/grad/mff/toolkit">New Jersey
Machine-Code toolkit</a>.

<dt> <!WA104><a href="http://www-cse.ucsd.edu/users/ferrante">
Jeanne Ferrante</a> - University of California, San Diego
<dd> Intermediate representations for optimizing and parallelizing compilers;
optimization in parallel and memory hierarchy machines.

<DT> <!WA105><A HREF="http://www.dcs.ed.ac.uk/~aof/">
Andrzej Filinski</A> - Edinburgh
<DD> Continuations, CPS, category theory.

<dt> <!WA106><a href="http://www.dcs.gla.ac.uk:80/~sof/">Sigbjorn Finne</a> - Glasgow
<dd> Lazy functional languages, specifically Haskell, and their
use in the implementation of graphical user interfaces.

<dt> <!WA107><a href="http://www.cs.rice.edu:80/~cormac/">
Cormac Flanagan</a> - Rice
<dd> Analysis and implementation of high-level parallel programming
languages.

<dt> <!WA108><a href="http://www.mcs.anl.gov/people/foster/">Ian Foster</a> - 
Argonne National Laboratory
<dd> Parallel languages, compilers, runtime systems, applications.

<DT> <!WA109><a href="ftp://netlib.att.com/netlib/att/cs/home/cwfraser.html">
Christopher W. Fraser</a> - Bell Laboratories
<DD> Retargetable code generation and optimization, including 
<!WA110><a href="http://www.cs.princeton.edu/software/lcc"><tt>lcc</tt></a>,
a retargetable compiler for ANSI C.

<DT> <!WA111><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/tsf/html/home.html">
Timothy Freeman</A> - Carnegie Mellon
<DD> Refinement types, ML

<dt> <!WA112><a href="http://www.cs.indiana.edu/hyplan/dfried.html">Dan Friedman</a> - 
Indiana University
<dd> Principles of programming languages

<dt> <!WA113><a href="http://www.hpl.hp.com/personal/Svend_Frolund">
Svend Fr&#248;lund</a> - HP Labs 
<dd> Object-oriented languages; language support for coordination,
distribution, concurrency, persistence, and fault-tolerance.

<dt> <!WA114><a href="http://www.cs.yale.edu/HTML/YALE/CS/Brochure/faculty/gelernter.html">
David Gelernter</a> - Yale
<dd> <!WA115><a href="http://www.cs.yale.edu/HTML/YALE/CS/Linda/linda.html">
Linda</a>, parallel programming, software ensembles, artificial
intelligence, adaptive parallelism, programming environments for parallelism,
realtime data fusion, and expert databases.

<DT> <!WA116><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/shai/WWW/home.html">
Shai Geva</A> - Carnegie Mellon
<DD> Semantics, intensional aspects of computation, domain theory,
concurrency, functional programming, reasoning about programs.

<dt> <!WA117><a href="http://www.di.unipi.it/~ghelli/ghelli.html">Giorgio Ghelli</a> - Pisa University
<dd> Database programming languages, type theory, object oriented
languages; the object-oriented database programming language
Fibonacci.

<DT> <!WA118><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/anwar/mosaic/anwar-home.html">Anwar M. Ghuloum</a> - Carnegie Mellon
<DD> Compilers: optimizing and parallelizing sequential languages, parallel
algorithms, languages, and architectures.

<dt> <!WA119><a href="http://www.dcs.gla.ac.uk/~andy/">Andy Gill</a> - Glasgow
<dd> Using equational reasoning to perform non-trivial proofs;
deforestation; purely functional finite maps; parsing combinators.

<dt> <!WA120><a href="http://www.nullstone.com">Christopher Glaeser</a> - 
Nullstone Corporation
<dd> Methodologies to evaluate compiler optimization and run-time 
performance.

<dt> <!WA121><a href="http://www.comlab.ox.ac.uk/oucl/people/joseph.goguen.html">
Joseph A. Goguen</a> - Oxford
<dd> Software engineering; formal methods; object oriented, relational and
functional programming and their combinations; concurrent computer
architecture based on rewriting; algebraic specification; theorem
proving; hardware verification; philosophy of computation.

<dt> <!WA122><a href="http://cs.nyu.edu/cs/faculty/goldberg/index.html">
Benjamin Goldberg</a> - New York University
<dd> Functional programming, memory management, program optimization

<DT><!WA123><a href="http://www.cl.cam.ac.uk/users/adg/">Andrew Gordon</a> - 
Cambridge
<DD> Operational semantics; I/O and concurrency; mechanised verification.

<dt> <!WA124><a href="http://www.dstc.qut.edu.au/~gough">John K. Gough</a> - 
Queensland University of Technology
<dd> Code generation, optimization.  Implementation of programming
languages, strongly typed imperative languages.

<dt> <!WA125><a href="http://www.cs.yorku.ca/People/graham/">T.C. Nicholas Graham</a> - York University
<dd> Functional programming languages, languages for developing user
interfaces and multi-media groupware, visual programming environments.

<DT> <!WA126><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/jdg/www/home.html">
John Greiner</A> - Carnegie Mellon
<DD> Language models of complexity, type theory, parallel algorithms.

<dt> <!WA127><a href="http://www.cs.washington.edu/homes/grove/index.html">
Dave Grove</a> - University of Washington
<dd> Design, implementation and optimization of advanced
object-oriented languages, such as <!WA128><a
href="http://www.cs.washington.edu/research/projects/cecil/cecil/www/cecil-home.html">Cecil</a>.

<dt> <!WA129><a href="http://www.cis.upenn.edu/~gunter/home.html">Carl Gunter</a> - University of Pennsylvania
<dd> Domain theory, semantics of polymorphism, computational aspects of linear
logic, structure and representation of partial information.

<dt> <!WA130><a href="http://www.cs.pitt.edu:80/~gupta/">Rajiv Gupta</a> - University of Pittsburgh
<dd> Parallelizing and optimizing compilers; parallel architectures;
distributed, real-time, and fault tolerant computing; software testing
and debugging

<dt> <!WA131><a href="http://www.cs.colostate.edu/~gupta">
Sandeep K. S. Gupta</a> - 
Colorado State University
<dd> Parallelizing compilers, parallel program synthesis and parallel computing.

<DT> <!WA132><a href="http://suif.stanford.edu/~mhall/index.html">
Mary Hall</a> - Stanford