Hakjoo Oh

Identifiers

No identifiers captured yet.

Papers (4)

1. Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics cs.SE · 2019 · author #5
2. End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks cs.SE · 2017 · author #3
3. Synthesizing Imperative Programs from Examples Guided by Static Analysis cs.PL · 2017 · author #2
4. Automatically generating features for learning program analysis heuristics cs.PL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Hongseok Yang 1 shared papers
• Jaegul Choo 1 shared papers
• Jingyoung Kim 1 shared papers
• Junhee Lee 1 shared papers
• Kihong Heo 1 shared papers
• Kwonsoo Chae 1 shared papers
• Min-je Choi 1 shared papers
• Sehun Jeong 1 shared papers
• Seongjoon Hong 1 shared papers
• Sooyoung Cha 1 shared papers
• Sunbeom So 1 shared papers