TASE: Reducing Latency of Symbolic Execution with Transactional Memory.

Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter

Browse the full NDSS paper archive.