Post by: Timothy Bourke, Basile Pesin, Paul Jeanmaire, Marc Pouzet in SIGBED Blog
"Verified Lustre normalization with node subsampling" by Timothy Bourke, Basile Pesin, Paul Jeanmaire, and Marc Pouzet is the best paper winner of the International Conference on Embedded Software (EMSOFT) in 2021. This blog post gives an overview of the work. The Coq development described in the paper is available online. There is also a page of links between the article…
Post by: Timothy Bourke, Linh Thi Xuan Phan in SIGBED Blog
EMSOFT, the ACM SIGBED International Conference on Embedded Software, is one of the three core conferences of the annual Embedded Systems Week (ESWEEK). The other two conferences are CASES, the International Conference on Compilers, Architecture and Synthesis, and CODES+ISSS, the International Conference on Hardware/Software Codesign and System Synthesis. The 16th edition of ESWEEK and the 19th edition of EMSOFT were…