Bit-vector model counting using statistical estimation S Kim, S McCamant Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 17 | 2018 |
It doesn’t have to be so hard: Efficient symbolic reasoning for CRCs V Sharma, N Emamdoost, S Kim, S McCamant 2020 Workshop on binary analysis research. NDSS BAR 2020, 2020 | 3 | 2020 |
Structural Bit-vector Model Counting. S Kim, S McCamant SMT, 26-36, 2020 | 2 | 2020 |
Formal Verification of a gravity-induced loss-of-Consciousness Monitoring System for Aircraft S Kim, W Nam, H Kil, M Park Computing in Science & Engineering 16 (5), 96-103, 2014 | 2 | 2014 |
Scalable Model Counting for Program Analysis S Kim University of Minnesota, 2022 | | 2022 |