SBLP - Schedule


 Technical Session 1    (SBLP: TS 1)

 Date: Thursday (Sep 29, 2011)

 Time: 11:00 - 12:30

 Title: Parsing

"From Regular Expressions to PEGs"
Sérgio Medeiros (UFS); Fabio Mascarenhas (UFRJ); Roberto Ierusalimschy (PUC-Rio)

"Functional Fixpoint Evaluators for Partially Circular Attribute Grammars"
Juan F. Cardona-Mccormick (Universidad EAFIT, Colombia); S. Doaitse Swierstra (Universiteit Utrecht, The Netherlands); Francisco J. Correa-Zabala (Universidad EAFIT, Colombia)

"Parsing Expression Grammars for Structured Data"
Fabio Mascarenhas (UFRJ); Sérgio Medeiros (UFS); Roberto Ierusalimschy (PUC-Rio)


 Technical Session 2    (SBLP: TS 2)

 Date: Thursday (Sep 29, 2011)

 Time: 14:30 - 16:00

 Title: Types and semantics

"Controlling the scope of instances in Haskell"
Marco Silva, Carlos Camarão (UFMG)

"First Class Overloading via Intersection Type Parameters"
Elton Cardoso, Carlos Camarão (UFMG); Lucilia Figueiredo (UFOP)

"The Denotational, Operational, and Static, Semantics of a Domain-Specific Language for the Design of Flow Networks"
Assaf Kfoury (Boston University, USA)


 Technical Session 3    (SBLP: TS 3)

 Date: Friday (Sep 30, 2011)

 Time: 11:00 - 12:30

 Title: Aspect and Feature Oriented programming

"Making aspect-oriented refactoring safer"
Gustavo Soares, Diego Cavalcanti, Rohit Gheyi (UFCG)

"Modular Contracts with Procedures, Annotations, Pointcuts and Advice"
Henrique Rebêlo, Ricardo Massa Ferreira Lima (UFPE); Gary T. Leavens (University of Central Florida, USA)

"On the Use of Feature-Oriented Programming for Evolving Software Product Lines – A Comparative Study"
Gabriel Ferreira, Felipe Gaia (UFU); Eduardo Figueiredo (UFMG); Marcelo Maia (UFU)


 Technical Session 4    (SBLP: TS 4)

 Date: Friday (Sep 30, 2011)

 Time: 14:00 - 16:00

 Title: Static analysis and optimization

"The Design and Implementation of a Non-Iterative Range Analysis Algorithm on a Production Compiler"
Douglas Teixeira, Fernando Pereira (UFMG)

"An Experimental Evaluation of Compiler Optimizations on Code Size"
Juliano Foleiss, Anderson Faustino Da Silva, Linnyer Beatryz Ruiz (UEM)

 Title: Concurrency

"Staged Concurrency in Lua - Introducing Leda"
Tiago L. Salmito, Noemi Rodriguez, Ana Lúcia Moura (PUC-Rio)

"How do programmers use Concurrency? An Investigation of a Large-Scale Java Open Source Code Repository"
Benito Fernades, Weslley Torres, João Paulo Dos Santos Oliveira, Filipe Ximenes, Fernando Ca