Matthew Hague

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 34

Top Venues

CoRR

Proc. ACM Program. Lang.

MFCS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Matthew Hague, Artur Jez, Anthony W. Lin
Parikh's Theorem Made Symbolic. Proc. ACM Program. Lang. 8 (POPL) (2024)
Matthew Hague, Artur Jez, Anthony W. Lin
Parikh's Theorem Made Symbolic. CoRR (2023)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6 (POPL) (2022)
Matthew Hague, Igor Potapov
Preface. Fundam. Informaticae 178 (1-2) (2021)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR (2021)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
Collapsible Pushdown Parity Games. ACM Trans. Comput. Log. 22 (3) (2021)
Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA (2020)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
Collapsible Pushdown Parity Games. CoRR (2020)
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) (2020)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
CSS Minification via Constraint Solving. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3 (POPL) (2019)
Matthew Hague
Strings at MOSCA. ACM SIGLOG News 6 (4) (2019)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
Emptiness of Stack Automata is NEXPTIME-complete: A Correction. CoRR (2018)
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. CoRR (2018)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR (2018)
Matthew Hague, Anthony W. Lin
Decidable models of integer-manipulating programs with recursive parallelism. Theor. Comput. Sci. 750 (2018)
Matthew Hague
Report on BCTCS 2018. Bull. EATCS 126 (2018)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
CSS Minification via Constraint Solving (Technical Report). CoRR (2018)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2 (POPL) (2018)
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. MFCS (2018)
Matthew Hague, Vincent Penelle
Constrained Dynamic Tree Networks. RP (2018)
Arnaud Carayol, Matthew Hague
Optimal Strategies in Pushdown Reachability Games. MFCS (2018)
Matthew Hague, Roland Meyer, Sebastian Muskalla
Domains for Higher-Order Games. CoRR (2017)
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
Collapsible Pushdown Automata and Recursion Schemes. ACM Trans. Comput. Log. 18 (3) (2017)
Matthew Hague, Roland Meyer, Sebastian Muskalla
Domains for Higher-Order Games. MFCS (2017)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What Is Decidable about String Constraints with the ReplaceAll Function. CoRR (2017)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation. CoRR (2017)
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
Unboundedness and downward closures of higher-order pushdown automata. POPL (2016)
Matthew Hague, Anthony Widjaja Lin
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism. RP (2016)
Matthew Hague, Anthony Widjaja Lin
Decidable models of integer-manipulating programs with recursive parallelism (technical report). CoRR (2016)
Jonathan Hoyland, Matthew Hague
Generating Concurrency Checks Automatically. CoRR (2016)
Jonathan Hoyland, Matthew Hague
Generating Concurrency Checks Automatically. FTfJP@ECOOP (2016)
Matthew Hague, Vincent Penelle
Annotated Stack Trees. CoRR (2015)
Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. OOPSLA (2015)
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata. CoRR (2015)
Arnaud Carayol, Matthew Hague
Regular Strategies in Pushdown Reachability Games. RP (2014)
Arnaud Carayol, Matthew Hague
Saturation algorithms for model-checking pushdown systems. AFL (2014)
Matthew Hague, Anthony Widjaja Lin, Luke Ong
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach. CoRR (2014)
Matthew Hague
Senescent ground tree rewrite systems. CSL-LICS (2014)
Matthew Hague
Saturation of Concurrent Collapsible Pushdown Systems. CoRR (2013)
Matthew Hague
Senescent Ground Tree Rewrite Systems. CoRR (2013)
Matthew Hague
Saturation of Concurrent Collapsible Pushdown Systems. FSTTCS (2013)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
C-SHORe: a collapsible approach to higher-order verification. ICFP (2013)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
A Saturation Method for Collapsible Pushdown Systems. ICALP (2) (2012)
Matthew Hague, Anthony Widjaja Lin
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. CAV (2012)
Matthew Hague, C.-H. Luke Ong
A saturation method for the modal μ-calculus over pushdown systems. Inf. Comput. 209 (5) (2011)
Matthew Hague
Parameterised Pushdown Systems with Non-Atomic Writes. FSTTCS (2011)
Matthew Hague, Anthony Widjaja Lin
Model Checking Recursive Programs with Numeric Data Types. CAV (2011)
Matthew Hague
Parameterised Pushdown Systems with Non-Atomic Writes CoRR (2011)
Matthew Hague, Anthony Widjaja To
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. FSTTCS (2010)
Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao
Boom: Taking Boolean Program Model Checking One Step Further. TACAS (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic. LPAR (Yogyakarta) (2010)
Matthew Hague, C.-H. Luke Ong
Analysing Mu-Calculus Properties of Pushdown Systems. SPIN (2010)
Matthew Hague, C.-H. Luke Ong
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems CoRR (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic CoRR (2010)
Matthew Hague, C.-H. Luke Ong
Winning Regions of Pushdown Parity Games: A Saturation Method. CONCUR (2009)
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre
Winning Regions of Higher-Order Pushdown Games. LICS (2008)
Matthew Hague, C.-H. Luke Ong
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. Log. Methods Comput. Sci. 4 (4) (2008)
Matthew Hague, C.-H. Luke Ong
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems CoRR (2008)
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
Collapsible Pushdown Automata and Recursion Schemes. LICS (2008)
Matthew Hague, C.-H. Luke Ong
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. FoSSaCS (2007)
Cristiano Calcagno, Philippa Gardner, Matthew Hague
From Separation Logic to First-Order Logic. FoSSaCS (2005)

Matthew Hague.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew Hague