Authors are invited to prepare presentations of:
* 25 minutes (20 minutes for presentation + 5 for discussion) --- long paper
* 10 minutes (7 minutes for presentation + 3 for discussion) --- short paper
DAY 1 - September 9, 2010
|13:00-13:30||Welcome (Hall CP2.B1)|
Invited Speaker - Flávio Junqueira, Yahoo! Research, Distributed Coordination.(CP2-B1)
Barrett R. Bryant: Grammar Inference Technology Applications in Software Engineering (Invited Talk).(CP2-B1)
Luís Garcia-Forte and Casiano Rodriguez-Leon: Solving Difficult LR Parsing Conflicts by Postponing Them Bastian Cramer.
Jan Wolter and Uwe Kastens: Animation of Tile-Based Games Automatically Derived from Simulation Specifications.
Miguel Monteiro, João Cardoso and Simona Posea: Identification and Characterization of Crosscutting Concerns in MATLAB Systems.
Ines Ceh, Matej Crepinsek, Tomaz Kosar and Marjan Mernik: Using ontology in the development of domain-specific languages.
Nuno Oliveira, Nuno Rodrigues and Pedro Rangel Henriques: Domain-Specific Language for Coordination Patterns.
Business Meeting (CP2.B1)
DAY 2 - September 10, 2010
Sérgio Areias, Daniela da Cruz, Jorge Sousa Pinto and Pedro Rangel Henriques: GammaPolarSlicer - A Contract-based Tool to help on Reuse.
Paulo André and Salvador Abreu: Producing EAM code from the WAM.
Bruno Teixeira, João Lourenço and Diogo Sousa: A Static Approach for Detecting Concurrency Anomalies in Transactional Memory.
Pedro Henriques, André Rocha, André Santos, Rocha Daniel, Hélder Silva, Jorge Mendes, Mário Coelho, Miguel Regedor, José Freitas and Daniela Cruz: AGile, a structured editor, analyzer, metric evaluator, and transformer for Attribute Grammars (short paper).
Flavio Cruz and Ricardo Rocha: Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs (short paper).
Miguel Areias and Ricardo Rocha: Mixed-Strategies for Linear Tabling in Prolog (short paper).
Hugo Areias, Alberto Simões, Pedro Henriques and Daniela da Cruz: Parser Generation in Perl - an Overview and Available Tools (short paper).
João Saraiva and Eric Van Wyk: Realizing Bidirectional Transformations in Attribute Grammars (short paper).
Invited Speaker - José Nuno Oliveira, Universidade do Minho, Hands on a verification challenge: proving a journaled file system correct.(CP2-B1)