Kartik Cating-Subramanian

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Symbolic Execution

Transactional Memory

Simulated Annealing Algorithm

Test Generation

Top Venues

Publications

Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter
TASE: Reducing Latency of Symbolic Execution with Transactional Memory. NDSS (2021)
Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter
TASE: Reducing latency of symbolic execution with transactional memory. CoRR (2019)