news
| Sep 26, 2025 | Our paper “When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs” has been accepted by ASE 2025. |
|---|---|
| Aug 06, 2024 | Our paper “REACT: IR-Level Patch Presence Test for Binary” has been accepted by ASE 2024. |
| Dec 21, 2023 | Our paper “PS3: Precise Patch Presence Test based on Semantic Symbolic Signature” has been accepted by ICSE 2024. |