Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andres Nötzli
conf.researchr.org general profile
PLDI 2020 profile
POPL 2022 profile
SPLASH 2021 profile
Not registered as user
Name:
Andres Nötzli
Affiliation:
Stanford University, USA
Contributions
2022
VMCAI
Author of Bit-Precise Reasoning via Int-Blasting within the VMCAI 2022-track
2021
SPLASH
Author of Towards a Verified Range Analysis for JavaScript JITs within the SIGPLAN Papers-track
2020
PLDI
Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
Share
x
Sun 22 Dec 10:06