13 citations · 28 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 13 cited
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
Min-je Choi, Sehun Jeong, Hakjoo Oh +1
Detecting buffer overruns from a source code is one of the most common and yet challenging tasks in program analysis. Current approaches have mainly relied on rigid rules and handc…
cs.PL2017★ 6 cited
Synthesizing Imperative Programs from Examples Guided by Static Analysis
Sunbeom So, Hakjoo Oh
We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm ge…