2 citations · 4 across the 33 of their papers we have counts for
4 papers · 1 filter
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…
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…
Impact of Large Language Models of Code on Fault Localization
Suhwan Ji, Sanghwa Lee, Changsup Lee +2
Identifying the point of error is imperative in software debugging. Traditional fault localization (FL) techniques rely on executing the program and using the code coverage matrix…
CodeComplex: Dataset for Worst-Case Time Complexity Prediction
Seung-Yeop Baik, Joonghyuk Hahn, Jungin Kim +4
Reasoning ability of Large Language Models (LLMs) is a crucial ability, especially in complex decision-making tasks. One significant task to show LLMs' reasoning capability is code…