Shawn Meier

According to our database, Shawn Meier authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Historia: Refuting Callback Reachability with Message-History Logics.

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang

Proc. ACM Program. Lang., October, 2023

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version).

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang

CoRR, 2023

2019

Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact).

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang

Dagstuhl Artifacts Ser., 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.

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

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ý

Proceedings of the 40th International Conference on Software Engineering, 2018

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

Abstracting Event-Driven Systems with Lifestate Rules.

Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang

CoRR, 2017