LCTES/PLDI 2024

Symbolic picture for the article. The link opens the image in a large view. — © European Union, 2024

4. July 2024

Last week, Phillip Raffeck attented the PLDI conference in Copenhagen, Denmark. At the co-hosted conference LCTES he presented our paper WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States, an approach to give forward progress guarantees for intermittent systems via static analysis.