LCTES/PLDI 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.

Kategorie: News