Travelled to:1 × Austria
1 × Cyprus
1 × Hungary
1 × Portugal
2 × United Kingdom
5 × USA
Collaborated with:C.L.Ong A.W.Lin A.Carayol O.Serre ∅ C.H.Broadbent T.Chen A.W.Lin Z.Wu C.Calcagno P.Gardner J.Kochems A.S.Murawski A.Meyer Y.Chen P.Rümmer G.Basler D.Kröning T.Wahl H.Zhao
Talks about:pushdown (6) order (5) program (4) system (4) higher (4) collaps (3) model (3) check (3) automata (2) approach (2)
Person: Matthew Hague
DBLP: Hague:Matthew
Contributed to:
2015
2014
2014
2013
2012
20122011
20102008
20072005
201620182019Wrote 15 papers:
- OOPSLA-2015-HagueLO #approach #css #detection #html
- Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach (MH, AWL, CHLO), pp. 1–19.
- AFL-2014-CarayolH #algorithm #automaton #model checking
- Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
- LICS-CSL-2014-Hague #term rewriting
- Senescent ground tree rewrite systems (MH), p. 10.
- ICFP-2013-BroadbentCHS #approach #higher-order #named #verification
- C-SHORe: a collapsible approach to higher-order verification (CHB, AC, MH, OS), pp. 13–24.
- CAV-2012-HagueL #analysis #bound #parallel #source code #thread
- Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
- ICALP-v2-2012-BroadbentCHS #automaton
- A Saturation Method for Collapsible Pushdown Systems (CHB, AC, MH, OS), pp. 165–176.
- CAV-2011-HagueL #data type #model checking #recursion #source code
- Model Checking Recursive Programs with Numeric Data Types (MH, AWL), pp. 743–759.
- TACAS-2010-BaslerHKOWZ #model checking #named
- Boom: Taking Boolean Program Model Checking One Step Further (GB, MH, DK, CHLO, TW, HZ), pp. 145–149.
- LICS-2008-CarayolHMOS #automaton #game studies #higher-order
- Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.
- LICS-2008-HagueMOS #automaton #recursion
- Collapsible Pushdown Automata and Recursion Schemes (MH, ASM, CHLO, OS), pp. 452–461.
- FoSSaCS-2007-HagueO #analysis #automaton #higher-order
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (MH, CHLO), pp. 213–227.
- FoSSaCS-2005-CalcagnoGH #first-order #logic
- From Separation Logic to First-Order Logic (CC, PG, MH), pp. 395–409.
- POPL-2016-HagueKO #automaton #bound #higher-order
- Unboundedness and downward closures of higher-order pushdown automata (MH, JK, CHLO), pp. 151–163.
- POPL-2018-ChenCHLW #constraints #decidability #string #what
- What is decidable about string constraints with the ReplaceAll function (TC, YC, MH, AWL, ZW), p. 29.
- POPL-2019-ChenHLRW #source code #string
- Decision procedures for path feasibility of string-manipulating programs with complex operations (TC, MH, AWL, PR, ZW), p. 30.