X BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES May 15-17, 2006 PROGRAMME GUIDE

Programme of Monday, May 15:

9:30-11:30 SESSION 1 (Portuguese): Program transformations
(chair: Roberto Bigonha)

• 9:30: Suporte a Refatorações em um Sistema de Transformação de Propósito Geral (abstract)
  
  Gustavo Santos (UFP), Paulo Borba (UFPE)
  

  10:00 : Contextos de Primeira Classe em Transformações de Programas (abstract)
  

  Gustavo Santos (UFP), Paulo Borba (UFPE)
  

  10:30-11:30: Tutorial 1 - (Part 1)
  Computação Pervasiva: como Programar Aplicações (abstract)
  

  Iara Augustin (UFSM), João Carlos Lima (UFSM), Adenauer Yamin (UCP)
  

11:45-13:00 SESSION 2 (English): INVITED TALK I - PROPOR
(chair: Alex Garcia)

• 11:45: What is natural language? Differences compared to artifical languages,
  
  and consequences for natural language processing (abstract)
  
  Diana Santos (SINTEF Information and Communication Technology)
  

• 14:30: Strong Mobility in Mobile Haskell (abstract)
  
  Andre Rauber Du Bois (UCP), Phil Trinder (Herito-Watt University),
  
  Hans-Wolfgang Loidl (Ludwig-Maximilians-Universitat Munchen
  

  15:00: An object model for interoperable systems (abstract)
  

  Alcides Calsavara, Aron Borges, Leonardo Nunes, Diogo Variani, Carlos Kolb (PUC-Paraná)
  

  15:30 : Expressing Workflow Patterns for Web Services: The case of PEWS (abstract)
  

  Martin Musicante (UFRGN), Edinardo Potrich (UFPR)
  

16:15-17:30 SESSION 4 (English): INVITED TALK II
(chair: Roberto Ierusalimschy)

• 16:15: The Scalability Problem of Denotational Semantics (abstract)
  
  Roberto da Silva Bigonha (UFMG)
  

• 17:30: Web Services em Java (abstract)
  
  Rafael Dueire Lins, Jorge Abílio Abinader (UFPE)
  

Programme of Tuesday, May 16:

9:00-10:00 SESSION 6 (English): Optimisation
(chair: Ricardo Massa)

• 9:00: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (abstract)
  
  Anderson Faustino da Silva (UFRJ), Vitor Santos Costa (COPPE/UFRJ)
  

  9:30: Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers (abstract)
  

  Anderson Faustino da Silva (UFRJ), Vitor Santos Costa (COPPE/UFRJ)
  

10:00-11:30: SESSION 7 (Portuguese): Tutorial 1 - (Part 2)
(chair: Mariza Bigonha)

Computação Pervasiva: como Programar Aplicações

Iara Augustin (UFSM), Adenauer Yamin (UCP), João Carlos Lima (UFSM)

11:45-13:00 SESSION 8 (English): INVITED TALK III
(chair: Roberto Bigonha)

• 11:45: Sensor Network Programming (abstract)
  
  Jens Palsberg (UCLA)
  

• 14:30: Uma Linguagem de Especificação de Ações baseada em Linguagem Natural Controlada (abstract)
  
  Luciana Nunes Leal (UFRJ), Paulo Pires (UFRJ), Maria Luiza Machado Campos (UFRJ)
  

  15:00 : AspectH: um estudo de caso sobre programação orientada a aspectos e Haskell (abstract)
  

  Carlos A.R. Andrade (UFPE), André Luis M. Santos (UFPE)
  

  15:30 : Um Arcabouço de Compilação Orientado por Aspectos (abstract)
  

  Mário C.C. Lobato (UFMG), Roberto S. Bigonha (UFMG), Mariza A. S. Bigonha (UFMG)
  

16:30-17:45 SESSION 10 (English): INVITED TALK IV
(chair: Rafael Lins)

• 16:15: Code Generation Techniques for Embedded Processors (abstract)
  
  Guido Araújo (UNICAMP)
  

17:45-19:15 SESSION 11 (English): Programming Transformations
(chair: Jens Palsberg)

• 17:45: Detecting Bad Smells in AspectJ (abstract)
  
  Eduardo Kessler Piveta (UFRGS), Marcelo Hecht (UFRGS), Marcelo Soares Pimenta (UFRGS),
  
  Roberto Tom Price (UFRGS)
  

  18:15 : Program Slicing by Calculation (abstract)
  

  Nuno F. Rodrigues, Luis S. Barbosa (Universidade do Minho)
  

  18:45 : The Language of the Visitor Design Pattern (abstract)
  

  Markus Schordan (Vienna University of Technology)
  

19:15-19:45 SESSION 12 (Portuguese): INVITED TALK V
( chair: Alex Garcia)

• 19:15: Oportunidades através de programas acadêmicos da Microsoft do Brasil (abstract)
  
  Rogério Panigassi (MICROSOFT)
  

Programme of Wenesday, May 17

9:00-10:15 SESSION 13 (English): INVITED TALK VI
(chair: Guido Araújo)

• 9:00: Register Allocation via Coloring of Chordal Graphs (abstract)
  
  Jens Palsberg (UCLA)
  

10:30-12:00 SESSION 14 (English): Theoretical Foundations
(chair: Martin Musicante)

• 10:30: Generic Process Algebra: A Programming Challenge (abstract)
  
  Paula R. Ribeiro, Marco Antonio Barbosa, Luis S. Barbosa (Universidade do Minho)
  

  11:00 : Type-safe Versioned Object Query Language (abstract)
  

  Rodrigo Machado (UFRGS), Álvaro Freitas Moreira (UFRGS), Renata de Matos Galante (UFRGS)
  

  11:30 : Defining Atomic Composition for UML Behavioral Diagrams (abstract)
  

  Júlio Pereira Machado (PUC-RS), Paulo Blauth Menezes (UFRGS)