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
|