pith. sign in

Matthew Hague

Identifiers

  • name variant Matthew Hague 0.60 · backfill

Papers (18)

  1. Synthesis and Verification of Transformer Programs (Technical Report) cs.LG · 2026 · author #2
  2. CSS Minification via Constraint Solving (Technical Report) cs.LO · 2018 · author #1
  3. Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations cs.FL · 2018 · author #2
  4. Emptiness of Stack Automata is NEXPTIME-complete: A Correction cs.FL · 2018 · author #3
  5. Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems cs.LO · 2018 · author #1
  6. What Is Decidable about String Constraints with the ReplaceAll Function cs.LO · 2017 · author #3
  7. Domains for Higher-Order Games cs.LO · 2017 · author #1
  8. C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation cs.LO · 2017 · author #3
  9. Decidable models of integer-manipulating programs with recursive parallelism (technical report) cs.LO · 2016 · author #1
  10. Generating Concurrency Checks Automatically cs.LO · 2016 · author #2
  11. Unboundedness and Downward Closures of Higher-Order Pushdown Automata cs.FL · 2015 · author #1
  12. Annotated Stack Trees cs.FL · 2015 · author #1
  13. Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach cs.LO · 2014 · author #1
  14. Senescent Ground Tree Rewrite Systems cs.FL · 2013 · author #1
  15. Saturation of Concurrent Collapsible Pushdown Systems cs.FL · 2013 · author #1
  16. Parameterised Pushdown Systems with Non-Atomic Writes cs.FL · 2011 · author #1
  17. Extended Computation Tree Logic cs.LO · 2010 · author #2
  18. Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems cs.CC · 2008 · author #1

Mentions

  • 1507.03304 #1 · backfill · confidence 0.70 Matthew Hague
  • 1502.05873 #1 · backfill · confidence 0.70 Matthew Hague
  • 1412.5143 #1 · backfill · confidence 0.70 Matthew Hague
  • 1311.4915 #1 · backfill · confidence 0.70 Matthew Hague
  • 1310.2631 #1 · backfill · confidence 0.70 Matthew Hague
  • 1109.6264 #1 · backfill · confidence 0.70 Matthew Hague
  • 2602.16473 #2 · arxiv_oai · confidence 0.70 Matthew Hague
  • 1006.3709 #2 · backfill · confidence 0.70 Matthew Hague
  • 0811.1103 #1 · backfill · confidence 0.70 Matthew Hague

Frequent Coauthors