1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2017★ 1 cited
Bit-Vector Model Counting using Statistical Estimation
Seonmo Kim, Stephen McCamant
Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it…
cs.SE2017
Finding Substitutable Binary Code By Synthesizing Adapters
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Independently developed codebases typically contain many segments of code that perform same or closely related operations (semantic clones). Finding functionally equivalent segment…