Programme of SLAP at ETAPS 2006
Saturday, March 25
09:00 - 10:30 SESSION 1 (SLAP, Saturday, March 25, room: EI 1)
- Welcome
- Florence Maraninchi (VERIMAG/Institut National Polytechnique de Grenoble, F) and Marc Pouzet (LRI/Univ. of Paris, F)
- Invited Talk (chair: Marc Pouzet)
- Use and Challenges of Synchronous Languages for High Performance Embedded Streaming Applications
- Marc Duranton (Philips Research, Eindhoven, NL)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2 (SLAP, Saturday, March 25, room: EI 1)
- Presentations (chair: Florence Maraninchi)
- An Esterel Virtual Machine for Embedded Systems
- Becky Plummer, Mukul Kha janchi, and Stephen A. Edwards (Columbia Univ. NY, USA)
- Compiling Esterel for Distributed Execution
- Li Hsien Yoong, Partha Roop, and Zoran Salcic (University of Auckland, NZ)
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION 3 (SLAP, Saturday, March 25, room: EI 1)
- Presentations (chair: Marc Pouzet)
- Towards Static Analysis of SIGNAL Programs using Interval Techniques
- Abdoulaye Gamatie, Thierry Gautier, and Paul Le Guernic (INRIA, F)
- Modeling multi-clocked data-flow program using the Generic Modeling Environment
- Christian Brunette, Jean-Pierre Talpin, Loic Besnard, and Thierry Gautier (INRIA, F)
15:30 - 16:00 Coffee
16:00 - 18:00 SESSION 4 (SLAP, Saturday, March 25, room: EI 1)
- Presentation and Special Session (chair: Florence Maraninchi)
- Recognition and Evaluation of Jevon's Language by Composing 2-State Automata
- Paul Amblard (TIMA, University of Grenoble, F)
- Special Session on Education
- speakers: to be announced
Further ETAPS 2006 Programme Information:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23