Abstracting Event-Driven Systems with Lifestate Rules. - Shawn Meier; Aleksandar Chakarov; Maxwell Russek; Sergio Mover; Bor-Yuh Evan Chang (CoRR, 2017)

Learning Asynchronous Typestates for Android Classes. - Arjun Radhakrishna; Nicholas V. Lewchenko; Shawn Meier; Sergio Mover; Krishna Chaitanya Sripada; Damien Zufferey; Bor-Yuh Evan Chang; Pavol Cerný (CoRR, 2017)

DroidStar: callback typestates for Android classes. - Arjun Radhakrishna; Nicholas V. Lewchenko; Shawn Meier; Sergio Mover; Krishna Chaitanya Sripada; Damien Zufferey; Bor-Yuh Evan Chang; Pavol Cerný (ICSE, 2018)

Lifestate: Event-Driven Protocols and Callback Control Flow. - Shawn Meier; Sergio Mover; Bor-Yuh Evan Chang (ECOOP, 2019)

Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version). - Shawn Meier; Sergio Mover; Bor-Yuh Evan Chang (CoRR, 2019)

Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). - Shawn Meier; Sergio Mover; Bor-Yuh Evan Chang (Dagstuhl Artifacts Ser., 2019)

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). - Shawn Meier; Sergio Mover; Gowtham Kaki; Bor-Yuh Evan Chang (CoRR, 2023)

Historia: Refuting Callback Reachability with Message-History Logics. - Shawn Meier; Sergio Mover; Gowtham Kaki; Bor-Yuh Evan Chang (Proc. ACM Program. Lang., 2023)