research
∙
11/08/2021
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Regular expressions are a classical concept in formal language theory. R...
share
research
∙
10/13/2020
Collapsible Pushdown Parity Games
This paper studies a large class of two-player perfect-information turn-...
research
∙
07/14/2020
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Strings are widely used in programs, especially in web applications. Int...
research
∙
04/26/2020
Monadic Decomposition in Integer Linear Arithmetic (Technical Report)
Monadic decomposability is a notion of variable independence, which asks...
research
∙
12/07/2018
CSS Minification via Constraint Solving (Technical Report)
Minification is a widely-accepted technique which aims at reducing the s...
research
∙
11/07/2018
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
The design and implementation of decision procedures for checking path f...
research
∙
05/08/2018
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
We give a direct polynomial-time reduction from parity games played over...
research
∙
11/09/2017