You have stumbled upon the webpage of a Jon Stephens. As this name is not uncommon, I will provide some information to more uniquely identify myself. I am a Computer Science Ph.D. student at the University of Texas at Austin (UT) where I am a member of the UToPiA group and advised by its fearless leader, Işıl Dillig. My research interests include program analysis/verification, synthesis and security. Prior to UT, I received a BS and MS in Computer Science from the University of Arizona where I was advised by Saumya Debray.
- Analysis of Exception-Based Control Transfers. Babak Yadegari, Jon Stephens, Saumya Debray. In CODASPY 2017. [pdf].
- Language-Agnostic Optimization and Parallelization for Interpreted Languages. Michelle Mills Strout, Saumya Debray, Katherine E. Isaacs, Barbara Kreaseck, Julio Cardenas-Rodriguez, Bonnie Hurwitz, Kat Volk, Sam Badger, Jesse Bartels, Ian Bertolacci, Sabin Devkota, Anthony Encinas, Ben Gaska, Brandon Neth, Theo Sackos, Jon Stephens, Sarah Willer, Babak Yadergari. In LCPC 2017. [pdf].
- Probabilistic Obfuscation through Covert Channels. Jon Stephens, Babak Yadegari, Christian Collberg, Saumya Debray, Carlos Scheidegger. In EuroS&P 2018. [pdf].