We have collected more than 100 brand new call girls number and added it to a pdf for easy sharing.
To download 100+ Dhakaia Magi's number, complete the captcha and download it.

Download now








Loading Captcha...

If it doesn't load, please disable Adblock!





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

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

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


Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)
 

Blog Archive