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> Interprocedural optimization for parallelizing compilers,
<!WA133><a href="http://suif.stanford.edu/index.html"> SUIF</a>.

<DT> <!WA134><a href="http://www.cs.chalmers.se/~hallgren">
Thomas Hallgren</a> - Chalmers
<DD> Type systems with subtypes, graphical user interfaces for
functional languages.

<dt> <!WA135><a href="http://www.dcs.gla.ac.uk:80/~kh/">Kevin Hammond</a> - Glasgow
<dd> Design and implementation of pure functional languages, such as Haskell.

<DT> <!WA136><a href="http://www.cse.psu.edu/~hannan">John Hannan</a> -
Penn State 
<DD> Operational semantics and type theory; compiler verification;
mathematical logic; program transformation; abstract machines.

<DT> <!WA137><a href="http://www.cs.princeton.edu/faculty/drh">
David R. Hanson</a> - Princeton
<DD> <!WA138><a href="http://www.cs.princeton.edu/software/lcc"><tt>lcc</tt></a>,
a retargetable compiler for ANSI C.
Programming languages, compilers, programming environments.

<dt> <!WA139><a href="http://www-i2.informatik.rwth-aachen.de/hanus/">
Michael Hanus</a> - RWTH Aachen 
<dd> Type systems for and implementation of logic programming
languages, integration of functional and logic programming languages
(ALF system), abstract interpretation of logic, functional logic and
constraint logic programming languages.

<dt> <!WA140><a href="http://www.cs.rmit.edu.au/~jah">James Harland</a> - Royal Melbourne Institute of Technology
<dd> Foundations of logic programming, linear logic, proof theory,
deductive databases, computational logic. 

<DT> <!WA141><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/rwh/public/www/home.html">
Robert Harper</A> - Carnegie Mellon
<DD> Logical frameworks, machine-assisted proofs, ML, ML2000, modules,
lambda calculus, type theory, category theory, semantics and logics of
programs, functional programming, applications of functional languages
to systems programming.

<DT> <!WA142><a href="http://www.diku.dk/research-groups/topps/personal/hatcliff.html">John Hatcliff</a> - DIKU, University of Copenhagen
<DD> Operational semantics, correctness of program transformations,
continuations, logics and type theory, logical frameworks, partial
evaluation, computational monads, static analysis of programs.

<DT> <!WA143><a href="http://www.cs.indiana.edu/hyplan/chaynes.html">Chris Haynes</a> - 
Indiana
<DD> Type systems, control abstraction, symbolic computation, Scheme.

<DT> <!WA144><a href="ftp://ftp.diku.dk/pub/diku/users/henglein">Fritz Henglein</a> - 
DIKU, University of Copenhagen
<DD>Type inference systems, program analysis, algorithmic and 
 computational complexity, global program optimization

<dt> <!WA145><a href="http://www.comlab.ox.ac.uk/oucl/people/jonathan.hill.html">
Jonathan M. D. Hill</a> - Oxford
<dd> Bulk Synchronous Parallel model; 
<!WA146><A HREF="http://www.comlab.ox.ac.uk/oucl/users/jonathan.hill/dp-fp.html">
Data-parallel non-strict functional programming;</A>
<!WA147><A HREF="http://www.lpac.ac.uk/SEL-HPC/Materials/HPFlibrary/">Implementation
of the HPF library in Fortran 90</A>

<dt> <!WA148><a href="http://www.mcs.newpaltz.edu/faculty/hind.html">
Michael Hind</a> - SUNY at New Paltz, visiting IBM Research
<dd> Compiler optimizations and programming languages.

<dt> <!WA149><a href="http://www.comlab.ox.ac.uk/oucl/people/tony.hoare.html">
C.A.R. Hoare</a> - Oxford
<dd> Programming methods and languages, proof techniques for programs,
distributed computing, category theory in computing science, C-mos
switching circuit design.

<dt> <!WA150><a href="http://www.turing.toronto.edu/homes/holt/main.html">
Richard C. Holt</a> - University of Toronto
<dd> Object oriented programming languages and teaching programming.

<dt> <!WA151><a href="http://www.cs.ucsb.edu/~urs">
Urs H&ouml;lzle</a> - University of California,
Santa Barbara
<dd> Object-oriented programming languages, compilers for object-oriented
languages, run-time compilation.

<DT> <!WA152><a href="http://www.cse.ogi.edu/~hook/hook.html">
James Hook</a> - Oregon Graduate Institute
<DD> Application of formal methods to software development, the theory
and practice of specification and programming languages, and type
theory.

