Joćo Saraiva
Departamento de Inform Ć ” tica
Universidade do Minho
Campus de Gualtar, 4710-057 Braga
Portugal.
tel. office: + 351 - 253 - 60 4433
tel. secretary: + 351 - 253 - 60 4470
fax: + 351 - 253 - 60 4471
mobile: + 351 - 96 - 4200918 (private)
email: jas AT di DOT uminho DOT pt
Research Activities
Selected Publications

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.

1- Research Activities



1.1- Research Projects

  • Strictification of Circular Programs , FCT/DAAD bilateral agreement, . 2010-2011. ( Principal Investigator, recommended for funding )
  • SSaaPP : SpreadSheets as a Programming Paradigm , PTDC/EIA-CCO/108613/2008. 2010-2013. ( Principal Investigator, recommended for funding )
  • CROSS: - An Infrastructure for Certification and Re-engineering of Open Source Software , FCT recommended for funding (PTDC/EIA-CCO/108995/2008). 2010-2013.
  • AMADEUS - Aspects and Compiler Optimizations for Matlab System Development , under FCT contract PTDC/EIA/70271/2006. 2008-2010.
  • IVY - A model-based usability analysis environment , under FCT contract POSC/EIA/56646/2004. 2004-2007.
  • LerNet - Language Engineering and Rigourous Software Development , European Comission ALFA Programme, 2006-2009.
  • PURe - Program Understanding and Re-engineering: Calculi and Application , under FCT contract POSI/CHS/44304/2002. 2003-2006.
  • APPSEM - Applied Semantics II , European Union - Thematic Networks Programme, under EU contract IST-2001-38957, 2003-2006


1.2- PhD Students

  • Jįcome Cunha : Foundations of Spreadsheets

  • Joćo Paulo Fernandes : Design, Implementation and Calculation of Circular Programs

  • Joćo Carlos Silva, Formal Methods and Reverse Engineering applied to Interactive Systems



1.3- Useful Software

  • 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 .


1.4- Committees (Program, Organizing, Steering)

  • GPCE 2010 , Ninth International Conference on Generative Programming and Component Engineering , Eindhoven, The Netherlands, October, 2010. (member of the program committee)
  • SBLP 2010 , 14th Brazilian Symposium on Programming Languages , Salvado, Bahia, Brazil, September, 2010. (member of the program committee)
  • CBSoft 2010 Conference on Software: Theory and Practice , Salvado, Bahia, Brazil, September, 2010. (member of the tutorial committee)
  • WGT 2010 , Second Workshop on Generative Technologies, Budapest, Hungary,(ETAPS 2010) March, 2010. (member of the program committee)
  • PEPM 2010 , ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10), Madrid, Spain January, 2010. (member of the program committee)
  • SLE 2009 , Second International Conference on Software Language Engineering , Denver, USA, October 2009. (member of the program committee)
  • SBLP 2009 , 13th Brazilian Symposium on Programming Languages , Gramado, Brazil, August, 2009. (program committee co-chair)
  • GTTSE 2009 , Third Summer School on Generative and Transformational Techniques in Software Engineering , July, 2009, Braga, Portugal (organizing committee)
  • LDTA 2009 , Ninth Workshop on Language Descriptions, Tools and Applications , York, England, March 2009. (member of the program committee)
  • SLE 2008 , First International Conference on Software Language Engineering , Toulouse, France, September 2008. (member of the program committee)
  • SBLP 2008 , 12th Brazilian Symposium on Programming Languages , Fortaleza, Brazil, August 27-29, 2008. (member of the program committee)
  • ETAPS 2008 , The European Joint Conferences on Theory and Practice of Software , Braga, Portugal, March 29 - April 6, 2008 (member of the organizing committee)
  • WGT 2008 , First Workshop on Generative Technologies, Budapest, Hungary,(ETAPS 2008) April 5, 2008. (member of the program committee)
  • GTTSE 2007 , Second Summer School on Generative and Transformational Techniques in Software Engineering , 4 - 8 July, 2007, Braga, Portugal (organizing and program committee co-chair)
  • SBLP'07 , 11th Brazilian Symposium on Programming Languages , Natal, Brazil, May 23-25, 2007. (member of the program committee)
  • ETAPS 2007 , The European Joint Conferences on Theory and Practice of Software , Braga, Portugal, March 24 - April 1, 2007 (organizing committee chair)
  • SBLP'06 , 10th Brazilian Symposium on Programming Languages , Itatiaia, Rio de Janeiro, may 15-17, 2006 (member of the program committee)
  • SAC 2006 , The 21st Annual ACM Symposium on Applied Computing , Dijon, France, April 23 -27, 2006 (member of the program committee)
  • GTTSE05 , First Summer School on Generative and Transformational Techniques in Software Engineering , 4 - 8 July, 2005, Braga, Portugal (organizing and program committee co-chair)
  • SAC 2005 , The 20th Annual ACM Symposium on Applied Computing , Santa Fe, New Mexico, March 13 -17, 2005 (member of the program committee)
  • 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)
