Programme of SLA++P at ETAPS 2008
Saturday, April 5, room: Room I.
09:00 - 10:30 SESSION 1
- INTRODUCTION AND INVITED TALK
- Introduction to SLA++P08
- Eric Rutten (INRIA)
- Looking at Simulink and Stateflow from a Language Perspective
-
Grégoire Hamon (The MathWorks)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
- PROGRAMMING LANGUAGES
- Modular Distribution and Application to Discrete Controller Synthesis
- Gwenaël Delaval (IRISA)
- Interactive Programming of Reactive Systems
- Louis Mandel, Florence Plateau (LRI)
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3
- EXECUTION PLATFORMS
- STARPro -- A new multithreaded direct execution platform for Esterel
- Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha Roop, Zoran Salcic (U. Auckland)
- An embedded shared memory programming model for reconfigurable
multimedia accelerator
- Samar Yazdani, Joel Cambonie, Bernard Pottier (ST Microelectronics & U. Bretagne Occidentale)
- COMPILATION
- Generating Multi-Threaded code from Polychronous Specifications
- Bijoy Jose (FERMAT), Hiren Patel (U. C. Berkeley), Sandeep Shukla (FERMAT), Jean-Pierre Talpin (IRISA)
16:00 - 16:30 Coffee
16:30 - 18:00 SESSION 4
- WORK-IN-PROGRESS
- Static Analysis of Simulink Programs
- Alexandre Chapoutot (CEA LIST), Matthieu Martel (U. Perpignan)
- Designing a Reactive Processor with Esterel v7 - A Case Study
- Malte Tiedje, Claus Traulsen (U. Kiel)
- An Extensible Software Synthesis Framework
for Heterogeneous Actor Models
- Man-Kit Leung, Edward A. Lee (U. C. Berkeley)
- Understanding Endochrony with Partial Orders
- Syed Suhaib (General Electric), Deepak A. Mathaikutty, Sandeep K. Shukla (FERMAT), Jean-Pierre Talpin (IRISA)
- The Colour of the Truth in Step Responses
- Joaquin Aguado (U. Bamberg)
Detailed Programme Information:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13