Jon Stephens

According to our database, Jon Stephens authored at least 7 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verifying correct usage of context-free API protocols.

Kostas Ferles, Jon Stephens, Isil Dillig

Proc. ACM Program. Lang., 2021

2020

Verifying Correct Usage of Context-Free API Protocols (Extended Version).

Kostas Ferles, Jon Stephens, Isil Dillig

CoRR, 2020

AutoMATES: Automated Model Assembly from Text, Equations, and Software.

Adarsh Pyarelal, Marco Antonio Valenzuela-Escárcega, Rebecca Sharp, Paul Douglas Hein, Jon Stephens, Pratik Bhandari, HeuiChan Lim, Saumya Debray, Clayton T. Morrison

CoRR, 2020

Representing and Reasoning about Dynamic Code.

Jesse Bartels, Jon Stephens, Saumya Debray

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018

Probabilistic Obfuscation Through Covert Channels.

Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Language-Agnostic Optimization and Parallelization for Interpreted Languages.

Michelle Mills Strout, Saumya Debray, Kate Isaacs, Barbara Kreaseck, Julio Cárdenas-Rodríguez, Bonnie L. Hurwitz, Kat Volk, Sam Badger, Jesse Bartels, Ian J. Bertolacci, Sabin Devkota, Anthony Encinas, Benjamin Gaska, Brandon Neth, Theo Sackos, Jon Stephens, Sarah Willer, Babak Yadegari

Proceedings of the Languages and Compilers for Parallel Computing, 2017

Analysis of Exception-Based Control Transfers.

Babak Yadegari, Jon Stephens, Saumya Debray

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017