Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Abstract elided by the publisher.
Related papers
- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers CAV 2019
- Transactional concurrency control for intermittent, energy-harvesting computing systems PLDI 2019
- Lifestate: Event-Driven Protocols and Callback Control Flow ECOOP 2019
- Verifying observational robustness against a c11-style memory model POPL 2021
- Robustness against release/acquire semantics PLDI 2019
- P: safe asynchronous event-driven programming PLDI 2013
- Multi-Tier Functional Reactive Programming for the Web Onward! 2014
- A multiparty session typing discipline for fault-tolerant event-driven distributed programming OOPSLA 2021