Andreas Kind
at the University of Bath (since January 1998 at the C&C Research Laboratories of NEC in Berlin: ak@ccrle.nec.de)
Department: Mathematical Sciences
Job Title: Research Officer
Research Interests
Implementation of Object-Oriented Dynamic Languages, Distributed Computing, Compilers, Bytecode Interpretation, Reflective Programming, Static Analysis, Type Inference, Object-Oriented Systems
Projects:
- Denton Project
- VIM Project
The Denton Project is concerned with the construction of a Virtual Multicomputer. This is an ephemeral, geographically distributed, persistent multicomputer of available heterogeneous computing resources (workstation, shared-memory multiprocessor, distributed memory multiprocessor, array processor). The system supports a virtual processor abstraction to distribute data and tasks across the multicomputer, the actual physical composition of which may change dynamically.
...or to give it its full title VIM: A Virtual Multicomputer for Symbolic Applications which is a network project under the EC's Human Capital and Mobility programme. The network brings together 15 partners researching in three areas: parallel and distributed systems, compilation for parallel execution and artificial intelligence. The goal is to develop AI applications to run on distributed architectures and across local and wide-area networks.
Software:
- youtoo
The youtoo system is the public domain reference implementation of the object-oriented dynamic programming language EuLisp. EuLisp is a single-valued dialect of Lisp with an integrated object system, a defined meta-object protocol, modules and a simple light-weight process mechanism (threads). See the EuLisp Definition and the EuLisp Home Page for more details.
Publications:
- bci.ps
- ETR96-3.ps
- infer.ps
- gschemes.ps
- thesis.ps.gz
A. Kind: Bytecode-Interpretierung, Informatik-Spektrum 20(2):109-110, April, 1997.
A. Kind, J. Padget: Multi-Lingual Threading, Technical Report ETR96-3, School of Mathematical Sciences, University of Bath, Oct. 1996.
A. Kind and H. Friedrich: A practical approach to type inference for EuLisp, Lisp and Symbolic Computation, 6(1/2):159-176, Aug. 1993.
A. Kind: Type inference with generic type schemes, Preliminary Draft, Aug. 1995.
A Kind: An architecture for interpreted dynamic object-oriented languages, Dec. 1998
Address: School of Mathematical Sciences, University of Bath, Bath BA2 7AY, UK
Email: ak1@maths.bath.ac.uk
Telephone: +44 (0)1225 82-6276 (direct)
Telephone: +44 (0)1225 82-6965 (secretary)
Fax: +44 (0)1225 82-6492