• Sign in
  • Sign up
conf.researchr.org / Andy King
  • POPL 2016 profile
  • SPLASH 2020 profile
  • SPLASH 2023 profile
No Photo

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
xMon 19 May 01:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up