{"id":7204,"date":"2024-07-04T12:14:05","date_gmt":"2024-07-04T10:14:05","guid":{"rendered":"https:\/\/i4wpdev.cs.fau.de\/?p=7204"},"modified":"2025-05-07T12:13:23","modified_gmt":"2025-05-07T10:13:23","slug":"lctes-pldi-2024","status":"publish","type":"post","link":"https:\/\/i4wpdev.cs.fau.de\/en\/2024\/07\/04\/lctes-pldi-2024","title":{"rendered":"LCTES\/PLDI 2024"},"content":{"rendered":"Last week, <a href=\"\/person\/raffeck\">Phillip Raffeck<\/a> attented the <a href=\"https:\/\/pldi24.sigplan.org\/\">PLDI conference<\/a> in Copenhagen, Denmark. At the co-hosted conference <a href=\"https:\/\/pldi24.sigplan.org\/home\/LCTES-2024\">LCTES<\/a> he presented our paper <a href=\"https:\/\/i4wpdev.cs.fau.de\/publications\/2024\/raffeck_24_lctes.pdf\"><i>WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States<\/i><\/a>, an approach to give forward progress guarantees for intermittent systems via static analysis.","protected":false},"excerpt":{"rendered":"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.","protected":false},"author":7,"featured_media":7201,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_crdt_document":"","_rrze_multilang_single_locale":"en_US","_rrze_multilang_single_source":"https:\/\/i4wpdev.cs.fau.de\/?p=7199","footnotes":""},"categories":[38,43,1],"tags":[],"class_list":["post-7204","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-eingebettete-systemsoftware","category-konferenz","category-news","en-US"],"_links":{"self":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/posts\/7204","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/comments?post=7204"}],"version-history":[{"count":1,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/posts\/7204\/revisions"}],"predecessor-version":[{"id":7205,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/posts\/7204\/revisions\/7205"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/media\/7201"}],"wp:attachment":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/media?parent=7204"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/categories?post=7204"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/tags?post=7204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}