Researcher Page

사진

Yang, Hongseok (양홍석) M-8791-2017

Department
School of Computing(전산학부)
Website
https://sites.google.com/view/hongseokyang/homeHomePage
Research Area
Programming Languages, Machine Learning, Theoretical Computer Science

Keyword Cloud

Reload 더보기
1

Adaptive Static Analysis via Learning with Bayesian Optimization

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

2

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

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

3

The Beta- Bernoulli Process and Algebraic Effects

Staton, Sam; Stein, Dario; Yang, Hongseokresearcher; et al, Leibniz International Proceedings in Informatics, LIPIcs, v.107, 2018-07

4

On Nesting Monte Carlo Estimators

Rainforth, Tom; Cornish, Robert; Yang, Hongseokresearcher; et al, Proceedings of Machine Learning Research, v.80, pp.4267 - 4276, 2018-07

5

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

6

Automatically Generating Features for Learning Program Analysis Heuristics

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

7

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

8

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

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

9

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

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

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

12

Selective Context-Sensitivity Guided by Impact Pre-Analysis

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

13

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

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

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

16

Modular Verification of Preemptive OS Kernels

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

17

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

18

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

19

Views: Compositional Reasoning for Concurrent Programs

Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; et al, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01

20

Linearizability with Ownership Transfer

Gotsman, Alexey; Yang, Hongseokresearcher, LOGICAL METHODS IN COMPUTER SCIENCE, v.9, no.3, 2013

Load more items
Loading...

rss_1.0 rss_2.0 atom_1.0