Upcoming Events

Stephen A. Edwards , Computer Science Department, Columbia University, USA

The Sparse Synchronous Model

25.04.2024 (Thursday) , 09:30
BAR E64A , Helmholtzstraße 18 , 01069 Dresden

Most software considers timing a performance issue, but for many
embedded applications, the timing of a result is as important as its
value.  Most modern computers do have precise hardware timers, but
they are not easily used to make a whole system timing-aware.

To address this, we developed the Sparse Synchronous Model: a
deterministic, concurrent, timing-aware approach to specifying
software.  A kind of real-time discrete event simulation, we describe
its semantics and implementations, including as an awkward-to-use C
library, as an embedded language in Haskell, as a novel functional
language, and as a Lua library.  We also describe our RP2040
microcontroller runtime system that provides software with an
unheard-of timing resolution of 62.5 nanoseconds.

Stephen A. Edwards received the B.S. degree in Electrical Engineering
from the California Institute of Technology in 1992, and the M.S. and
Ph.D degrees, also in Electrical Engineering, from the University of
California, Berkeley in 1994 and 1997 respectively.  He is currently
an associate professor in the Computer Science Department of Columbia
University in New York, which he joined in 2001 after a three-year
stint with Synopsys, Inc., in Mountain View, California.  His research
interests include embedded system design, domain-specific languages,
compilers, and high-level synthesis.

Go back