Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andy King
conf.researchr.org general profile
POPL 2016 profile
SPLASH 2020 profile
SPLASH 2023 profile
Registered user since Wed 20 Jan 2016
Name:
Andy King
Affiliation:
Kent
Contributions
2023
Static Analysis Symposium
Session Chair of Error location and scaling (part of SAS 2023)
Author of Polynomial Analysis of Modular Arithmetic within the SAS 2023-track
2016
POPL
Author of From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes within the Research Papers-track
Share
x
Mon 19 May 01:38
