Stephen A. Edwards
Program Committees:
2004,
2005,
2006,
2010,
2011,
2012,
2013,
2014,
2015,
2016,
2017,
2023, and
2024 .
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Compositional Deadlock Detection for Rendezvous Communication
EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software
Scheduling-Independent Threads and Exceptions in SHIM
EMSOFT 2005: 5th ACM International Conference on Embedded Software
SHIM: a Deterministic Model for Heterogeneous Embedded Systems