• Sign in
  • Sign up
conf.researchr.org / Matthew Hague
  • APLAS 2019 profile
  • ECOOP 2016 profile
  • ETAPS 2019 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • SPLASH 2015 profile
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

Share
xSat 17 Apr 07:38
using conf.researchr.org (v1.44.3)
Support page
Sign Up