Welcome!

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.

Recent Publications

• SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig. To Appear In S&P 2021. [pdf].
• Verifying Correct Usage of Context-Free API Protocols. Kostas Ferles, Jon Stephens, Isil Dillig. In POPL 2021. [pdf].
• Representing and Reasoning about Dynamic Code. Jesse Bartels, Jon Stephens, Saumya Debray. In ASE 2020.