<dt> <!WA153><a href="http://www.netcom.com/~jhorning">Jim Horning</a> -
InterTrust Technologies
<dd> Language design and implementation;
specification languages and tools (e.g., <!WA154><a href="http://larch-www.lcs.mit.edu:8001/larch/">Larch</a>); C++ and the Standard Template Library.

<dt> <!WA155><a href="http://www.cs.wisc.edu/~horwitz/horwitz.html">Susan Horwitz</a> - University of Wisconsin at Madison
<dd> Language-based programming environments; program slicing,
differencing, and merging; static analysis of programs; and
interprocedural dataflow analysis.

<dt> <!WA156><a href="http://www.cs.purdue.edu/people/hosking">Antony L. Hosking</a> - 
Purdue University
<dd> Programming language design and implementation: compilation,
interpretation, and optimization; run-time systems (e.g., garbage
collection).  Object-oriented database systems; database and
persistent programming languages and systems.  Empirical performance
evaluation of prototype systems.

<DT> <!WA157><a href="http://www.cis.ksu.edu/~bhoward/home.html">
Brian Howard</a> - Kansas State
<DD> Programming language design and theory, particularly functional
languages, semantics, and type theory.  Logic and computation.
Natural language processing.

<dt> <!WA158><a href="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul.html">
Paul Hudak</a> - Yale
<dd> Functional programming, Haskell, parallel programming in Haskell,
modular interpreters, mutable abstract datatypes.

<dt> <!WA159><a href="http://www.cs.nott.ac.uk/Department/Staff/gmh/">
Graham Hutton</a> - University of Nottingham
<dd> Functional programming; relational programming; polytypic
programming; programming calculi; recursion operators; categorical
methods.

<dt> <!WA160><a href="http://www.cs.ruu.nl/people/graham">Graham Hutton</a> - Utrecht University, The Netherlands
<dd> Functional and relational programming, category theory in
computer science, algebraic approaches to programming.

<dt> <!WA161><a href="http://www4.ncsu.edu/~purush/www">
S. Purushothaman Iyer</a> - 
North Carolina State University
<dd> Abstract Interpretation, Concurrency, Formal methods.

<dt> <!WA162><a href="http://www.cs.cmu.edu/afs/cs/user/dnj/pub/www/home.html">
Daniel Jackson</a> - Carnegie Mellon
<dd> Tractable representations and analyses of designs and
code. Specifications, design methods, static analysis, model checking.

<dt> <!WA163><a href="http://mypage.direct.ca/q/qjackson/">
Quinn Tyler Jackson</a> - Lambda Systems Ltd.
<dd> Pattern matching, language-to-language translation, 
OO-to-non-OO modeling

<dt> <!WA164><a href="http://www.neci.nj.nec.com/homepages/jagannathan.html">
Suresh Jagannathan</a> - NEC Research Institute 
<dd> Advanced language and compiler technology for the Scheme
programming language; the incorporation of formal methods such as
continuation models, type inference, abstract interpretation, etc. as
a foundation for such a technology; parallel and distributed computing
for symbolic and irregular applications.

<dt> <!WA165><a href="http://www.sics.se/~sverker">
Sverker Janson</a> - SICS (Swedish Institute of Computer Science)
<dd> Foundations, design, and implementation technology for
multiparadigm languages that offer a combination of concurrency
(distribution), constraints, and mutable state.

<dt> <!WA166><a href="http://www.cs.chalmers.se/~johanj">Johan Jeuring</a> - 
Chalmers
<dd> Program calculation, programming methodology, type systems
and programming languages for polytypic programming, functional
programming.

<dt> <!WA167><a href="http://www.cis.upenn.edu/~tjim/home.html">Trevor Jim</a> - University of Pennsylvania
<dd> Semantics, compilers, type inference.

<dt> <!WA168><a href="http://www.cs.man.ac.uk/fmethods/people/cliff-jones.html">
Cliff B. Jones</a> - Manchester University
<dd> Compositional formal methods for parallel environments,
support systems for formal methods,
<!WA169><a href="http://www.cs.man.ac.uk/fmethods/refs/lpf-refs.html">LPF</a>.

<dt> <!WA170><a href="http://www.cs.nott.ac.uk/Department/Staff/mpj/index.html">
Mark P. Jones</a> - University of Nottingham
<dd> Programming language design and implementation, type theory, module
systems, program transformation and analysis, functional programming.

<dt> <!WA171><a href="http://www.dcs.gla.ac.uk:80/~simonpj/">Simon Peyton Jones</a> - Glasgow
<dd> Design, implementation, and application of lazy functional
languages. In practical terms, that means I spend most of my time on
our implementation of Haskell, the Glasgow Haskell Compiler, and its
ramifications.

