Shawn Meier
Graduate Research Assistant at University Of Colorado Boulder
Based in Boulder, United States
7-day free trial · no credit card
Seniority
Staff
Department
Science
Location
Boulder
Industry
Higher Education
Company size
16K
Contact information
Reveal Shawn's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
s•••••••@colorado.edu
Phone
5 credits+1 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Shawn Meier
I am a PhD candidate at the University of Colorado, Boulder. My interest is improving the speed, security, and reliability of software development through automated reasoning. My research focuses on the problem of verification of event-driven software with minimal modeling of the event-driven framework. I have developed and tested both static and dynamic analysis for the Android operating system and published papers on both. Publications [Shawn Meier], Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang. Historia: Refuting Callback Reachability with Message-History Logics (accepted to OOPSLA 2023, publication is pending)[Shawn Meier], Sergio Mover, and Bor-Yuh Evan Chang. Lifestate: Event-Driven Protocols and Callback Control Flow.(ECOOP 2019) Arjun Radhakrishna, Nicholas Lewchenko,[Shawn Meier], Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, and Pavol ˇCern´y. Starling: Callback Typestates for Android Classes (ICSE 2018)
Decision-makers
Other people at University Of Colorado Boulder
Build a list of verified contacts at University Of Colorado Boulder
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Shawn
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime