Jon Stephens

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Verifying correct usage of context-free API protocols.
Proc. ACM Program. Lang., 2021

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

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

Representing and Reasoning about Dynamic Code.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018
Probabilistic Obfuscation Through Covert Channels.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017
Language-Agnostic Optimization and Parallelization for Interpreted Languages.
Proceedings of the Languages and Compilers for Parallel Computing, 2017

Analysis of Exception-Based Control Transfers.
Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017


  Loading...