Login / Signup
Adam Humphries
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
NDSS
CoRR
</>
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)