Vítor Santos Costa's Home Page
Hi! I am a lecturer in Computer Science at COPPE/Sistemas, Universidade Federal do Rio de Janeiro.
Ensino (em português)
Research (under construction)
My main research area is Logic Programming. Have a look at Jonathan
Bowen's WWW page on Logic Programming at Oxford for general info
on this area.
My work started with the Yap Prolog system, which
I still use and I am currently maintaining. The current version is
4.1, it is freely available, we do try to fix bugs, so do have a look
at the home page or at
the copy here.
Most of my research in logic programming has concentrated on
parallelism, and was performed at LIACC, while lecturing at the Department of
Computing, Faculty Of Sciences
of the Universidade do Porto. Here is
an overview of some recent work:
- My PhD research work was in the preprocessor for Andorra-I
system, developed at the University of Bristol. Have a look at my thesis if you still are interested in this
work. In the last few years, I have done a bit of maintenance on Andorra-I
mainly porting to new parallel machines (contact me if you are
interested in this).
- Regarding Andorra-I, Inês
Bianchini, and me, have recenly done an extensive performance
analysis of Andorra-I on scalable architectures. Simulator traces
indicated the need for some optimisations, which have resulted in very
good results. Inês and her students are doing exciting work on
- Fernando Silva and me are
supervising Eduardo Correia at
LIACC/FCUP on the
integration of Independent And-Parallelism and Or-Parallelism. The
idea is to keep as close to possible to Prolog in the parallel
system. Our starting point was Gopal Gupta's Paged Binding
Array. As a result of this research Eduardo has proposed the SBA. More
recently, I have become interested in using copy-on-write as an
implementation technique to tackle this problem.
- Ricardo Lopes from
LIACC/UP and me are looking into David H. D. Warren's Extended Andorra
Model, the all-singing, all-dancing solution to the execution of logic
programs. The final product, the LIGHT-BEAM, will be a new plug-in
engine to YAP.
- Fernando and me are
supervising Ricardo Rocha
at LIACC/FCUP on the
parallelisation of tabulated systems, in the style of Stony Brook's
Prolog system. Ricardo is doing his work on top of YAP.
- Nuno Fonseca at LIACC has implemented a visualiser
for the parallel execution of Prolog, VisAll . The work was done
in collaboration with Inês.
- Kish Shen
King have recently led me through some interesting work on
In the little time that I have left, these are some of the pages I
Vítor Santos Costa (
Universidade Federal do Rio de Janeiro
Centro de Tecnologia, Bloco H-319
Cx. Postal 68511
Rio de Janeiro, Brasil
[+55 21 2562-8648 (voice), +55 21 2562-8676 (fax)]