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> Type theory and its application to language design, in particular
logic- and functional-programming languages.  Logic,
automated theorem proving, formal program development, and programming
environments.

<dt> <!WA255><a href="http://www.icsi.berkeley.edu/~phlipp">Michael Philippsen</a> - 
ICSI, Berkeley
<dd> Languages and compilers for parallel and distributed machines.

<DT> <!WA256><a href="http://www.cs.indiana.edu/hyplan/pierce.html">
Benjamin C. Pierce</a> - Indiana University
<DD> Static type systems, subtyping, bounded quantification, type
inference, lambda-calculus, intersection types, concurrency.

<DT> <!WA257><A HREF="http://www-csag.cs.uiuc.edu/individual/jplevyak">John Plevyak</A> 
- University of Illinois, Urbana-Champaign 
<DD> Concurrent object-oriented programming language design and
compilation.  Type Inference.  Structure Analysis.  Concurrent C++.
The Illinois <!WA258><A HREF="http://www-csag.cs.uiuc.edu/projects/concert">Concert</A>
project.

<DT> <!WA259><a href="http://www.dcs.ed.ac.uk/infopages/gdp.html">Gordon Plotkin</a> - Edinburgh
<dd> Applications of logic, especially denotational and operational
semantics of programming languages; semantics of type systems, monadic
theories of computation, general proof theory and the semantics of
natural language, particularly type-free intensional logics for
situation theory.

<dt> <!WA260><a href="http://www.eecis.udel.edu/~pollock/homepage.html">Lori L. Pollock</a> - University of Delaware
<dd> Optimizing compilers for high performance architectures, compiler
phase integration, language and compiler support for cluster
computing, optimizing explicitly parallel programs, parallel
compilers.

<dt> <!WA261><a href="http://www.ccs.neu.edu/~salil/">Salil Pradhan</a> - Northeastern University
<dd> Adaptive architecture description languages.

<dt> <!WA262><a href="http://theory.stanford.edu/people/pratt/home.html">
Vaughan Pratt</a> - Stanford
<dd> Semantics of parallel and distributed computing.

<dt> <!WA263><a href="http://www.cs.unc.edu/~prins/">Jan F. Prins</a> - 
University of North Carolina at Chapel Hill
<dd> High-level programming languages; formal techniques in program
development; parallel algorithms and parallel computation; compilation
of programs for parallel execution.

<DT> <!WA264><a href="http://www.cs.umd.edu/faculty/pugh.html">
William Pugh</a> - University of Maryland
<DD>Algorithms and data structure design and analysis, skip lists,
compilers for massively parallel architectures, integer programming
for array data dependence analysis.

<dt> <!WA265><a href="http://www.ee.lsu.edu/jxr/jxr.html">J. Ramanujam</a>  - 
Louisiana State University
<dd> Parallelizing compilers, high-performance computing, programming
languages, computer architecture, programming environments.

<dt> <!WA266><a href="http://www.cs.virginia.edu/~nr">Norman Ramsey</a> - University
of Virginia
<dd> Machine-code tools, retargetability, literate programming, and debugging. 

<dt> <!WA267><a href="http://http2.brunel.ac.uk:8080/~csstcmr/">
Chris Reade</a> - Brunel University
<dd> Functional programming, functional I/O, theory of programming
languages, type theory, and formal methods.

<DT> <!WA268><a href="http://www-swiss.ai.mit.edu/~jar/jar.html">
Jonathan Rees</a> - MIT
<DD> Scheme, user-defined data types, lexically scoped macros,
modules, categories, monads, Scheme-based operating systems.

<dt> <!WA269><a href="http://www.diku.dk/research-groups/topps/personal/rehof.html">
Jakob Rehof</a> - DIKU, University of Copenhagen
<dd> Type systems; type inference;
logical and computational aspects of type systems;
type systems in program analysis.

<dt> <!WA270><a href="http://www.dcs.gla.ac.uk:80/~areid/">Alastair Reid</a> - 
Glasgow
<dd> Use and implementation of functional languages (graphics, garbage
collection, user interfaces, debugging). Formal program development
(transformation and implementation of algebraic specifications of
abstract data types).

<dt> <!WA271><a href="http://www.cs.duke.edu/~reif/HomePage.html">John Reif</a> - 
Duke
<dd> Parallel algorithms, compilers for parallel machines, 
formal methods for synthesis of parallel algorithms.

