Personal profile
Personal profile
I am interested in theoretical and practical/implementational aspects of infinite-state verification, with a focus on higher-order recursion and counter systems.
Please see my personal homepage for up-to-date information and paper/software downloads.
Keywords
- Verification
- Higher-Order
- Automata
- Counters
- Model-Checking
- Software
- Infinite-State
Collaborations and top research areas from the last five years
-
A dynamic programming algorithm for the maximum s-club problem on trees
Fernández-Zepeda, J. A., Flores Lamas, A., Hague, M. & Trejo-Sánchez, J. A., 1 Mar 2026, In: European Journal of Operational Research. 329, 2, p. 426-435 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
General Decidability Results for Systems with Continuous Counters
Balasubramanian, A. R., Hague, M., Majumdar, R., Thinniyam, R. S. & Zetzsche, G., 8 Jan 2026, Principles of Programming Language. ACM, Vol. 10. p. 540-567 28 p. 19Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
OSTRICH2: Solver for Complex String Constraints
Hague, M., Hu, D., Jeż, A., Lin, A., Markgraf, O., Rümmer, P. & Wu, Z., 1 Jul 2025, (Accepted/In press) Formal Methods in Computer-Aided Design (FMCAD).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile34 Downloads (Pure) -
The Power of Regular Constraint Propagation
Hague, M., Jeż, A., Lin, A., Markgraf, O. & Rümmer, P., 9 Oct 2025, Proceedings of the ACM on Programming Languages (PACMPL): Object-Oriented Programming, Systems, Languages & Applications (OOPSLA). 2025 ed. ACM, Vol. OOPSLA. p. 3203-3231 29 p. 387Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Parikh's Theorem Made Symbolic
Hague, M., Jeż, A. & Lin, A., 5 Jan 2024, Principles of Programming Languages. p. 1945-1977 33 p. 65Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile83 Downloads (Pure)
Projects
- 2 Finished
-
String Constraint Solving with Real-World Regular Expressions
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
-
Verification of Concurrent and Higher-Order Recursive Programs
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
-
International Colloquium on Automata, Languages and Programming and ACM Symposium on Principles of Distributed Computing and ACM Symposium on Parallelism in Algorithms and Architectures
Hague, M. (Organiser)
6 Jul 2026 → 10 Jul 2026Activity: Participating in or organising an event › Participation in a conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
11 Jan 2026 → 17 Jan 2026Activity: Participating in or organising an event › Participation in a conference
-
Meeting on String Constraints and Applications
Hague, M. (Organiser), Lengál, O. (Organiser) & Day, J. (Organiser)
22 Jul 2025Activity: Participating in or organising an event › Workshop, seminar, course or webinar.
-
ACM/IEEE Symposium on Logic in Computer Science
Hague, M. (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in a conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: Participating in or organising an event › Participation in a conference
Datasets
-
Data and source code for SatCSS
Hague, M. (Creator), Lin, A. (Creator) & Hong, C.-D. (Creator), Royal Holloway, University of London, 5 Dec 2018
https://royalholloway.figshare.com/articles/Data_and_Source_Code_for_Sat_CSS/7277324
Dataset
-
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset