1 citations · 2 across the 4 of their papers we have counts for
4 papers
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
Shawn Meier, Sergio Mover, Gowtham Kaki +1
This paper determines if a callback can be called by an event-driven framework in an unexpected state.Event-driven programming frameworks are pervasive for creating user-interactiv…
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers mus…
DroidStar: Callback Typestates for Android Classes
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier +5
Event-driven programming frameworks, such as Android, are based on components with asynchronous interfaces. The protocols for interacting with these components can often be describ…
Abstracting Event-Driven Systems with Lifestate Rules
Shawn Meier, Aleksandar Chakarov, Maxwell Russek +2
We present lifestate rules--an approach for abstracting event-driven object protocols. Developing applications against event-driven software frameworks is notoriously difficult. On…