Soyeon Baek took the best presentation paper award at KSC 2023!
Soyeon Baek, a master student in our lab, took the best presentation paper award at KSC 2023. The paper proposes a program analysis technique that reveals invariants of conditional branches on LLVM bitcode to improve the static analysis precision. Congratulations!