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.
• Probabilistic Obfuscation through Covert Channels. Jon Stephens, Babak Yadegari, Christian Collberg, Saumya Debray, Carlos Scheidegger. In EuroS&P 2018. [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].
• Analysis of Exception-Based Control Transfers. Babak Yadegari, Jon Stephens, Saumya Debray. In CODASPY 2017. [pdf].