Samuel Tyler
Research Assistant
Research Interests
Samuel works on automated program verification using SMT tools, particularly on device drivers, making use of and improving the Pancake to Viper infrastructure.
Contact Details
| Email: | samuel.tyler@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2026
|
 |
Samuel Tyler, Alessandro Legnani, Junming Zhao, Zhewen Shen, Rihui Wu, Miki Tanaka and Gernot Heiser SMT-based deductive verification of device drivers using the Pancake-to-Viper transpiler Workshop on Programming Languages and Operating Systems (PLOS), September, 2026 |