Matthew Hague

According to our database, Matthew Hague authored at least 47 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parikh's Theorem Made Symbolic.

Matthew Hague, Artur Jez, Anthony W. Lin

Proc. ACM Program. Lang., January, 2024

2022

Solving string constraints with Regex-dependent functions through transducers with priorities and variables.

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2022

2021

Collapsible Pushdown Parity Games.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre

ACM Trans. Comput. Log., 2021

Preface.

Matthew Hague, Igor Potapov

Fundam. Informaticae, 2021

2020

Monadic Decomposition in Integer Linear Arithmetic (Technical Report).

Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu

CoRR, 2020

Monadic Decomposition in Integer Linear Arithmetic.

Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.

Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

CSS Minification via Constraint Solving.

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

ACM Trans. Program. Lang. Syst., 2019

Strings at MOSCA.

Matthew Hague

ACM SIGLOG News, 2019

Decision procedures for path feasibility of string-manipulating programs with complex operations.

Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2019

2018

Decidable models of integer-manipulating programs with recursive parallelism.

Matthew Hague, Anthony W. Lin

Theor. Comput. Sci., 2018

What is decidable about string constraints with the ReplaceAll function.

Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu

Proc. ACM Program. Lang., 2018

Report on BCTCS 2018.

Matthew Hague

Bull. EATCS, 2018

CSS Minification via Constraint Solving (Technical Report).

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

CoRR, 2018

Emptiness of Stack Automata is NEXPTIME-complete: A Correction.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

CoRR, 2018

Constrained Dynamic Tree Networks.

Matthew Hague, Vincent Penelle

Proceedings of the Reachability Problems - 12th International Conference, 2018

Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Optimal Strategies in Pushdown Reachability Games.

Arnaud Carayol, Matthew Hague

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

Collapsible Pushdown Automata and Recursion Schemes.

Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre

ACM Trans. Comput. Log., 2017

C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

CoRR, 2017

Domains for Higher-Order Games.

Matthew Hague, Roland Meyer, Sebastian Muskalla

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Decidable models of integer-manipulating programs with recursive parallelism (technical report).

Matthew Hague, Anthony Widjaja Lin

CoRR, 2016

Unboundedness and downward closures of higher-order pushdown automata.

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Generating Concurrency Checks Automatically.

Jonathan Hoyland, Matthew Hague

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015

Annotated Stack Trees.

Matthew Hague, Vincent Penelle

CoRR, 2015

Unboundedness and Downwards Closures of Higher-Order Pushdown Automata.

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong

CoRR, 2015

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach.

Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Saturation algorithms for model-checking pushdown systems.

Arnaud Carayol, Matthew Hague

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Regular Strategies in Pushdown Reachability Games.

Arnaud Carayol, Matthew Hague

Proceedings of the Reachability Problems - 8th International Workshop, 2014

Senescent ground tree rewrite systems.

Matthew Hague

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

C-SHORe: a collapsible approach to higher-order verification.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Saturation of Concurrent Collapsible Pushdown Systems.

Matthew Hague

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

A Saturation Method for Collapsible Pushdown Systems.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters.

Matthew Hague, Anthony Widjaja Lin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

A saturation method for the modal μ-calculus over pushdown systems.

Matthew Hague, C.-H. Luke Ong

Inf. Comput., 2011

Parameterised Pushdown Systems with Non-Atomic Writes.

Matthew Hague

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Model Checking Recursive Programs with Numeric Data Types.

Matthew Hague, Anthony Widjaja Lin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems

Matthew Hague, C.-H. Luke Ong

CoRR, 2010

Boom: Taking Boolean Program Model Checking One Step Further.

Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Analysing Mu-Calculus Properties of Pushdown Systems.

Matthew Hague, C.-H. Luke Ong

Proceedings of the Model Checking Software, 2010

Extended Computation Tree Logic.

Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems.

Matthew Hague, Anthony Widjaja To

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

Saturation methods for global model-checking pushdown systems.

Matthew Hague

PhD thesis, 2009

Winning Regions of Pushdown Parity Games: A Saturation Method.

Matthew Hague, C.-H. Luke Ong

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.

Matthew Hague, C.-H. Luke Ong

Log. Methods Comput. Sci., 2008

Winning Regions of Higher-Order Pushdown Games.

Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2005

From Separation Logic to First-Order Logic.

Cristiano Calcagno, Philippa Gardner, Matthew Hague

Proceedings of the Foundations of Software Science and Computational Structures, 2005