Introduction
I am a PhD student in the Department of Computer Science and the Programming Languages and Verification Group at the University of Colorado, Boulder. My interest is investigating algorithmic and data-driven approaches to reasoning about software.
Education
- PhD: University of Colorado, Boulder
- Adviser: Bor-Yuh Evan Chang
- 2014 - present
- Computer Science
-
BS: Colorado School of Mines
- 2005 - 2009
- Geophysical Engineering
Publications
- Historia: Refuting Callback Reachability with Message-History Logics OOPSLA 2023. Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang
- Lifestate: Event-Driven Protocols and Callback Control Flow ECOOP 2019. Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang
- DroidStar: Callback Typestates for Android Classes ICSE 2018. Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
Technical Reports
- Abstracting Event-Driven Systems with Lifestate Rules Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang