4 papers
Neuro-Symbolic AI for Korean Criminal Law: Sentencing Prediction and Document Drafting
Yeonseok Lee
The Korean criminal justice system utilizes summary proceedings (guyaksik) to expedite high-volume minor infractions, such as simple driving under the influence (DUI), unlicensed d…
Separation Logic for Memory Conflict Detection in High-Level Synthesis
Yeonseok Lee
High-Level Synthesis leverages loop unrolling and array partitioning, but scheduling concurrent accesses is challenging when indices contain non-affine arithmetic. Conventional pol…
Relative Completeness of Incorrectness Separation Logic
Yeonseok Lee, Koji Nakazawa
Incorrectness Separation Logic (ISL) is a proof system that is tailored specifically to resolve problems of under-approximation in programs that manipulate heaps, and it primarily…
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
Yeonseok Lee, Koji Nakazawa
Incorrectness Separation Logic (ISL) is a proof system designed to automate verification and detect bugs in programs manipulating heap memories. In this study, we extend ISL to sup…