SBLP: Accepted Papers

SBLP: Technical Session 3 - Parallel Programming: Languages and Programming Platforms

Mon - Set 27th - 10:30-12:30

Chair: André Santos

Parallel Actor Monitors
Christophe Scholliers, (Vrije Universiteit Brussel)
Eric Tanter, (University of Chile)
Wolfgang De Meuter, (Vrije Universiteit Brussel)

A Language for Object-Oriented Parallel Programming Targeted at Cluster Computing Architectures
Eduardo Pinho, (UFC)
Francisco Carvalho-Junior, (UFC)

Numina: A Platform for the Cell Broadband Engine
Paulo Motta, (PUC-Rio)
Noemi Rodriguez, (PUC-Rio)

SBLP: Technical Session 2 - Compilation and Optimization

Mon - Set 27th - 14:00-15:30

Chair: Roberto Ierusalimschy

Efficient SSI Conversion
André Tavares, (UFMG)
Fernando Magno Pereira, (UFMG)
Mariza Bigonha, (UFMG)
Roberto Bigonha, (UFMG)

Removing Overflow Tests Via Run-Time Partial Evaluation
Marcos Rodrigo Sol Souza, (UFMG)
Fernando Quintao Pereira, (UFMG)
Mariza Bigonha, (UFMG)

Comparative Analysis of Code Generated by Java and C++ Compilers
Ricardo Terra, (UFMG)
Jussara Almeida, (DCC-UFMG)
Roberto Bigonha, (UFMG)
Marco Tulio Valente, (UFMG)

SBLP: Technical Session 1 - Analysis and Compilation

Tue - Set 28th - 08:30-10:30

Chair: Roberto Bigonha

Efficient Static Check of Tainted Variable Attacks
Andrei Rimsa, (Pontifícia Universidade Católica de Minas Gerais)
Marcelo d'Amorim, (UFPE)
Fernando Quintao Pereira, (UFMG)

Converting regexes to Parsing Expression Grammars
Marcelo Oikawa, (PUC-Rio)
Roberto Ierusalimschy, (PUC-Rio)
Ana Lucia de Moura, (PUC-Rio)

Automatic Architecture Description Language (ADL)-Based Toolchain Generation: the Dynamic Linking Framework
Rafael Auler, (UNICAMP)
Alexandro Baldassin, (UNICAMP)
Paulo Centoducatte, (UNICAMP)

SBLP: Technical Session 4 - Language Design and Specification

Tue - Set 28th - 10:30-12:30

Chair: Martin Musicante

An Open Trace-Based Mechanism
Paul Leger, (University of Chile)
Eric Tanter, (University of Chile)

Implementing Mathematical Data Types on Top of .NET
Jürg Gutknecht, (ETH Zurich)
Roman Mitin, (ETH Zurich)
Nina Gonova, (State University of Nizhny Novgorod)
Nikolai Zolotykh, (State University of Nizhny Novgorod)

Creating a HasCASL Library
Glauber Cabral, (UNICAMP)
Arnaldo Moura, (UNICAMP)
Christian Maeder, (DFKI GmbH?)
Till Mossakowski, (Universität Bremen)
Lutz Schroeder, (DFKI Bremen)

A pattern language for architectural analysis
Nuno Oliveira, (Minho University)
Nuno Rodrigues, (Universidade do Minho)
Pedro Rangel Henriques, (Universidade do Minho)
Luis Barbosa, (Universidade do Minho)