Hague, Matthew
- Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
2021/11/08 by Taolue Chen, Alejandro Flores Lamas, Chen, Taolue +15 · 9 citations
Computer Science · #F.1.1 #F.4.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Web Application Security Vulnerabilities #Web Data Mining and Analysis
- Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
2018/11/07 by Taolue Chen, Matthew Hague, Chen, Taolue +7 · 7 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
2020/07/14 by Taolue Chen, Matthew Hague, Chen, Taolue +11 · 5 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- What Is Decidable about String Constraints with the ReplaceAll Function
2017/11/09 by Chen, Taolue, Chen, Yan, Hague, Matthew +2 · 2 citations
#F.1.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Parameterised Pushdown Systems with Non-Atomic Writes
2011/09/28 by Hague, Matthew · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- OSTRICH2: Solver for Complex String Constraints
2025/06/17 by Matthew Hague, Hague, Matthew, Denghang Hu +11 · 3 citations
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques