Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
SLICE: Specification-Level Isolation of Contract Enforcement
Soohan Lim, Hyundong Jin, Yo-Sub Han
Programming problems commonly specify both the computation a function should perform and the conditions that its inputs must satisfy. Large language models are widely used to gener…
cs.SE2025
TCProF: Time-Complexity Prediction SSL Framework
Joonghyuk Hahn, Hyeseon Ahn, Jungin Kim +2
Time complexity is a theoretic measure to determine the amount of time the algorithm needs for its execution. In reality, developers write algorithms into code snippets within limi…