John Bender -

Not registered as user yet

Name:John Bender

Affiliation:Sandia National Laboratories

Contributions

FTSCS 2022	Author of Q: A Sound Verification Framework for Statecharts and Their Implementations within the Formal Techniques for Safety-Critical Systems-track
ECOOP 2022	Author of Compiling Volatile Correctly in Java within the Research Papers-track