Transactuations - Where Transactions Meet the Physical World

Explore a groundbreaking presentation from USENIX ATC '19 that introduces the concept of "transactuations" in IoT applications. Delve into the challenges faced by smart home systems due to inconsistencies between physical states and application states during failures. Learn about a novel abstraction that bridges the gap between traditional transactions and the unique requirements of IoT environments. Discover how the proposed runtime, Relacs, implements this abstraction to enhance reliability in smart home platforms. Examine the evaluation of transactuations in terms of programmability, performance, and effectiveness, showcasing its potential as a powerful abstraction and execution model for IoT developers. This award-winning presentation offers valuable insights for those interested in advancing the reliability and correctness of IoT applications, particularly in smart home contexts.