conf.researchr.org / Jon Stephens
Not registered as user yet
Name:Jon Stephens
Affiliation:University of Texas at Austin
Contributions
| POPL 2021 | Author of Verifying Correct Usage of Context-Free API Protocols within the POPL-track |
| ASE 2020 | Author of Representing and Reasoning about Dynamic Code within the Research Papers-track |