Matthew Hague

Registered user since Fri 10 Jun 2016

Name:Matthew Hague
Country:United Kingdom
Affiliation:Royal Holloway, University of London
Research interests:Automata, Infinite State Systems, Model Checking, Verification, Counter Systems, String Constraints, Pushdown Systems, Higher-Order Verification

Contributions

POPL 2022 Author of Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables within the POPL-track
Committee Member in Program Committee within the POPL-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
FOSSACS 2019 Committee Member in Program Committee within the FOSSACS 2019-track
POPL 2019 Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track
Author of CSS Minification via Constraint Solving within the Research Papers-track
POPL 2018 Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track
FTfJP 2016 Author of Generating Concurrency Checks Automatically within the FTfJP-track
ECOOP 2016 Author of Generating Concurrency Checks Automatically within the Posters-track
POPL 2016 Author of Unboundedness and Downward Closures of Higher-Order Pushdown Automata within the Research Papers-track
SPLASH 2015 Author of Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach within the OOPSLA Artifacts-track
Author of Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach within the OOPSLA-track