ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems

June 21st, 1994, in conjunction with ACM SIGPLAN PLDI '94

Program committee

• Ted Baker, Florida State Univ.
• Azer Bestavros, Boston Univ
• Ron Cytron, Washington Univ. -- St. Louis
• Thomas Marlowe, Seton Hall Univ
• William Pugh, University of Maryland, College Park
• Victor Fay Wolfe, Univ. Rhode Island

Pointers to related information:

• PROCEEDINGS: 1995 ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems
• IEEE-CS Technical Committee on Real-Time Systems
• Programming Language Research

Workshop

Tutorial

• Tutorial Overview of Real-Time Support in Ada 9X, Ted Baker, Florida State University

Introduction

• Opening Remarks: William Pugh, University of Maryland, College Park and Thomas J. Marlowe, Seton Hall Univ
• Languages and Tools for Real-time Systems: Problems, Solutions and Opportunities. Rich Gerber, University of Maryland, College Park.

Language Issues

• Sequencing Data Flow Tasks in SIGNAL, Eric Rutten, Paul Le Guernic, (IRISA/INRIA - Rennes)
• ADA 9X Asynchronous Transfer of Control Applications and Implementation, Edward Giering, Ted Baker (Florida State University)
• Real-Time Programming in RTX-Parlog, Douglas Renaux and Paul Dasiewicz (Univ. of Waterloo)
• A Modular State/Transition Approach for Programming Reactive Systems, M. Jourdan, F. Maraninchi, VERIMAG
• On Combining the Object-Orientness of C++ with Real-Time Features of UNIX Operating Systems, Carlos E. Pereira (Univ. of Stuttgart)

Memory and Cache Issues

• Cost-Effective Hardware-Assisted Real-Time Garbage Collection, Kelvin D. Nilsen (Iowa State University)
• Predicting Instruction Cache Behavior, Frank Mueller, David Whalley (Florida State Univ.), Marion Harmon (Florida A&M University) (slides from talk)
• Timed Perturbation Analysis: an Approach for Non-intrusive Monitoring of Real Time Computations, Madalene Spezialetti(Lehigh University), Rajiv Gupta (Univ. Pittsburgh)
• On Debugging Real-Time Applications, Frank Mueller, David Whalley (Florida State University) (slides from talk)
• Cache Issues in Real-Time Systems, Swagato Basumallick, Kelvin D. Nilsen (Iowa State University)

Timing Analysis

• Integrated Program Proof and Worst Case Timing Analysis of SPARK Ada, Alan Burns (University of York)
• Portable Execution Time Analysis for RISC Processors, Kannan Narasimhan, Kelvin Nilsen (Iowa State University)
• Compilation Support for Fine-Grained Execution time Analysis, Alex Vrchoticky (Technische Universitat Wien)
• Towards Physically-Correct Specifications of Embedded Real-Time Systems, Azer Bestavros (Boston University)

Panel: Compiler Support for Real-Time Systems

• Rich Gerber (U Maryland),
• Rajiv Gupta (U Pittsburgh),
• Vivek Nirkhe (IBM Florida) -- position paper ,
• Alexander Vrchoticky (TU Wien),
• Mohamed Younis (New Jersey Institute of Technology)