발행물

전체 논문

150

101

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
Yang, Hongseok, Ackerman, Nate, Freer, Cameron E., Kaddar, Younesse, Karwowski, Jacek, Moss, Sean, Roy, Daniel, Staton, Sam
Proceedings of the ACM on Programming Languages, 202401

102

Alpha-stable convergence of heavy-/light-tailed infinitely wide neural networks
Jung, Paul, Lee, Hoil, Lee, Jiho, Yang, Hongseok
ADVANCES IN APPLIED PROBABILITY, 202312

103

Deep Neural Networks with Dependent Weights: Gaussian Process Mixture Limit, Heavy Tails, Sparsity and Compressibility
Lee, Hoil, Ayed, Fadhel, Jung, Paul, Lee, Juho, Yang, Hongseok, Caron, Francois
JOURNAL OF MACHINE LEARNING RESEARCH, 202309

104

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Lee, W[Lee, Wonyeol], Rival, X[Rival, Xavier], Yang, H[Yang, Hongseok]
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 202301

105

Editorial Message
Yang, H[Yang, Hongseok]
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 202201

106

Specification and space complexity of collaborative text editing
Attiya, H[Attiya, Hagit], Burckhardt, S[Burckhardt, Seba, Gotsman, A[Gotsman, Alexey], Morrison, A[Morrison, Adam], Yang, H[Yang, Hongseok], Zawirski, M[Zawirski, Marek]
THEORETICAL COMPUTER SCIENCE, 202102

107

A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs
Jung, P[Jung, Paul Heajoon], Lee, J[Lee, Jiho], Staton, S[Sam Staton], Yang, H[Yang, Hongseok]
Annales Henri Lebesgue, 202101

108

Towards Verified Stochastic Variational Inference for Probabilistic Programs
Lee, W[Lee, Wonyeol], Yu, H[Yu, Hangyeol], Rival, X[Rival, Xavier], Yang, H[Yang, Hongseok]
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 202001

109

Adaptive Static Analysis via Learning with Bayesian Optimization
Oh, H[Oh, Hakjoo], Yi, K[Yi, Kwangkeun], Yang, H[Yang, Hongseok], Heo, K[Heo, Kihong]
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 201812

110

Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses
Oh, H[Oh, Hakjoo], Yang, H[Yang, Hongseok], Heo, K[Heo, Kihong]
FORMAL METHODS IN SYSTEM DESIGN, 201810