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

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