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

2026

POPL

Committee Member in Program Committee within the POPL-track

2024

POPL

Author of On Learning Polynomial Recursive Programs within the POPL-track

2022

POPL

Author of What’s Decidable about Linear Loops? within the POPL-track

2021

POPL

Author of Dynamical Systems and Program Analysis within the POPL-track
Author of Deciding ω-Regular Properties on Linear Recurrence Sequences within the POPL-track

2020

Static Analysis Symposium

2019

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track