Joćo Saraiva Joćo Saraiva
jas@di.uminho.pt Departamento de Informįtica Universidade do Minho tel. office: +351 - 253 - 60 4479 tel. secretary: +351 - 253 - 60 4470 fax: +351 - 253 - 60 4471 mobile: +351 - 96 - 4200918 (private) email: jas@di.uminho.pt Joćo Saraiva in 100 words: After having studying systems and software engineering (licenciatura em Engenharia em Sistema e Informįtica, 1986-1991) and Computer Science (MSc. defended in July 1993) at the Department of Informatics at Minho University, I went to Utrecht University, The Netherlands, where I worked under Prof. Dr. Doaitse Swierstra supervision on my Ph.D. thesis. I defended the thesis in Utrecht in December 1999, and, then, I returned to Minho University where I am now an auxiliar professor at the Department of Informatics. In July 2000, I was appointed the research coordinator of the department in the research institute Algoritmi. In recent years, I have been involved in teaching the following courses: Métodos de programaēćo III This course is briefly described in the paper I have written for FDPE'02 Processamento de Linguagens To support this course, I have written the following lecture notes: Especificaēćo e Processamento de Linguagens, (in Portuguese) , 168 pages, 1995 postscript Language Processing (with a functional flavour), (in preparation) The paper Generating Spreadsheet-like Tools from Strong Attribute Grammars presented at GPCE'03 includes as running example a student project proposed in one instance of this course. Advanced Functional Programming And I keep a list of student projects both for Master Projects and Final Assignment Projects (in Portuguese) Lrc: A generator of incremental language-based tool based on higher-order attribute grammars.
Lrc is a generator for graphical, easy to use, language-oriented tools. Lrc accepts as input a Higher Order Attribute Grammar specifying a particular language and generates incremental attribute evaluators. Lrc generates tools that have advanced interactive interfaces and these interfaces are specified within the AG formalism. Furthermore, the interface is itself incrementally computed. Lrc is now beeing used in Academia (both in teaching and in research) and in industry ( ordina ). This system is described in the paper cc98 and in my PhD thesis (see publications section). Obviously, this homepage was produced by a tool generated by Lrc.
HaLeX: A Haskell Library to Model, Manipulate and Animate Regular Languages. This library introduces a number of \Haskell\ datatypes and the respective functions that manipulate them, providing a clear, efficient and concise way to define, to understand and to manipulate regular languages in Haskell. For example, it allows the graphical representation of finite automata and its animation, and the definition of reactive finite automata. This library is described in the paper fdpe02 . SBLP'04 , 8th Brazilian Symposium on Programming Languages, Niteroi, RJ, Brazil - May, 2004. (member of the program committee)
LDTA04 , 4th Workshop on Language Descriptions, Tools and Applications, ETAPS'04, Barcelona, March, 2004. (member of the organizing committee)
LDTA03 , 3nd Workshop on Language Descriptions, Tools and Applications, ETAPS'03, Poland, April, 2003. (workshop co-chair and co-editor of the proceedings)
Applied Semantics II EU Working Group APPSEM II, (member of the steering committee)
LDTA02 , 2nd Workshop on Language Descriptions, Tools and Applications, ETAPS'02, Grenoble, France, April, 2002. (member of the program committee)
PEPM02 , 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02) Portland, Oregon, USA, January, 2002. (member of the program committee)
Research Institute Algoritmi, University of Minho, (member of the steering committee, from July 2000 till February 2003)
APPSEM00 , International Summer School on Applied Semantics, Caminha, Portugal, July, 2000. (proceedings to be published as LNCS Tutorial by Springer). (member of the organizing committee and co-editor of the proceedings)
WAGA00 , 3rd Workshop on Attribute Grammars and their Applications, WAGA'2000, Ponte do Lima, Portugal, July, 2000. (member of the organizing and program committee)
AFP98 , 3rd International Summer School on Advanced Functional Programming, LNCS Tutorial, volume 1608, Springer, Braga, Portugal, September 1998. (member of the organizing committee)
WRTFP98 , Workshop on Research Themes on Functional Programming, Braga, Portugal, September, 1998. (member of the organizing committee and co-editor of the proceedings)
Workshop on Language Processing: OO-approaches and Parallelism, University of Minho, October 1993. poster (member of the organizing committee)
Joćo Saraiva, Sérgio Schneider, Embedding Domain Specific Languages in the Attribute Grammar Formalism (submitted for publication)
Joćo Saraiva, Component-based Programming for Higher-Order Attribute Grammars, proceedings of the ACM SIGPLAN SIGSOFT Conference on Generative and Component-Based Software Engineering (GPCE/PLI'02), Pittsburgh, USA, October 2002. ps , abstract , slides , bibentry
Joćo Saraiva, HaLeX: A Haskell Library to Model, Manipulate and Animate Regular Languages, proceedings of the ACM Workshop on Functional and Declarative Programming in Education (FDPE/PLI'02), Pittsburgh, USA, October 2002. ps , abstract , slides , bibentry
Alcino Cunha, José Barros, Joćo Saraiva Deriving Animations from Recursive Definitions proceedings of the 14th International Workshop on the Implementation of Functional Languages, Madrid, Spain, September 2002.
Gille Barthes, Peter Dybjer, Luķs Pinto, Joćo Saraiva, Applied Semantics, proceedings of the International Summer School on Applied Semantics (APPSEM'00), volume 2395 of LNCS, Springer-Verlag, August 2002.
Joćo Saraiva, Doaitse Swierstra, Matthijs Kuiper, Functional Incremental Attribute Evaluation, proceedings of the 9th International Conference on Compiler Construction, CC/ETAPS'00, volume 1781 of LNCS, pages 279-294, Springer-Verlag, March 2000. ps , abstract , slides , bibentry
Joćo Saraiva, Matthijs Kuiper, Pedro Henriques Tutorial on Language-based Environments, proceedings of the Brazilian Symposium on Programming Languages SBLP'00, Recife, Brazil, March 2000. ps , abstract , slides , bibentry
Joćo Saraiva, Purely Functional Implementation of Attribute Grammars, PhD thesis, Department of Computer Science, Utrecht University, The Netherlands, December 1999. pdf , ps , bibentry
I still have some hard-copies of my thesis (published as a book in The Netherlands). Send me an email and I'll be very pleased to mail you a copy.
Doaitse Swierstra, Pablo Azero, Joćo Saraiva, Designing and Implementing Combinator Languages, proceedings of the Third Summer School on Advanced Functional Programming (AFP'98), volume 1608 of LNCS, pages 150-206, Springer-Verlag, September 1999. pdf
Joćo Saraiva, Doaitse Swierstra, Data Structure Free Compilation, proceedings of the 8th International Conference on Compiler Construction, CC/ETAPS'99, volume 1575 of LNCS, pages 1-16, Springer-Verlag, March 1999. ps , abstract , slides , bibentry
Joćo Saraiva, Doaitse Swierstra Generic Attribute Grammars, proceedings od the 2nd Workshop on Attribute Grammars and their Applications, WAGA/ETAPS'99, pages 185--204, Amsterdam, The Netherlands, March 1999. ps , abstract , slides , bibentry
Joćo Saraiva, Doaitse Swierstra, Matthijs Kuiper, Strictification of Computations on Trees, proceedings of the 3rd Latin-American Conference on Functional Programmaing (CLAPF'99 - IFIP 2.8 working group, Recife, Brazil, March 1999. ps , abstract , slides , bibentry
Joćo Saraiva, Matthijs Kuiper Lrc - A Generator for Incremental Language-Oriented Tools, proceedings of the 7th International Conference on Compiler Construction, CC/ETAPS'98, volume 1383 of LNCS, pages 298-301, Springer-Verlag, April 1998 ps abstract slides bibentry
Joćo Saraiva, Matthijs Kuiper, Doaitse Swierstra Specializing Trees for Efficient Functional Decoration , proceedings of the Workshop on Specialization of Declarative Programs and its Applications (part of ILPS'97), New York, USA, pages 63-72, October 1997. (Also available as Technical Report CW 255, Department of Computer Science, Katholieke Universiteit Leuven , Belgium).
Joćo Saraiva, Matthijs Kuiper, Doaitse Swierstra Effective Function Cache Management for Incremental Attribute Evaluation , proceedings of the 9th International Workshop on Implementation of Functional Languages, St Andrews, Scotland, pages 517--528, September, 1997.
Joćo Saraiva, Doaitse Swierstra, Matthijs Kuiper, Maarten Pennings Strictification of Lazy Functions , Department of Computer Science, Utrecht University, Technical Report UU-CS-1996-51, November 1996. ps Rui Guerra, Department of Computer Science, Utrecht University, 2002 (start) Rui Guerra, Inverting Parsers, Utrecht University/University of Minho, August, 2002. (Dutch Master Thesis) Since 1998, I am colaborating with Philips Research - Eindhoven in the Da Vinci EU Exchange Program, under which several Portuguese students have realized their final project (a Dutch Master thesis) at Philips research. I co-supervised the following projects: J. M. A. Ferreira, Browsing Assistant , Philips Research - Eindhoven and University of Minho, September, 2002. Luis António Pinto Fraga, Remote access to home storage devices, Philips Research - Eindhoven and University of Minho, December, 2001. Filipe Miguel dos Santos Pereira, Building an assembly bridge from Motorola 56k to REAL RD24 processors, Philips Research - Eindhoven and University of Minho, December, 2000. Orlando Ricardo da Silva Costa, Optimizing Java Just In Time Compilation for TriMedia, Philips Research - Eindhoven and University of Minho, July, 2000. Dario Oliveira Teixeira, Java Just In Time Compilation for TriMedia, Philips Research - Eindhoven and University of Minho, November, 1999. Rui Pedro Amaral Rodrigues, Structure from Motion Patch Matching for 3D reconstruction , Philips Research - Eindhoven and University of Minho, November, 1998. April, 2004: ETAPS'04 September, 2003: GPCE'03 April 21 - May 3, 2003: University of Minnesota, USA March, 2003: ETAPS'03 February, 2003: Mozambique: Master Course September till December, 2002: Oxford University October 3-8, 2002 PLI'02 September 16th - 18th, 2002 IFL'02 July till August, 2002: Utrecht University