Shawn Meier

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 8

Top Topics

Information Delivery

Publish Subscribe

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). CoRR (2023)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow. ECOOP (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version). CoRR (2019)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang
Abstracting Event-Driven Systems with Lifestate Rules. CoRR (2017)