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

Date: Wed, 15 Jan 1997 01:06:17 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 71151
Last-modified: Mon, 13 Jan 1997 22:22:17 GMT

<TITLE>Researchers in Programming Languages and Compilers</TITLE>
<H1>Researchers in Programming Languages and Compilers</H1>

Here are some home pages of researchers working on programming
language theory, design, implementation, and related areas.<p>

<em>Disclaimer:</em> this list is not exhaustive! Please let me
know if you would like <!WA0><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/new-language-people.html">to be added
to this list</a>, or if you would like an existing entry modified or
deleted.<p>

<!WA1><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html"><!WA2><img alt="" src="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/images/back.xbm"> Back to 
the language research page</a><p>

<h2>Related Pages</h2>
<ul>
<li> The SEL-HPC list of 
<!WA3><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/GeneratedHtml/UserHome.functional.html">home pages of functional language researchers</a>.
<li> The SEL-HPC list of 
<!WA4><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/GeneratedHtml/UserHome.comp.html">home pages of compiler researchers</a>.
<li> Oscar Nierstrasz's list of <!WA5><a href="http://iamwww.unibe.ch/~oscar/WWW/whoswho.html">useful home pages</a>. 
<li> <!WA6><a href="http://www.comlab.ox.ac.uk/archive/formal-methods/whos-who.html">
Who's Who on the Web in Formal Methods</a>
<li> <!WA7><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/lfs-people.html">
Researchers in Logical Frameworks</a>
<li> <!WA8><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/wls/www/sbpm/people.html">
Semantics-Based Program Analysis and Manipulation researchers</a>
</ul>

<H2>Home Pages</H2>
<DL>
<DT><!WA9><a href="http://www.research.digital.com/SRC/personal/Martin_Abadi/home.html">Mart&iacute;n Abadi</a> - DEC SRC
<DD> Security in distributed systems, specification and verification 
methods, principles of programming languages. 

<dt> <!WA10><a href="http://www.dcs.ed.ac.uk/home/samson">Samson Abramsky</a> - University of Edinburgh
<dd> Semantics of programming languages, concurrency, game semantics, program
analysis.

<dt> <!WA11><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/agha.html">Gul Agha</a> - University of Illinois at Urbana-Champaign
<dd> Logic, object-oriented programming, formal semantics, actors.

<dt> <!WA12><a href="http://http.cs.berkeley.edu/~aiken/">
Alex Aiken</a> - Berkeley
<dd> Program analysis, type theory, optimization, constraint theories, 
functional programming, instruction scheduling.

<dt> <!WA13><a href="http://www.isg.sfu.ca/~hak">
Hassan A&iuml;t-Kaci</a> - Simon Fraser University
<dd> Constraint-based programming, object-orientation, logical and
functional programming, and the design of compilation techniques.

<dt> <!WA14><a href="http://www.dsic.upv.es/users/elp/alpuente.html">Maria Alpuente</a> - Technical University of Valencia (Spain)
<dd> Logic Programming: semantics, extensions and applications
integration of functional and logic programming languages abstract
interpretation, program manipulation.

<DT><!WA15><a href="http://www.cs.chalmers.se/~alti">
Thorsten Altenkirch</a> - Chalmers
<DD> Type theory, categorical logic and program verification. 

<DT> <!WA16><a href="http://suif.stanford.edu/~saman/index.html">
Saman Amarasinghe</a> - Stanford
<DD> Compilers for parallel machines, 
<!WA17><a href="http://suif.stanford.edu/index.html">SUIF</a>.

<DT> <!WA18><a href="http://suif.stanford.edu/~anderson/index.html">
Jennifer Anderson</a> - Stanford
<DD> Compilers for scalable parallel machines, 
<!WA19><a href="http://suif.stanford.edu/index.html">SUIF</a>.

<DT> <!WA20><a href="ftp://ftp.diku.dk/diku/semantics/www/people/txix.html">
Peter Holst Andersen</a> - DIKU, University of Copenhagen
<dd> Partial evaluation, C-Mix.

<DT><!WA21><a href="http://www.cs.Princeton.EDU:80/faculty/appel/">
Andrew Appel</a> - Princeton
<DD> Standard ML of New Jersey.  Compilation, optimization, and garbage
collection of mostly functional programming languages. 

<dt> <!WA22><a href="http://www.cs.uoregon.edu/~ariola">Zena Matilde Ariola</a> - 
University of Oregon
<dd> Principles of programming languages, formal
semantics. 

<dt> <!WA23><a href="http://csg-www.lcs.mit.edu:8001/Users/arvind/">Arvind</a> - MIT
<dd> All aspects of parallel computing and declarative programming
languages.  Dynamic dataflow architectures, the implicitly parallel
programming language Id, and the compilation of languages such as Id
on parallel machines.