<dt> <!WA272><a href="http://www.neci.nj.nec.com/homepages/reinhold.html">
Mark Reinhold</a> - NEC Research Institute
<dd> Garbage collection, compilation techniques, type systems,
semantics, and the visualization and analysis of program performance.

<dt> <!WA273><a href="http://pauillac.inria.fr:80/~remy/">Didier Remy</a> - 
INRIA Rocquencourt
<dd> Type systems; object oriented programming.

<dt> <!WA274><a href="http://www.cs.wisc.edu/~reps/reps.html">
Thomas Reps</a> - University of Wisconsin at Madison
<dd> Language-based programming environments; program slicing,
differencing, and merging; interprocedural dataflow analysis; and
incremental algorithms.

<dt> <!WA275><a href="http://www.research.att.com/orgs/ssr/people/riecke">
Jon G. Riecke</a> - Bell Laboratories
<dd> Theory of programming languages: operational and denotational
semantics, logics of programs, formal methods, type systems and
inference, abstraction.  Higher-order languages with state,
control, polymorphism.

<dt> <!WA276><a href="http://www.diku.dk/~kris/">Kristoffer Rose</a> - 
DIKU, University of Copenhagen 
<dd> Semantics, lambda calculus, rewrite systems, explicit
substitution, abstract machines, sharing, graph reduction.

<DT> <!WA277><a href="http://www.cwi.nl/cwi/people/Guido.van.Rossum.html">
Guido van Rossum</a> - CWI (Centre for Mathemathics and Computer Science), Amsterdam
<DD> Object-oriented languages, scripting languages, prototyping
languages; designed and implemented Python, co-implemented ABC

<dt> <!WA278><a href="http://pauillac.inria.fr/~rouaix/">
Francois Rouaix</a> - INRIA Rocquencourt
<dd> Extensions of the ML type system, overloading, object-oriented
programming, abstract types, type operators, modularity.

<DT> <!WA279><a href="http://www.research.microsoft.com/research/analysts/ruf/">
Erik Ruf</a> - Microsoft Research
<DD>Design, implementation, and optimization of programming languages, and
the use of program analysis to support program understanding and
transformation.

<dt> <!WA280><a href="http://www.cs.rutgers.edu/~ryder/">Barbara Ryder</a> - Rutgers
<dd> Compile-time program analyses and software tools for
parallel/sequential programming environments.  Chair of ACM SIGPLAN.

<DT><!WA281><a href="http://www.cs.uoregon.edu/~sabry/home.html">
Amr Sabry</a> - University of Oregon
<DD> Compilers, data flow analysis, abstract interpretation,
programming language calculi, and semantic foundations. 

<DT><!WA282><a href="ftp://ftp.diku.dk/diku/semantics/www/people/dave.html">
David Sands</a> - DIKU, University of Copenhagen
<DD> Programming language semantics, and their applications to
abstract interpretation and related semantics based analysis
techniques.

<DT><!WA283><a href="http://www.dcs.ed.ac.uk/staff/dts/index.html">Don Sannella</a> - Edinburgh LFCS
<DD> Formal development of modular software from specifications.
Modularization mechanisms.  Machine-assisted proof.  Semantics.

<dt><!WA284><a href="http://www.dcs.gla.ac.uk:80/~sansom/">Patrick Sansom</a> - Glasgow
<dd> Implementation and runtime support of pure functional languages,
including compiler analysis and optimisation, garbage collection, and
profiling.

<dt> <!WA285><a href="http://shiva.di.uminho.pt/~jas">Joao A. Saraiva</a> - 
Universidade do Minho
<dd> Compilers, attribute grammars, parallel compilation.

<DT> <!WA286><a href="http://www.cis.upenn.edu/~andre/">
Andre Scedrov</a> - University of Pennsylvania
<DD> Mathematical logic, mathematical aspects of programming
structures.

<dt> <!WA287><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/wls/www/home.html">Bill Scherlis</a> - Carnegie Mellon
<dd> Semantics-based program analysis and manipulation, information structures.

<DT> <!WA288><a href="http://www.cis.ksu.edu/~schmidt/home.html">
David Schmidt</a> - Kansas State
<DD> Denotational semantics and intuitionistic type theory.

<dt> <!WA289><a href="http://www.daimi.aau.dk/~mis/">Michael I. Schwartzbach</a> - 
BRICS, University of Aarhus
<dd> Programming languages: type systems, type inference, 
static program analysis, data types, language design, implementation.

