Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Bender
conf.researchr.org general profile
ECOOP 2022 profile
SPLASH 2022 profile
SPLASH 2024 profile
Not registered as user yet
Name:
John Bender
Affiliation:
Sandia National Laboratories
Contributions
2024
JENSFEST
Committee Member in Program Committee within the JENSFEST 2024-track
Author of Correct Compilation of Concurrent C Code within the JENSFEST 2024-track
2022
FTSCS
Author of Q: A Sound Verification Framework for Statecharts and Their Implementations within the Formal Techniques for Safety-Critical Systems-track
ECOOP
Author of Compiling Volatile Correctly in Java within the Research Papers-track
Share
x
Thu 21 Nov 18:42