Interesting Research Groups and Facultys
- AT&T Laboratories
- Brussels Free University,
Department of Computer
Science
- Programming Technology Lab
research projects:
- Agora project
Agora is a prototype-based object-oriented programming language
featuring encapsulated inheritance on objects.
-
OPUS project
OPUS is the theoretical counterpart of Agora. The main motivation of
the OPUS
research project is to design an elementary calculus to express
object-orientedness.
It should model the crucial features of object-oriented programming in an
orthogonal way.
- Carnegie Mellon University
- The
Fox Project
Advanced languages and compilers for real-world systems programming.
(Served by the
The FoxNet Web Server, which is written completely
in an extension of Standard ML.)
- Logical Frameworks at CMU
The LF logical framework
and its implementation in the Elf constraint logic programming language.
- The MESS Project.
Semantics-based techniques for compiling advanced programming
languages
- The
Principles of Programming (POP) Group
Applications of logic (including formal semantics and type theory);
techniques for designing and implementing programming languages;
formal specification and verification of hardware and software systems
- The
Scandal project.
NESL, a data-parallel language with nested parallelism;
supercomputer compilation techniques, including
data representation and layout.
- The
Venari Project.
Programming and specification language design, semantics, and
implementation; concurrent and distributed systems; databases and
persistent objects; software development libraries and
environments.
- Chalmers University of Technology
- The
Functional Programming Group.
Programming logics and the Martin-Löf theory of types; functional
programming languages, their use and implementation; process calculi
such as CCS; developing tools and methodologies for deriving correct
as well as efficient programs.
- Digital Equipment Corporation (DEC)
- DFKI, the German Research Center for AI
- European Computer-Industry Research Centre (ECRC)
- The
Facile Group.
Facile is a high-level, higher-order programming language for systems
that require a combination of complex data manipulation and concurrent
and distributed computing. It combines Standard ML, with a model
of higher-order concurrent processes based on CCS.
- Glasgow University
- The Formal Methods and Theory Group.
- The Functional Programming Group.
Haskell language and implementation; state, input/output, and
concurrency; semantics based program manipulation; applications of
category theory and type theory; parallel functional programming;
functional languages for massive parallelism; using functional
languages for hardware specification, synthesis and analysis; large
applications of functional languages.
-
Hamburg University
- The
DBPL Project.
DBPL is a type-complete modular database programming language that
extends Modula-2 orthogonally by a data type relation, access
abstractions, persistent modules and transactions.
- The P-Quest Project.
P-Quest is a persistent version of the polymorphic programming language Quest.
- The
Tycoon Project.
Tycoon is a polymorphic persistent programming environment for
the development of data-intensive applications in open environments.
- Imperial College
- Indiana University
- INRIA Rennes
- The
MALI project.
Logic programming language design and implementation.
lambda Prolog.
- INRIA Rocquencourt
- The Charm Project.
Attribute grammars (esp. the FNC-2 system), program
analysis, compiler construction and generation.
- Projet Cristal.
Formalisms of static typing for programming languages, and their
use in the design and the implementation of robust and efficient tools
for typed programming, including the Caml and
Objective Caml
compilers.
- IRISA/University of Rennes
- Projet LANDE
Implementation of functional and logic programming languages,
program analysis, program transformation, memory, management,
formally-based software engineering tools for declarative languages,
partial evaluation.
- Projet COMPOSE
This group focuses on partial evaluation, a program transformation that
specializes a program with respect to compile-time or run-time invariants.
- Kansas State University
- The
Programming Language Semantics Group.
Stackability of functional and imperative languages,
computational aspects of classical linear logic, applications of type
theory, full abstraction and the applied typed lambda calculus PCF.
- Kyushu University
- The
Internet Prover Project
See a type assignment figure for the lambda-term you give, or see a
proof figure for the implicational formula you give, if the formula is
provable in intuitionistic logic.
- Royal Institute of Technology, Sweden
- The
Declarative programming of Parallel Systems (PDP) group.
Implementation of declarative languages,
mainly on parallel computers; integration of parallel programming
primitives with declarative languages; lazy functional languages and
data parallel programming.
- Microsoft Research
-
The
Program Analysis Group.
The value dependence graph IR, slicing of real (large) programs,
combined register allocation and instruction scheduling.
- Melbourne University
-
The
Mercury project.
Mercury is a strongly typed logic programming language that
is also strongly moded and strongly deterministic. It contains no
non-logical constructs (like cut) and, in particular, I/O is logical.
- MIT
- NEC
- Northeastern University
- The
Programming Language Semantics Group.
Compiler correctness, verified Scheme implementation, machine
support for compiler correctness proofs, complexity of type inference
problems, object-oriented programming.
- Ohio State University
- Oregon Graduate Institute
- The Pacific Software Research Center.
Generator-based program development, formal methods of program.
development, program transformation techniques, functional
programming, reflection, and algebraic programming.
- The
Sparse Group.
Research in high-performance compilers: advanced analyses and
optimizations for high-performance computing, ranging from code
generation for superscalar RISCs to HPF support for MPP's.
- The
Synthetix Project.
Applying incremental specialization to create operating systems
which are both highly modular and high-performance.
- Oregon State University
- The Leda Project.
Leda is a multiparadigm programming language that supports
imperative programming, object-oriented programming, logic
programming, and functional programming.
- Oxford University
-
The
Hardware Compilation Group.
Compilation of
occam-like languages directly into digital hardware,
targeted to FPGA (Field Programmable Gate Arrays).
-
PRECC - Prettier Compiler Compiler tool.
This tool was developed from work on the collaborative REDO Project on
software maintenance.
- The
Programming Research Group.
The Occam programming language, software and hardware
correctness, the functional programming language Orwell, and the 2OBJ
logical framework for theorem proving.
- Penn State University
- Rice University
- Russian Academy of Sciences
- The mpC Project
Parallel languages and their supportive environments, aimed at
efficiently portable modular parallel programming, especially
for heterogeneous compuiter systems.
- Rutgers University
- The PROLANGS Research
Group
(Programming Languages) studies code transformation,
semantic analysis, parallel hybrid analysis, and other aspects for
writing and optimizing programming languages.
- Stanford University
- The
concurrency group.
Research in models of concurrent behavior. Chu spaces.
- The SUIF compiler group.
Research on parallel
programming languages, automatic parallelization, interprocedural
analysis, compiling for distributed memory machines, etc.
- Sun Microsystems Laboratories
- The Self Project
Papers on the Self language (a classless object-oriented
language) and on compiler optimizations for OO languages;
documentation and binaries of current Self system.
- Swedish Institute of Computer Science
- The Programming Systems
Group.
Constraint logic programming (CLP) and concurrent constraint
programming (CCP) languages and systems
(SICStus Prolog and AGENTS). Constraint
solvers, parallel execution, program analysis and transformation,
compilation, memory management, applications to design and scheduling.
- Technische Universität Berlin
- The OPAL Project.
Design and implementation of an algebraic programming language
which amalgamates concepts from functional programming and algebraic
specification.
- University of Berne
- The Software Composition Group
Formal semantics of concurrent object-oriented languages; development
of models and languages to specify software components for open systems.
- University of Birmingham
- University of Calgary
- Charity; a categorical programming language
Charity interpreter code, papers and a synopsis of ongoing work can be found at the charity home page.
- University of Copenhagen
- The
TOPPS group of DIKU.
Semantics-based program analysis and manipulation, including
partial evaluation.
- University of Illinois at Urbana-Champaign
- The
Concert group.
Concert is a compiler for a fine-grained concurrent object-oriented language.
- The
IMPACT group.
Optimizing superscalar and parallelizing compilers for imperative
languages.
- University of Karlsruhe
-
Martin Odersky's research group.
Formal methods for the definition of programming languages and the
design and manipulation of programs. Special areas of interests are
program calculi, type systems, semantics of programming languages, and
programming language implementation.
- The
Modula-2* Parallel Programming Environment.
A high-level explicitly parallel imperative programming language.
- University of Maryland
- The Omega Project.
Frameworks, algorithms and software for analyzing and
transforming scientific programs.
- University of Massachusetts, Amherst
-
The
Object Systems Laboratory.
Compiler optimizations;
memory management;
memory system performance;
design and implementation of persistent programming languages;
persistent object stores;
information retrieval;
transactional memory.
- University of North Carolina, Chapel Hill
- The Proteus Project.
Specification, prototyping, analysis and generation of parallel
software.
- University of Nottingham
- The Functional Programming Group.
Design, implementation and application of programming languages
in general, and functional languages in particular.
- University of Oregon
- University of St. Andrews
- The Persistent
Programming Group.
Research in database programming languages. Access to a number of
papers on persistence and the database programming languages PS-algol and
Napier88.
- University of Technology,
Sydney
- The
Shape Project in the
Algorithms and Languages Group.
Shapely Types are a new concept which advocates the
separation of shape and data. This has applications in the following
areas:
shape polymorphism and shapely types in programming
languages; shape analysis; shapely
parallel programming; application to scientific computation,
programming language design.
- University of Trier, Germany
- The
Fork95 compiler project
Fork95 is a parallel programming language for PRAMs that
covers many important parallel programming paradigms.
- University of Toronto
- University of Washington
- The Cecil/Vortex project.
Cecil is a pure object-oriented language incorporating
multi-methods and predicate classes. Vortex is an optimizing compiler
infrastructure for object-oriented and other high-level languages. It
targets both pure object-oriented languages like Cecil and hybrid
object-oriented languages like C++ and Modula-3.
- The Constraint-Based Languages and Systems project.
Research on constraint imperative programming, constraint logic
programming, constraint hierarchies, constraint solvers, and using
constraints in user interface construction.
- The SPIN project.
SPIN is an extensible operating system microkernel which supports
the dynamic adaptation of system interfaces and implementations
through direct application control, while still maintaining system
integrity and inter-application isolation.
- University of Waterloo.
- Yale University
- Multi-site research projects and working groups
-
Software Engineering and
Programming Languages
(SEaPL) Working Group
Established to foster communication between software engineering and
programming language researchers.
- The Eli
project (at the University of Colorado and the University of Paderborn)
Tools for compiler construction in domain-specific programming
environments. Automatic generation of translators, program
generators, analysers and interpreters.
- The
IFIP Working Group 2.8 on Functional Programming
Established to encourage the exchange of information between
researchers in the design, implementation, and use of functional
programming languages.
- The Larch Project.
Methods, languages, and tools for the practical use of formal
specifications.
- The lcc
compiler project at Princeton and Bell Labs.
lcc is a retargetable compiler for ANSI C. It generates
code for the SPARC, MIPS R3000 and x86.
- The ProCoS
Project.
This project and associated Working Group on "Provably Correct Systems"
is investigating program compilation in the occam /
transputer tradition.
- The
TallShiP project
at RAL (UK) and the University of Leeds (UK).
Research into models and languages for portable parallel programming,
shared abstract data types and optimisation through transformation.