Program
|
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
| 12:00-13:00 | Registration |
| 13:00-13:30 | Welcome (Hall CP2.B1) |
| 13:30-14:30 |
Invited Speaker - Flávio Junqueira, Yahoo! Research, Distributed Coordination.(CP2-B1) |
| 14:30-15:30 |
Barrett R. Bryant: Grammar Inference Technology Applications in Software Engineering (Invited Talk).(CP2-B1) |
| 15:30-16:00 |
coffee break |
| 16:00-18:00 |
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. |
| 18:00-18:30 |
Business Meeting (CP2.B1) |
DAY 2 - September 10, 2010
| 10:00-11:00 |
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. |
| 11:00-11:30 |
coffee break |
| 11:30-12:30 |
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). |
| 12:30-14:00 |
lunch |
| 14:00-15:00 |
Invited Speaker - José Nuno Oliveira, Universidade do Minho, Hands on a verification challenge: proving a journaled file system correct.(CP2-B1) |
Sponsors
|
|