발행물

전체 논문

150

111

Denotational Validation of Higher-order Bayesian Inference
Moss, S[Moss, Sean], Scibior, A[Scibior, Adam], Kammar, O[Kammar, Ohad], Heunen, C[Heunen, Chris], Vakar, M[Vakar, Matthijs], Staton, S[Staton, Sam], Ostermann, K[Ostermann, Klaus], Ghahramani, Z[Ghahramani, Zoub, Yang, H[Yang, Hongseok], Cai, Y[Cai, Yufei]
Proceedings of the ACM on Programming Languages, 201801

112

Automatically Generating Features for Learning Program Analysis Heuristics
Oh, H[Oh, Hakjoo], Heo, K[Heo, Kihong], Yang, H[Yang, Hongseok], Chae, K[Chae, Kwonsoo]
Proceedings of the ACM on Programming Languages, 201710

113

Symbolic Automata for Representing Big Code
Peleg, H[Peleg, Hila], Shoham, S[Shoham, Sharon], Yahav, E[Yahav, Eran], Yang, H[Yang, Hongseok]
ACTA INFORMATICA, 201606

114

Abstraction Refinement Guided by a Learnt Probabilistic Model
Grigore, R[Grigore, Radu y], Yang, H[Yang, Hongseok]
ACM SIGPLAN NOTICES, 201601

115

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Oh, H[Oh, Hakjoo], Lee, W[Lee, Wonchan], Heo, K[Heo, Kihong], Yang, H[Yang, Hongseok], Yi, K[Yi, Kwangkeun]
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 201601

116

`Cause I`m Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Gotsman, A[Gotsman, Alexey], Yang, H[Yang, Hongseok], Ferreira, C[Ferreira, Carla], Najafzadeh, M[Najafzadeh, Mahs, Shapiro, M[Shapiro, Marc]
ACM SIGPLAN NOTICES, 201601

117

Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
Oh, H[Oh, Hakjoo], Yang, H[Yang, Hongseok], Yi, K[Yi, Kwangkeun]
ACM SIGPLAN NOTICES, 201510

118

Selective Context-Sensitivity Guided by Impact Pre-Analysis
Oh, H[Oh, Hakjoo], Lee, W[Lee, Wonchan], Heo, K[Heo, Kihong], Yang, H[Yang, Hongseok], Yi, K[Yi, Kwangkeun]
ACM SIGPLAN NOTICES, 201406

119

Hybrid Top-down and Bottom-up Interprocedural Analysis
Zhang, X[Zhang, Xin], Mangal, R[Mangal, Ravi], Naik, M[Naik, Mayur], Yang, HS[Yang, Hongseok]
ACM SIGPLAN NOTICES, 201406

120

On Abstraction Refinement for Program Analyses in Datalog
Zhang, X[Zhang, Xin], Mangal, R[Mangal, Ravi], Grigore, R[Grigore, Radu], Naik, M[Naik, Mayur], Yang, HS[Yang, Hongseok]
ACM SIGPLAN NOTICES, 201406