We construct novel thread-modular analyses that track relational informa...
To put static program analysis at the fingertips of the software develop...
We give thread-modular non-relational value analyses as abstractions of ...
First-order (FO) transition systems have recently attracted attention fo...