CALL FOR PARTICIPATION: SBLP 2009 - Brazilian Symposium on Programming Languages August 19-21, 2009 Gramado, Rio Grande do Sul, Brazil http://sblp2009.ucpel.tche.br
---------------------------------------------------------------- ** EARLY REGISTRATION IS OPEN UNTIL JULY 17 ** ---------------------------------------------------------------- Co-located events: Brazilian Symposium on Formal Methods (SBMF 2009) http://sbmf2009.inf.ufrgs.br Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2009) http://sblp2009.ucpel.tche.br/ltpd2009/ CALL FOR PARTICIPATION Registration is now open for the Brazilian Symposium on Programming Languages (SBLP 2009). SBLP is a forum where researchers, students, and professionals can present and discuss the fundamental principles and innovations in the design, definition, analysis, transformation and implementation of programming languages and systems. SBLP is promoted by the Brazilian Computer Society (SBC). INVITED SPEAKERS: * Eelco Visser, Delft University of Technology * João Saraiva, Universidade do Minho TECHNICAL PAPERS: *A Solution to Haskell's Multi-Parameter Type Class Dilemma* Carlos Camarao (UFMG) Rodrigo Geraldo Ribeiro (Universidade Federal de Minas Gerais) Lucília Figueiredo (UFOP) Cristiano Vasconcellos (Univesidade do Estado de Santa Catarina) *LuaGravity, a Reactive Language Based on Implicit Invocation* Francisco Sant'Anna (PUC-Rio) Roberto Ierusalimschy (PUC-RIO) *Automatic Parallelization of Canonical Loops* Leonardo Luiz Padovani da Mata (Universidade Federal de Minas Gerais) Fernando Quintao Pereira (Universidade Federal de Minas Gerais) Renato Ferreira (UFMG) *An execution model for Java on Cell BE Processor* Francisco Hoyos (Unicamp) Rodolfo Azevedo (UNICAMP) *Inference Rules for Generic Code Migration of Aspect-Oriented Programs* Fernando Barden Rubbo (UFRGS) Eduardo K. Piveta (UNIPAMPA) Daltro Nunes (UFRGS) *Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings* Henrique Rebêlo (Federal University of Pernambuco) Ricardo Lima (UFPE) Márcio Cornélio (University of Pernambuco) Cesar Oliveira (Federal University of Pernambuco) Gary Leavens (University of Central Florida) *Generating Unit Tests for Checking Program Refactorings* Rohit Gheyi (Federal University of Campina Grande) Tiago Massoni (Federal University of Campina Grande) Márcio Cornélio (University of Pernambuco) *A Design Rule Language for Aspect-Oriented Programming* Alberto Costa Neto (Universidade Federal de Pernambuco) Arthur Marques (UFCG) Rohit Gheyi (Federal University of Campina Grande) Paulo Borba (UFPE) Fernando Castor (Federal University of Pernambuco) *A linear type system for multicore programming* Rui Shi (Yahoo) Hongwei Xi (Boston University) *A shortcut fusion approach to accumulations* Mónica Martínez (Instituto de Computación, Universidad de la República) Alberto Pardo (Universidad de La República) *Parameterized feature abstractions* Marcelo Maia (Universidade Federal de Uberlândia) *Monadic Memoization Mixins* William Cook (UT Austin) TUTORIAL: *Trimaran: Uma Infraestrutura de Compilação para Exploração de Paralelismo em Nível de Instruções* Ricardo Santos (Dom Bosco Catholic University) Thiago Moretto (Tendência Informações e Sistemas) MINI-COURSE: * Uma Introdução à Programação em Lua * Roberto Ierusalimschy (Puc-Rio) PROMOTION Brazilian Computer Society http://www.sbc.org.br ORGANIZATION Programa de Pós Graudação em Informática (PPGInf) Universidade Católica de Pelotas (UCPel) http://ppginf.ucpel.tche.br SPONSORS CNPq, Banrisul, CAPES (pending), Microsoft --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lisp-br" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/lisp-br?hl=en -~----------~----~----~----~------~----~------~--~---