<dt> <!WA172><a href="ftp://ftp.diku.dk/diku/semantics/www/people/knud.html">
Jesper J&oslash;rgensen</a> - DIKU, University of Copenhagen
<dd> Semantic based program manipulation and program analyses. Program
specialization (e.g. partial evaluation, deforestation and
supercompilation), flow and binding-time analysis and representation
analysis.

<dt> <!WA173><a href="http://www-rocq.inria.fr/~jourdan">Martin Jourdan</a> - 
INRIA, Rocquencourt, France
<dd> Attribute grammars (esp. the 
<!WA174><A HREF="http://www-rocq.inria.fr/charme/FNC-2/">FNC-2 system</A>), program
analysis, compiler construction and generation.

<DT>
<!WA175><A HREF="http://www.research.digital.com/SRC/people/Bill_Kalsow/bio.html">
Bill Kalsow</A> - DEC SRC
<DD>
<!WA176><A HREF="http://www.research.digital.com/SRC/modula-3/html/home.html">
Modula-3</A>, programming languages and environments, compilers
and runtime systems

<dt> <!WA177><a href="http://www.cwi.nl/~jasper/">Jasper Kamperman</a> - 
CWI
<dd> Compilation of term rewriting systems, algebraic, equational and
functional languages, lazy rewriting, algebraic specifications.

<dt> <!WA178><a href="http://www.uni-paderborn.de/cs/uwe.html">Uwe Kastens</a> - 
University of Paderborn, Germany
<dd> Methods and tools for language implementation,
compilation for parallel machines.

<DT> <!WA179><a href="http://Theory.Stanford.EDU/~katiyar/">
Dinesh Katiyar</a> - Sun Microsystems
<DD> Programming languages, object-oriented languages, multi-language systems,
interface definition languages, type theory 

<dt> <!WA180><a href="http://www.neci.nj.nec.com/homepages/kelsey.html">
Richard Kelsey</a> - NEC Research Institute 
<dd> Compiling scheme, <!WA181><a href="http://www-swiss.ai.mit.edu/~jar/s48.html">Scheme 48</a>,
continuation-passing style.

<dt> <!WA182><a href="http://www.cl.cam.ac.uk/users/ajk13">Andrew Kennedy</a> - 
University of Cambridge
<dd> Type systems, type inference, dimension types and the extension of 
programming languages to support physical dimension, functional programming.

<dt> <!WA183><a href="http://www.cs.washington.edu/homes/pardo/">
David Keppel</a> - University of Washington
<dd> Abstractions, architectures, binding times, caches,
compilers, dynamic compilation, emulation, operating systems,
performance analysis, runtime code generation, runtime systems,
self-modifying code, instruction-set simulation, threads, tracing,
value-specific optimization.

<dt> <!WA184><a href="http://www.cs.utwente.nl/~keulen/">Maurice van Keulen</a> - 
University of Twente
<dd> Type systems, polymorphy, functional programming, database
specification, object-orientation, semantics of such languages.

<DT><!WA185><A HREF="http://www.parc.xerox.com/spl/members/gregor/">Gregor Kiczales</A>
- Xerox PARC
<DD> Object-oriented programming, reflection, metaobject protocols, open
compilers, efficient compilation of high-level programs.

<dt> <!WA186><a href="http://www.dcs.gla.ac.uk:80/~gnik/">David King</a> - Glasgow
<dd> Expressing graph algorithms in Haskell, algorithm design and
correctness, imperative functional programming.

<DT> <!WA187><a href="http://www.cs.purdue.edu/people/knapp">Edgar Knapp</a> - 
Purdue
<DD> Formal methods for concurrent program development, tool support for
program design, retargetable implementation of concurrent programs.

<dt> <!WA188><a href="http://www.research.microsoft.com/research/graphics/knoblock/">
Todd Knoblock</a> - Microsoft Research
<dd> 4D graphics and interactivity, program specializaton, run time
code generation, partial evaluation, high level programming languages,
program analysis and optimization, and type theory.

<dt> <!WA189><a href="http://www.cs.toronto.edu/~kulki">Dattatraya Kulkarni</a> - 
University of Toronto
<dd> Compiler optimizations, program transformations

<dt> <!WA190><a href="http://compiler.kaist.ac.kr/~kwang">Kwangkeun Yi</a> - 
Korea Advanced Institute of Science and Technology
<dd> Compile-time program analysis, programming environments,
program analysis tools, safe programming.

<DT> <!WA191><a href="http://suif.stanford.edu/~lam/index.html">
Monica Lam</a> - Stanford
<DD> Compiler optimizations, computer architectures, parallel computing,
<!WA192><a href="http://suif.stanford.edu/index.html"> SUIF</a>.