Shawn Meier -

Registered user since Mon 3 Jun 2019

Name:Shawn Meier

Country:United States

Affiliation:University of Colorado, Boulder

Personal website: http://plv.colorado.edu/shawn/

Contributions

2023

SPLASH

Author of Historia: Refuting Callback Reachability with Message-History Logics within the OOPSLA-track

2019

ECOOP

Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Research Papers-track
Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Artifacts-track
Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Posters-track

2018

ICSE

Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track