---------------------------------------------------------------------- Sunday, October 12 ---------------------------------------------------------------------- 6:00 PM - 8:00 PM Welcome Reception, Sheraton University City ---------------------------------------------------------------------- Monday, October 13 ---------------------------------------------------------------------- 9:00 AM - 9:50 AM Invited Session Emerging trends in adaptive middleware and its application to distributed real-time embedded systems Joseph P. Loyall (BBN Technologies, USA) 9:50 AM - 10:15 AM Coffee Break 10:15 AM - 12:15 AM Programming Languages Translating Discrete-Time Simulink to Lustre Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, and Stavros Tripakis (VERIMAG, France) Clocks as First Class Abstract Types Jean-Louis Colaco (Esterel Technologies, France) and Marc Pouzet (Laboratoire LIP6, France) Clock-Driven Automatic Distribution of Lustre Programs Alain Girault (INRIA, France) and Xavier Nicollin (INPG - Verimag, France) Generating Heap-Bounded Programs in a Functional Setting Walid Taha, Stephan Ellner (Rice University, USA), and Hongwei Xi (Boston University, USA) 12:15 PM - 2:00 PM Lunch Break 2:00 PM - 2:50 PM Invited Session Resource-Efficient Scheduling for Real Time Systems Kim G Larsen (Aalborg University, Denmark) 2:50 PM - 3:15 PM Coffee Break 3:15 PM - 5:15 PM Modeling Techniques Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment Albert Benveniste (IRISA/INRIA, France), Luca Carloni (UC Berkeley, USA), Paul Caspi (Verimag, France), and Alberto Sangiovanni-Vincentelli (UC Berkeley, USA) Constraint-Based Design-Space Exploration and Model Synthesis Sandeep Neema, Janos Sztipanovits, Gabor Karsai (Vanderbilt University/ISIS, USA), and Ken Butts (Ford Motor Co, USA) A methodology and tool support for generating scheduled native code for real-time Java applications Christos Kloukinas, Chaker Nakhli, and Sergio Yovine (Verimag, France) Resource Interfaces Arindam Chakrabarti (UC Berkeley, USA), Luca de Alfaro (UC Santa Cruz, USA), Thomas Henzinger (UC Berkeley, USA), and Marielle Stoelinga (UC Santa Cruz, USA) 5:15 PM - 7:00 PM ACM SIGBED Business Meeting 7:30 PM - Banquet at University of Pennsylvania Museum of Archaelogy ---------------------------------------------------------------------- Tuesday, October 14 ---------------------------------------------------------------------- 9:00 AM - 9:50 AM Invited Session CAD for embedded system design in the era of billion transistor chips Greg Spirakis (Intel, USA) 9:50 AM - 10:15 AM Coffee Break 10:15 AM - 12:15 AM Resource-aware Systems Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications Victor De La Luz, Mahmut Kandemir, Guangyu Chen (Penn State University, USA), and Ibrahim Kolcu (UMIST, UK) Intelligent Editor for Writing WCET-Oriented Programs Janosch Fauster, Raimund Kirner, and Peter Puschner (Vienna University of Technology, Austria) HOKES/POKES: Light-weight resource sharing Herbert Bos and Bart Samwel (University of Leiden, Netherlands) Energy-Efficient Multi-Processor Implementation of Embedded Software Gang Qu (Univ. of Maryland, College Park, USA) 12:15 PM - 2:00 PM Lunch Break 2:00 PM - 2:50 PM Invited Session From Spaghetti to Raviolli -- Componet-izing the LaserJet Firmware Keith Moore (HP Labs, USA) 2:50 PM - 3:50 PM Compiler Techniques Eliminating Stack Overflow by Abstract Interpretation John Regehr, Alastair Reid, and Kirk Webb (University of Utah, USA) Minimizing Variables' Lifetime in Loop-Intensive Applications Noureddine Chabini and Wayne Wolf (Princeton University, USA) 3:50 PM - 4:15 PM Coffee Break 4:15 PM - 5:45 PM Panel on Emerging Applications and Technologies Pradeep K. Khosla (CMU) Kane K. H. Kim (UCI) Jane Liu (Microsoft) Jeff Pridmore (Lockheed Martin) Steve Vestal (Honeywell) ---------------------------------------------------------------------- Wednesday, October 15 ---------------------------------------------------------------------- 9:00 AM - 9:50 AM Invited Session A probabilistic framework for schedulability analysis Alan Burns (York University, UK) 9:50 AM - 10:15 AM Coffee Break 10:15 AM - 11:45 AM Real-Time Scheduling Rate Monotonic vs. EDF: Judgment Day Giorgio Buttazzo (University of Pavia, Italy) A Hybrid Proactive Approach for Integrating Off-line and On-line Real-Time Schedulers Weirong Wang, Aloysius Mok (University of Texas at Austin, USA), and Gerhard Fohler (Malardalen University, Sweden) Schedule-Carrying Code Thomas Henzinger, Christoph Kirsch, and Slobodan Matic (UC Berkeley, USA) 11:45 AM - 1:30 PM Lunch Break 1:30 PM - 2:20 PM Invited Session Static Verification of General-Purpose Languages Alain Deutsch (Polyspace Technologies, France) 2:20 PM - 2:45 PM Coffee Break 2:45 PM - 4:15 PM Formal Methods Reasoning about Abstract Open Systems with Generalized Module Checking Patrice Godefroid (Bell Laboratories, Lucent Technologies, USA) Event Correlation: Language and Semantics Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, and Zohar Manna (Stanford University, USA) Space Reductions for Model Checking Quasi-Cyclic Systems Matthew Dwyer, Fnu Robby, William Deng, and John Hatcliff (Kansas State University, USA)