Shawn Meier

Identifiers

No identifiers captured yet.

Papers (3)

1. Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version) cs.PL · 2019 · author #1
2. DroidStar: Callback Typestates for Android Classes cs.LO · 2017 · author #3
3. Abstracting Event-Driven Systems with Lifestate Rules cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bor-Yuh Evan Chang 3 shared papers
• Sergio Mover 3 shared papers
• Aleksandar Chakarov 1 shared papers
• Arjun Radhakrishna 1 shared papers
• Damien Zufferey 1 shared papers
• Krishna Chaitanya Sripada 1 shared papers
• Maxwell Russek 1 shared papers
• Nicholas V. Lewchenko 1 shared papers
• Pavol \v{C}ern\'y 1 shared papers