Matthew Hague -

Registered user since Fri 10 Jun 2016

Name:Matthew Hague

Country:United Kingdom

Affiliation:Royal Holloway University of London

Personal website:http://www.cs.rhul.ac.uk/home/hague/

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