<dt> <!WA24><a href="http://www.eecs.ukans.edu/~jashley">Mike Ashley</a> - University of Kansas
<dd> Program analysis, program transformations, language design and implementation.

<dt> <!WA25><a href="http://www.cs.nmsu.edu/~mikau/index.html">Mikhail Auguston</a> - New Mexico State University
<dd> Programming languages design and implementation, the design of
the compiler writing language 
<!WA26><a href="http://www.ida.liu.se/labs/pelab/members/vaden/rigal.html">RIGAL</a>,
software engineering, testing and debugging automation, assertion
languages.

<DT><!WA27><a href="http://www.cs.chalmers.se/~augustss">
Lennart Augustsson</a> - Chalmers
<DD> Functional programming and implementation.

<dt> <!WA28><a href="ftp://ftp.netcom.com/pub/hb/hbaker/home.html">Henry Baker</a> - Independent researcher/consultant
<dd> Garbage collection, GC, storage management, programming
languages, Lisp, Ada, APL, ML, functional programming, compilers,
linear types, reversible computation, parallel languages, quantum
computation.

<dt> <!WA29><a href="http://shiva.di.uminho.pt/%7Ecbm/">Carlos Baquero</a> - 
Minho University
<dd> Concurrent object oriented programming, inheritance of concurrency 
control code, C++ extensions, transactions on distributed and mobile computing.

<DT>
<!WA30><A HREF="http://www.cs.purdue.edu/people/gb">Gerald Baumgartner</A> - Purdue
<DD>
Functional and object-oriented languages, type systems, object types, modules.

<DT> <!WA31><a href="http://www.cse.ogi.edu/~bellegar/fb.html">
Fran&ccedil;oise Bellegarde</a> - Oregon Graduate Institute
<DD> Program transformation by rewriting, functional programming,
automatic demonstration, and the use of formal methods for software
development.

<DT> <!WA32><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/esb/pub/html/home.html">
Edoardo Biagioni</A> - Carnegie Mellon
<DD>Functional languages, parallel computing and architectures,
compilers, networking, operating systems, and I/O. 

<dt> <!WA33><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/birkedal/www/birkedal-home.html">
Lars Birkedal</a> - Carnegie Mellon
<dd> Type theory, modules, Standard ML, compilation of ML, the ML Kit, partial
evaluation, SML-Mix.

<dt> <!WA34><a href="http://www.cis.upenn.edu/~sbiswas/home.html">Sandip K. Biswas</a> - University of Pennsylvania
<dd> Compilers, type theory, module systems, separate compilation, 
configuration management, program slicing.

<dt> <!WA35><a href="http://www-swiss.ai.mit.edu/~ziggy/ziggy.html">
Michael R. Blair</a> - MIT
<dd> Dynamically adaptive profile-guided specialization,
partial evaluation, program analyisi, compilation, type theory, subtyping.

<DT> <!WA36><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/guyb/www/home.html">Guy Blelloch</a> - 
Carnegie Mellon
<DD> Parallel languages and compilers.  <!WA37><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/www/nesl.html">NESL</a>.

<dt> <!WA38><a href="http://www.cs.princeton.edu/~blume/">Matthias Blume</a> - 
Princeton
<dd> Implementation of mostly functional languages, in particular SML
and Scheme;  efficient data representation, separate compilation,
compilation management, cross-module optimizations;  language design 

<DT> <!WA39><a href="http://www.cs.washington.edu/homes/borning">Alan Borning</a>
- University of Washington 
<DD> 
<!WA40><a href="http://www.cs.washington.edu/research/projects/weird/www/constraints.html">Constraint-based languages and systems</a>.

<dt> <!WA41><a href="http://www.cs.ucl.ac.uk/staff/L.Braine/">
Lee Braine</a> - University College London
<dd> Functional programming, object-oriented programming, visual
programming, and language implementations.

<DT> <!WA42><a href="ftp://cs.rice.edu/public/preston">Preston Briggs</a> - Rice

<dt> <!WA43><a href="http://web.yl.is.s.u-tokyo.ac.jp/members/briot/home.html">
Jean-Pierre Briot</a> -  University of Tokyo
<dd> Object-oriented programming, concurrency/parallelism, meta-programming
and reflection, artificial intelligence, artificial life, computer
music.

<DT> <!WA44><a href="http://www.cs.williams.edu/~kim/">Kim B. Bruce</a> - 
Williams College
<DD> Semantics and design of programming languages, type theory,
object-oriented languages, models of higher-order lambda calculus
including subtypes and bounded polymorphism.

