TY  - RPRT
TI  - TASE: Reducing latency of symbolic execution with transactional memory
AU  - Adam Humphries
AU  - Kartik Cating-Subramanian
AU  - Michael K. Reiter
PY  - 2019
UR  - https://arxiv.org/abs/1912.12363
ID  - 1912.12363
ER  -