Registered user since Sun 3 Oct 2021

Name:Alejandro Flores Lamas
Country:United Kingdom
Affiliation:Royal Holloway University of London

Contributions

POPL 2022 Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track