2- Selected Publications

  • Jo Ć £ o Cardoso, Pedro Diniz, Miguel Monteiro, Joćo M. Fernandes, Joćo Saraiva, A Domain-Specific Aspect Language for Transforming MATLAB Programs , workshop on Domain Specific Aspect Languages, Rennes, France, March 2010. (to appear)

  • Joćo Saraiva, Spreadsheets as a Programming Paradigm (extended abstract), invited talk at 13th Brazilian Symposium on Programming Languages , Gramado, Brazil, August, 2009.

  • Jįcome Cunha, Joćo Saraiva and Joost Visser, Discovery-based Edit Assistance for Spreadsheets , 25th IEEE Symposium on Visual Languages and Human-Centric Computing ( VL-HCC'09 ), Corvallis, Oregon, September 2009.

  • Joćo Carlos Silva, Joćo Saraiva, Jose Creissac Campos, A Generic Library for GUI Reasoning and Testing , 24th Annual ACM Symposium on Applied Computing ( SAC 2009 ), Honolulu, Hawaii, USA March 8 - 12, 2009.

  • Jįcome Cunha, Joćo Saraiva and Joost Visser, From Spreadsheets to Relational Databases and Back , ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation ( PEPM 2009 ), Savannah, Georgia, USA, January 19-20, 2009.

  • Alberto Pardo, Joćo Paulo Fernandes and Joćo Saraiva, Shortcut fusion rules for the derivation of circular and higher-order monadic programs , ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation ( PEPM 2009 ), Savannah, Georgia, USA, January 19-20, 2009.

  • Don S. Batory, Maider Azanza, Joćo Saraiva, The Objects and Arrows of Computational Design , 11th International Conference on Model Driven Engineering Languages and Systems ( MoDELS 2008 ), Toulouse, France, September 2008, volume 5301 of LNCS, pag. 1-20, Springer

  • Fabio Tirelo, Roberto Bigonha, Joćo Saraiva, Disentangling Denotational Semantics Specifications , 12th Brazilian Symposium on Programming Languages, ( SBLP 2008 ), Fortaleza, Brazil, August 27-29, 2008. (submitted to JUCS)

  • Ralf Laemmel, Joost Visser and Joćo Saraiva, Generative and Transformational Techniques in Software Engineering II , proceedings of the 2nd International Summer School on Generative and Transformational Techniques in Software Engineering ( GTTSE 2007 ), Braga, Portugal, July 2-7, 2007. volume 5235 of LNCS. Springer

  • Joćo Paulo Fernandes, Alberto Pardo and Joćo Saraiva, A shortcut fusion rule for circular program calculation , ACM SIGPLAN workshop on Haskell ( Haskell '07 ), pag. 95-106, Freiburg, Germany, January 2007, ACM Press.

  • Barrett R. Bryant and Joćo Saraiva, editors of the Special issue on Language Descriptions, Tools and Applications - LDTA 2003 , Journal of Science of Computer Programming, volume 68, number 1, August 2007.

  • Joćo Paulo Fernandes and Joćo Saraiva, Tools and libraries to model and manipulate circular programs , ACM SIGPLAN Symposium on Partial evaluation and Program Manipulation ( PEPM 2007 ), pag. 102-111, Nice, France, January 2007, ACM Press.

  • Joćo Carlos Silva, Joćo Saraiva, Jose Creissac Campos, Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications . 13th International Workshop DSVIS 2006, Dublin, Ireland, volume 4323 of LNCS, pag. 137-150, Springer-Verlag

  • Ralf Laemmel, Joćo Saraiva and Joost Visser, Generative and Transformational Techniques in Software Engineering , proceedings of the 1st International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, July 4-8, 2005. volume 4143 of LNCS. Springer

  • Joost Visser and Joćo Saraiva Tutorial on Strategic Programming Across Paradigms , proceedings of the Brazilian Symposium on Programming Languages (SBLP'04), Niteroi, Brazil, March 2004.

  • Joćo Saraiva and Doaitse Swierstra, Generating Spreadsheet-like Tools from Strong Attribute Grammars , proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, GPCE 2003, volume 2830 of LNCS, Springer.

  • 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 (IFL 2002), 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

  • 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
Pagina mantida por:

Joćo Saraiva

jas@di.uminho.pt		 Page produced by a Tool generated by LRC from the XML document jasResearch.xml

Last Change on Thu Feb 25 11:08:17 2010