The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Kihong Heo" ( http://dblp.L3S.de/Authors/Kihong_Heo )

  Author page on DBLP  Author page in RDF  Community of Kihong Heo in ASPL-2

Publication years (Num. hits)
2012-2018 (17) 2019 (4)
Publication types (Num. hits)
article(11) inproceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs Using Numerical Relaxation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik Continuously reasoning about programs using differential Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Resource-aware program analysis via online abstraction coarsening. Search on Bibsonomy ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs using Numerical Relaxation. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi Adaptive Static Analysis via Learning with Bayesian Optimization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik Effective Program Debloating via Reinforcement Learning. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik User-guided program reasoning using Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik Accelerating search-based program synthesis using learned probabilistic models. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang Automatically generating features for learning program analysis heuristics for C-like languages. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi Sound Non-Statistical Clustering of Static Analysis Alarms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Kwangkeun Yi Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Kwangkeun Yi Machine-learning-guided selectively unsound static analysis. Search on Bibsonomy ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang Automatically generating features for learning program analysis heuristics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi Widening with thresholds via binary search. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yoonseok Ko, Kihong Heo, Hakjoo Oh A sparse evaluation technique for detailed semantic analyses. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park 0001, Jeehoon Kang, Kwangkeun Yi Global Sparse Analysis Framework. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi Selective context-sensitivity guided by impact pre-analysis. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi Design and implementation of sparse global analyses for C-like languages. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license