<DT> <!WA290><a href="http://www.mit.edu:8001/afs/athena/user/c/o/cottons/www/homepage.html">Cotton Seed</a> - MIT and the Motorola Cambridge Research Center
<DD> Computer architecture, compilers for MPPs, dataflow and implicitly
parallel languages, program analysis, auto-parallelization.


<dt> <!WA291><a href="http://www.dina.kvl.dk/~sestoft">
Peter Sestoft</a> - Royal Veterinary and Agricultural University, Denmark
<dd> Functional programming languages and their implementation, program
analysis and transformation, and partial evaluation.

<DT> <!WA292><a href="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/shao-zhong/index.html">
Zhong Shao </a> - Yale
<DD>Efficient compilation of high-level languages, interaction of
languages and compilers with modern architectures, programming
environments, and formal methods.

<DT> <!WA293><a href="http://www.cse.ogi.edu/~sheard/sheard.html">
Tim Sheard</a> - Oregon Graduate Institute
<DD> Compile-time reflection, type parametric programming, 
program transformation, and algebraic programming. 

<dt> <!WA294><a href="http://clark.lcs.mit.edu/~shivers/home.html">
Olin Shivers</a> - MIT
<dd> Advanced programming languages 
(such as 
<!WA295><A HREF="http://www-swiss.ai.mit.edu/scheme-home.html">Scheme</A>
and ML), systems, and personal user interfaces.

<dt> <!WA296><a href="http://www.dis.strath.ac.uk/people/sinclair/">
Duncan Sinclair</a> - University of Strathclyde
<dd> Functional programming and in particular, how HCI research could
be used to make creation of graphical user interfaces for functional
programs easier.

<dt> <!WA297><a href="http://www.dcs.gla.ac.uk:80/~satnam/">Satnam Singh</a> - Glasgow
<dd> Using functional languages for hardware specification, synthesis
and analysis.

<dt> <!WA298><a href="http://www.cs.jcu.edu.au/~tony">Anthony Sloane</a> - 
James Cook University
<dd> Generation of programming language implementations, tools and environments
from high-level specifications.

<DT> <!WA299><a href="http://www.cs.jhu.edu/scott/home.html">Scott F. Smith</a> - 
Johns Hopkins
<DD> Operational semantics of imperative, object-oriented, and concurrent
programming languages.  Operational equivalence of programs, logics of
programs.

<DT> <!WA300><a href="http://www.ai.mit.edu/people/ellens/ellens.html">
Ellen Spertus</a> - MIT
<DD> Value dependence graph IR, code generation and register allocation for
superscalar/superpipelined architectures.

<dt> <!WA301><a href="http://www-acaps.cs.mcgill.ca/~sreedhar">
Vugranam C. Sreedhar</a> - McGill University
<dd> Data flow analysis, compiler optimization, instruction level
parallelism, multithreaded architecture, optimizing explicit parallel
programs, memory consistency models.

<DT> <!WA302><a href="http://www.research.microsoft.com/research/analysts/rusa/">
Bjarne Steensgaard</a> - Microsoft Research
<DD>Static program analysis, program transformation, value dependence
graph IR, data flow analyses, store splitting, partial evaluation.

<dt> <!WA303><a href="http://progwww.vub.ac.be/prog/persons/prsteyae/prsteyae.html">
Patrick Steyaert</a> - Brussels Free University
<dd> Reflection and object-oriented programming languages and
systems; User interfaces, user interface building, application building.

<DT> <!WA304><a href="http://www.cis.ksu.edu/~allen/home.html">
Allen Stoughton</a> - Kansas State
<DD> Programming language semantics, full abstraction, models of the applied
typed lambda calculus PCF, logical relations and lambda definability.

<dt> <!WA305><a href="http://www.icsi.berkeley.edu/~davids">
David Stoutamire</a> - International Computer Science Institute
<dd> Compiling for distribution, compiling for locality,
garbage collection, Sather.

<dt> <!WA306><a href="http://www.york.ac.uk/~dwjsc100">Dave WJ Stringer-Calvert</a> -
University of York, UK
<dd> Compiler verification and the 
<!WA307><A HREF="http://www.csl.sri.com/sri-csl-pvs.html">PVS</A> verification system.

<dt> <!WA308><a href="http://www.cse.ogi.edu/~walidt/walidt.html">Walid Taha</a> - 
Oregon Graduate Institute
<dd> Transformational programming systems, functional
programming, object-oriented programming, software engineering and compilers.

<dt> <!WA309><a href="http://www-formal.stanford.edu/pub/clt/home.html">
Carolyn Talcott</a> - Stanford
<dd> Formal reasonin