7 papers
Grammar-Guided Code Watermarking with Green Temperature
Hyundong Jin, Hyeseon An, Soohan Lim +1
Large language model watermarking embeds detectable statistical signals during decoding, but the resulting changes to token probabilities can degrade generation quality. This trade…
SEW: Style-Encoded Watermarking of LLM-Generated Code
Soohan Lim, Hyundong Jin, Yo-Sub Han
Code watermarking supports provenance tracking for code generated by LLMs. Modifying token selection to embed watermarks as an LLM generates code can create a trade-off between det…
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…
STAB: Specification-driven Testing for Algorithmic Bottlenecks
Soohan Lim, Joonghyuk Hahn, Hyundong Jin +1
Evaluating the efficiency of algorithmic code requires test cases that expose runtime bottlenecks. Previous methods generate efficiency test cases either by increasing input size o…
MECO: Multi-Expert Consensus for Code Time Complexity Prediction
Joonghyuk Hahn, Soohan Lim, Yo-Sub Han
Predicting the complexity of source code is essential for software development and algorithm analysis. Recently, Baik et al. (2025) introduced CodeComplex for code time complexity…
ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
Soohan Lim, Joonghyuk Hahn, Hyunwoo Park +2
Current code generation evaluation measures functional correctness on well-formed inputs that satisfy all input preconditions. This paradigm has a critical limitation: task descrip…
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…