SBLP: Artigos Aceitos

SBLP: Sess�o T�cnica 3 - Parallel Programming: Languages and Programming Platforms

Seg - Set 27 - 10:30-12:30

Coordenador: 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: Sess�o T�cnica 2 - Compilation and Optimization

Seg - Set 27 - 14:00-15:30

Coordenador: 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: Sess�o T�cnica 1 - Analysis and Compilation

Ter - Set 28 - 08:30-10:30

Coordenador: 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: Sess�o T�cnica 4 - Language Design and Specification

Ter - Set 28 - 10:30-12:30

Coordenador: 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)