Program


Monday - 23th May 2005

BANCO DO BRASIL

Registration - 08h30-09h30

Technical Session 1 (Portuguese) - 09h30-10h45
Program Transformation

  • Um Sistema de Tipo Para uma Linguagem de Transformação. Alexandra Barros (UFPE), Paulo Borba (UFPE).
  • Geração Automática de Montadores para Modelos de Arquiteturas Escritas em ArchC, Alexandro Baldassin (UNICAMP), Paulo Centoducatte (UNICAMP).
  • Geração de Sistemas de Transformação de Programas. Adeline Silva (UFPE), Paulo Borba (UFPE).

Coffee Break - 10h45-11h10

Invited Talk (Tradução Simultânea - 100 fones disponíveis) - 11h10-12h40
A Constructive Approach to Language Definition
Prof. Peter Mosses
University of Wales Swansea – England

Lunch - 12h40-14h40

Technical Session 2 (English) - 14h40-15h30
Lua

  • The Implementation of Lua 5.0. Roberto Ierusalimschy (PUC-RJ), Luiz Henrique de Figueiredo (IMPA), Waldemar Celes (Tecgraf / PUC-RJ).
  • Handling Dynamic Aspects in Lua. Nélio Cacho (UFRN), Fabricio Fernandes (UFRN), Thaís Vasconcelos Batista (UFRN).

Coffee Break - 15h30-15h55

Applying academic knowledge in the Software Industry: caveats and comparisons between Brazil, USA and India - 15h55 - 16h55
Rogério Panigassi & Alisson Sol – Microsoft

Technical Session 3 (English) - 16h55-17h45
Compiling Techniques

  • Basic Two-Stack Parser Construction. A Practical Replacement for LALR(1) Parsing.
    Michael Oudshoorn (Montana State University), Robert Buckley (INFuse Pty Ltd).
  • A Formal Semantics For Finalizers. Marcus Leal (Puc-RJ), Roberto Ierusalimschy (PUC-RJ).

Opening Ceremony - 18h40-19h40

LIVRARIA CULTURA - Shortcourse (Portuguese)

NET 2.0 programming - 14h00-15h15
Alisson Sol - Engenheiro de Software Microsoft EUA

Talk and Coffee Break at Banco do Brasil

NET 2.0 programming (cont.) - 17h10-18h25
Alisson Sol - Engenheiro de Software Microsoft EUA


Tuesday - 24th May 2005

BANCO DO BRASIL

Registration - 08h00-08h30

Technical Session 4 (Portuguese) - 08h30-09h20
Languages for Mobile and Distributed Computing

  • HWSProxyGen: um Gerador de Proxies de Web Services para a Linguagem Haskell. Andre Furtado (XML Techonology Center), Adeline Silva (UFPE), Carla Nascimento (UFPE), Gustavo Santos (UFPE), André Luis Santos (UFPE), Carlos André Guimarães Ferraz (UFPE).
  • Um Sistema de Chamada Remota de Métodos Orientado por Aspectos. Marco Tulio Valente (PUC-MG), Diana Leão (PUC-MG), Rodrigo Palhares (PUC-MG), Fabio Tirelo (PUC-MG).

Technical Session 5 (English) - 09h20-10h10
Languages for Mobile and Distributed Computing

  • Building Web Service Interfaces using Predicate Path Expressions. Cheik Ba (Université François Rabelais - LI/Campus de Blois), Mirian Halfeld-Ferrari (Université François Rabelais - LI/Campus de Blois), Martin Musicante (UFPR).
  • mHaskell: Mobile Computation in a Purely Functional Language. Andre Du Bois (Universidade Catolica de Pelotas), Phil Trinder (Herito-Watt University), Hans-Wolfgang Loidl (Ludwig-Maximilians-Universität München).

Coffee Break - 10h10-10h35

Invited Talk (Tradução Simultânea - 100 fones disponíveis) - 10h40 - 12h10
Hardware design and functional programming: a perfect match
Prof. Mary Sheeran
Chalmers University of Technology - Suécia

Lunch - 12h10-13h50

Technical Session 6 (English) - 13h50-15h05
VM Code Generation

  • Compiling Non-strict Functional Languages to the .NET Platform Monique Monteiro (UFPE), Mauro Araújo (UFPE), Rafael Borges (UFPE), André Luis Santos (UFPE).
  • Running Lua Scripts on the CLR through Bytecode Translation. Fabio Mascarenhas (PUC-RJ), Roberto Ierusalimschy (PUC-RJ).
  • An Experimental Evaluation of JAVA JIT Technology. Anderson Faustino (UFRJ), Vitor Costa (COPPE/UFRJ).

C.E.S.A.R. - Tecnologia de Localização para Plataformas Móveis - O caso do sistema de Automação de Força de Trabalho - 15h05 -16h05
Gibeon Aquino - C.E.S.A.R

Coffee Break - 16h05 -16h30

Technical Session 7 (English) - 16h30 – 17h20
Functional Programming

  • Signals and comonads. Tarmo Uustalu (Tallinn University of Technology), Varmo Vene (University of Tartu).
  • An Equational Specification for the Scheme Language. Marcelo d'Amorim (University of Illinois Urbana Champaign), Grigore Rosu (University of Illinois Urbana Champaign).

Reunião da Comissão Especial de Linguagens de Programação da SBC - 17h20 - 18h20

LIVRARIA CULTURA - Shortcourse (Portuguese)

XQuery e XPath - 13h30-14h45
Alisson Sol - Engenheiro de Software Microsoft EUA

Talk and Coffee Break at Banco do Brasil

XQuery e XPath (cont.) - 16h45-18h00
Alisson Sol - Engenheiro de Software Microsoft EUA

Conference Dinner - 19h00 (Restaurante Porcão)



Wednesday - 25th May 2005

BANCO DO BRASIL

Technical Session 8 (Portuguese) - 09h30-10h20
Tools

  • Uma Ferramenta de Inspeção de Código para a Plataforma Eclipse. Eduardo Albuquerque (IME), Alex Garcia (IME), Walmir Couto (IME).
  • Parametrizando Softwares Java. Thiago Santos (UFPE), André Luis Santos (UFPE).

Closing remarks- 10h20 -11h00

Tour – PontesTur - 11h00

 

Portmidia | O click de resultados