Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Reclaimed Wood Coffee Table
The tongue and groove top is made from reclaimed wood and the frame was stained using a coffee ground mixture.
Tree Coasters
Wood burned maple coasters 
Pecan Slab TV Stand
Made fram a slab of pecan wood and a sewing machine treadle.
Butcher Block Counter
Made from a store bought butcher block and galvanized pipe.
Shou Sugi Ban Coffee Table
The top and shelf are made from burnt pine. The frame is made from finished redwood.
publications
Analysis of Exception-Based Control Transfers
Published in Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy, 2017
Authors: Babak Yadegari, Jon Stephens, Saumya Debray
Recommended citation: @inproceedings{yadegari2017analysis, title={Analysis of exception-based control transfers}, author={Yadegari, Babak and Stephens, Jon and Debray, Saumya}, booktitle={Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy}, pages={205--216}, year={2017}, organization={ACM} } https://stephensj2.github.io/files/codaspy17.pdf
Language-Agnostic Optimization and Parallelization for Interpreted Languages
Published in Proceedings of the 30th Workshop on Languages and Compilers for Parallel Computing, 2017
Authors: 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
Recommended citation: @inproceedings{StroutBlueSky2017, author = {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}, booktitle = {To appear in the Proceedings of the 30th Workshop on Languages and Compilers for Parallel Computing (LCPC)}, month = {October}, title = {Language-Agnostic Optimization and Parallelization for Interpreted Languages}, year = {2017} } https://stephensj2.github.io/files/lcpc_sci-up-to-par_2017.pdf
Probabilistic Obfuscation through Covert Channels
Published in Proceedings of the Third IEEE European Symposium on Security and Privacy, 2018
Authors: Jon Stephens, Babak Yadegari, Christian Collberg, Saumya Debray, Carlos Scheidegger
Recommended citation: @inproceedings{stephens2018probabilistic, title={Probabilistic Obfuscation Through Covert Channels}, author={Stephens, Jon and Yadegari, Babak and Collberg, Christian and Debray, Saumya and Scheidegger, Carlos}, booktitle={2018 IEEE European Symposium on Security and Privacy (EuroS&P)}, year={2018}, organization={IEEE} } https://stephensj2.github.io/files/probabilistic-obfuscation-covert.pdf
Representing and Reasoning about Dynamic Code
Published in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Authors: Jesse Bartels, Jon Stephens, Saumya Debray
Recommended citation: @inproceedings{bartels2020representing, title={Representing and Reasoning about Dynamic Code}, author={Bartels, Jesse and Stephens, Jon and Debray, Saumya}, booktitle={Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering}, year={2020}, organization={IEEE/ACM} }
Verifying Correct Usage of Context-Free API Protocols
Published in Proceedings of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages, 2021
Authors: Kostas Ferles, Jon Stephens, Isil Dillig
Recommended citation: @inproceedings{ferles2021verifying, title={Verifying Correct Usage of Context-Free API Protocols}, author={Ferles, Kostas and Stephens, Jon and Dillig, Isil}, booktitle={Proceedings of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages}, year={2021}, organization={ACM} } https://stephensj2.github.io/files/POPL-21.pdf
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Published in Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
Authors: Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
Recommended citation: @inproceedings{stephens2021smartpulse, title={SmartPulse: Automated Checking of Temporal Properties in Smart Contracts}, author={Stephens, Jon and Ferles, Kostas and Mariano, Benjamin and Lahiri, Shuvendu and Dillig, Isil}, booktitle={Proceedings of the 42nd IEEE Symposium on Security and Privacy}, year={2021}, organization={IEEE} } https://stephensj2.github.io/files/Oakland2021SmartPulse.pdf
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.