activity
20152020
most citedWhat Is Decidable about String Constraints with the ReplaceAll Function

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

cs.LO2016

Decidable models of integer-manipulating programs with recursive parallelism (technical report)

Matthew Hague, Anthony Widjaja Lin

We study safety verification for multithreaded programs with recursive parallelism (i.e. unbounded thread creation and recursion) as well as unbounded integer variables. Since the…

cs.LO2016

Generating Concurrency Checks Automatically

Jonathan Hoyland, Matthew Hague

This article introduces ATAB, a tool that automatically generates pairwise reachability checks for action trees. Action trees can be used to study the behaviour of real-world concu…