<dt> <!WA45><a href="http://www.cis.uab.edu/info/faculty/bryant/bryant.html">Barrett R. Bryant</a> - The University of Alabama at Birmingham
<dd> Compiler design, formal semantics, object-oriented technology.

<dt> <!WA46><a href="http://www.cs.orst.edu:80/~budd/">Tim Budd</a> - 
Oregon State
<dd> Programming languages, 
<!WA47><a href="http://www.cs.orst.edu/~budd/leda.html">Leda</a>, 
implementation techniques, 
<!WA48><a href="http://www.cs.orst.edu/~budd/oop.html">OOP</a>. 

<dt> <!WA49><a href="http://plg.uwaterloo.ca:80/~pabuhr/">
Peter Buhr</a> - University of Waterloo
<dd> Polymorphism, persistence, concurrency, and concurrent monitoring,
visualization and debugging. 

<dt> <!WA50><a href="http://www.cs.orst.edu/~burnett">Margaret M. Burnett</a> - 
Oregon State University.
<dd> Visual programming languages design, theory, and implementation.
(<!WA51><a href="ftp://ftp.cs.orst.edu/pub/burnett">ftp-able papers</a>).

<dt> <!WA52><a href="http://www.dcs.ed.ac.uk/infopages/rb.html">Rod Burstall</a> - Edinburgh
<dd> Computer-aided proof and its relation to type theory; development
of correct programs with respect to a specification; applications of
category theory in computer science.

<dt> <!WA53><a href="http://www-rocq.inria.fr/~canalda/">
Philippe Canalda</a> - INRIA Rocquencourt
<dd> PAGODE: a generator of optimizing code generators, compilation
techniques, CoSy : an optimizing compiler platform, software
engineering, automatic term rewriting system generation, term and DAG
normalization problem, non-deterministic finite state automata with
non-linear and unification pattern constraints, dynamic programming,
reentrant programming, pattern matching.  

<DT> <!WA54><a href="http://www.research.digital.com/SRC/personal/Luca_Cardelli/home.html">Luca Cardelli</a> - DEC SRC
<DD> Theory of programming languages: polymorphism, subtyping,
objects, recursion, modularization, typechecking, distribution.
Modula-3, Obliq, ML2000.

<dt> <!WA55><a href="http://www.cs.mtu.edu/faculty/Carr.html">Steve Carr</a> -
Michigan Technological University
<dd> Compilers for instruction-level parallel architectures.

<dt> <!WA56><a href="http://www.cs.yale.edu/HTML/YALE/CS/Brochure/faculty/carriero.html">Nicholas Carriero</a> - Yale
<dd> Systems issues in the development and deployment of
software tools for parallelism

<dt> <!WA57><a href="http://www.ens.fr/users/castagna/index.html">
Giuseppe Castagna</a> - 
LIENS (Laboratoire d'Informatique de l'Ecole Normale  
Sup&eacute;rieure)
<dd> Type theory, object-oriented programming.

<dt> <!WA58><a href="http://www.cs.tu-berlin.de/~chak/">Manuel M.T. Chakravarty</a> - 
Technical University of Berlin
<dd> Design and implementation of functional and logic programming
languages with emphasis on the integration of both paradigms and
parallel implementations.

<DT> <!WA59><a href="http://www.cs.washington.edu/people/faculty/chambers.html">
Craig Chambers</a> - University of Washington
<DD> Design and implementation of advanced object-oriented languages. 
<!WA60><a href="http://www.cs.washington.edu/research/projects/cecil/cecil/www/cecil-home.html">Cecil</a>.

<dt> <!WA61><a href="http://www.iit.edu/~tc">Thomas Christopher</a> - 
Illinois Institute of Technology
<dd> Parallel programming languages, compilers, experimental programming 
models, message-driven computing, and Icon.

<dt> <!WA62><a href="http://www.eecis.udel.edu/~carroll/homepage.html">Mark Chu-Carroll</a> - University of Delaware
<dd> Programming languages and environments, general purpose
parallel programming, compiler analysis and high-level optimization.

<dt> <!WA63><a href="http://soglio.colorado.edu/">Wayne Citrin</a> - University of Colorado
<dd> Visual programming languages and environments.

<dt> <!WA64><a href="http://www.cs.ucl.ac.uk/staff/C.Clack/">Chris Clack</a> - 
University College London
<dd> Language design, programming environments and techniques
(especially functional programming), high performance computing

<dt> <!WA65><a href="http://www.ccs.neu.edu/home/will/">William D Clinger</a> - 
Northeastern
<dd> Higher order and functional languages: design and
specification, optimizations and their correctness,
generational garbage collection.

<dt> <!WA66><a href="http://foxnet.cs.cmu.edu/people/acid">Chris Colby</a> - Carnegie Mellon