DSpace at KOASAS

Researcher Page

사진
Yang, Hongseok (양홍석)
교수, School of Computing(전산학부)

https://sites.google.com/view/hongseokyang/home

Research Area
Programming Languages, Machine Learning, Theoretical Computer Science
Co-researchers
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    1
    Editorial Message

    Yang, Hongseokresearcher, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.6, 2022-01

    2
    Specification and space complexity of collaborative text editing

    Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; et al, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02

    3
    A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs

    Jung, Paul Heajoonresearcher; Lee, Jiho; Sam Staton; et al, Annales Henri Lebesgue, v.4, pp.325 - 368, 2021-01

    4
    Towards Verified Stochastic Variational Inference for Probabilistic Programs

    Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

    5
    Adaptive Static Analysis via Learning with Bayesian Optimization

    Heo, Kihongresearcher; Oh, Hakjoo; Yang, Hongseokresearcher; et al, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.4, 2018-12

    6
    Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses

    Heo, Kihongresearcher; Oh, Hakjoo; Yang, Hongseokresearcher, FORMAL METHODS IN SYSTEM DESIGN, v.53, no.2, pp.189 - 220, 2018-10

    7
    Denotational Validation of Higher-order Bayesian Inference

    Scibior, Adam; Kammar, Ohad; Vakar, Matthijs; et al, Proceedings of the ACM on Programming Languages, v.2, 2018-01

    8
    Automatically Generating Features for Learning Program Analysis Heuristics

    Chae, Kwonsoo; Oh, Hakjoo; Heo, Kihongresearcher; et al, Proceedings of the ACM on Programming Languages, v.1, no.OOPSLA, pp.101:1 - 101:25, 2017-10

    9
    Symbolic Automata for Representing Big Code

    Peleg, Hila; Shoham, Sharon; Yahav, Eran; et al, ACTA INFORMATICA, v.53, no.4, pp.327 - 356, 2016-06

    10
    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

    Gotsman, Alexey; Yang, Hongseokresearcher; Ferreira, Carla; et al, ACM SIGPLAN NOTICES, v.51, no.1, pp.371 - 384, 2016-01

    11
    Abstraction Refinement Guided by a Learnt Probabilistic Model

    Grigore, Radu y; Yang, Hongseokresearcher, ACM SIGPLAN NOTICES, v.51, no.1, pp.485 - 498, 2016-01

    12
    Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

    Oh, Hakjoo; Lee, Wonchan; Heo, Kihongresearcher; et al, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2, 2016-01

    13
    Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation

    Oh, Hakjoo; Yang, Hongseokresearcher; Yi, Kwangkeun, ACM SIGPLAN NOTICES, v.50, no.10, pp.572 - 588, 2015-10

    14
    On Abstraction Refinement for Program Analyses in Datalog

    Zhang, Xin; Mangal, Ravi; Grigore, Radu; et al, ACM SIGPLAN NOTICES, v.49, no.6, pp.239 - 248, 2014-06

    15
    Hybrid Top-down and Bottom-up Interprocedural Analysis

    Zhang, Xin; Mangal, Ravi; Naik, Mayur; et al, ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258, 2014-06

    16
    Selective Context-Sensitivity Guided by Impact Pre-Analysis

    Oh, Hakjoo; Lee, Wonchan; Heo, Kihongresearcher; et al, ACM SIGPLAN NOTICES, v.49, no.6, pp.475 - 484, 2014-06

    17
    Replicated Data Types: Specification, Verification, Optimality

    Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseokresearcher; et al, ACM SIGPLAN NOTICES, v.49, no.1, pp.271 - 284, 2014-01

    18
    Modular Verification of Preemptive OS Kernels

    Gotsman, Alexey; Yang, Hongseokresearcher, JOURNAL OF FUNCTIONAL PROGRAMMING, v.23, no.4, pp.452 - 514, 2013-07

    19
    Finding Optimum Abstractions in Parametric Dataflow Analysis

    Zhang, Xin; Naik, Mayur; Yang, Hongseokresearcher, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06

    20
    A Step-Indexed Kripke Model of Hidden State

    Schwinghammer, Jan; Birkedal, Lars; Pottier, Francois; et al, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.23, no.1, pp.1 - 54, 2013-02
    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0