• Sign in
  • Sign up
conf.researchr.org / James Worrell
  • ETAPS 2019 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
James Worrell

Registered user since Fri 6 Nov 2020

Name:James Worrell
Country:United Kingdom
Affiliation:University of Oxford
Personal website:http://www.cs.ox.ac.uk/people/james.worrell/home.html

Contributions

POPL 2022 Author of What’s Decidable about Linear Loops? within the POPL-track
POPL 2021 Author of Dynamical Systems and Program Analysis within the POPL-track
Author of Deciding ω-Regular Properties on Linear Recurrence Sequences within the POPL-track
SAS 2020 Invited Speaker of Polynomial Invariants for Affine Programs within the SAS-track
Invited Speaker in Invited Speakers within the SAS-track
FOSSACS 2019 Committee Member in Program Committee within the FOSSACS 2019-track

Share
xSat 28 Jan 14:43
using conf.researchr.org (v1.58.0)
Support page
Sign Up