E-LIB Suche - Ergebnisse für: Yang, Hongseok

1

Probabilistic Programming Interfaces for Random Graphs: Mar..:

Ackerman, Nate ; Freer, Cameron E. ; Kaddar, Younesse...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1819-1849 , 2024

Link: https://doi.org/10.1145/..

2

-Stable convergence of heavy-/light-tailed infinitely wide ..:

Jung, Paul ; Lee, Hoil ; Lee, Jiho.
Advances in Applied Probability. 55 (2023) 4 - p. 1415-1441 , 2023

Link: https://doi.org/10.1017/..

3

Smoothness Analysis for Probabilistic Programs with Applica..:

Lee, Wonyeol ; Rival, Xavier ; Yang, Hongseok
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 335-366 , 2023

Link: https://doi.org/10.1145/..

4

Establishment of an Acanthamoeba keratitis mouse model conf..:

Kang, Heekyoung ; Sohn, Hae-Jin ; Park, A-Young...
Scientific Reports. 11 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

5

Specification and space complexity of collaborative text ed..:

Attiya, Hagit ; Burckhardt, Sebastian ; Gotsman, Alexey...
Theoretical Computer Science. 855 (2021) - p. 141-160 , 2021

Link: https://doi.org/10.1016/..

6

Towards verified stochastic variational inference for proba..:

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-33 , 2019

Link: https://doi.org/10.1145/..

7

Towards verified stochastic variational inference for proba..:

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-33 , 2019

Link: https://dl.acm.org/doi/1..

8

Resource-aware program analysis via online abstraction coar..:

, In: Proceedings of the 41st International Conference on Software Engineering,

Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok - p. 94-104 , 2019

Link: https://dl.acm.org/doi/1..

9

On-site measurements for noise reduction through open windo..:

Yang, Hong-Seok ; Cho, Hyun-Min ; Kim, Myung-Jun
Applied Acoustics. 139 (2018) - p. 165-173 , 2018

Link: https://doi.org/10.1016/..

10

Adaptive Static Analysis via Learning with Bayesian Optimiz..:

Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok.
ACM Transactions on Programming Languages and Systems. 40 (2018) 4 - p. 1-37 , 2018

Link: https://doi.org/10.1145/..

11

Adaptive Static Analysis via Learning with Bayesian Optimiz..:

Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok.
ACM Transactions on Programming Languages and Systems (TOPLAS). 40 (2018) 4 - p. 1-37 , 2018

Link: https://dl.acm.org/doi/1..

12

Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as ... Lecture Notes in Computer Science ; 10201;SpringerLink, Bücher

Yang, Hongseok , 2017

Link: https://doi.org/10.1007/..

13

Denotational validation of higher-order Bayesian inference:

Ścibior, Adam ; Kammar, Ohad ; Vákár, Matthijs...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

14

Automatically generating features for learning program anal..:

Chae, Kwonsoo ; Oh, Hakjoo ; Heo, Kihong.
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-25 , 2017

Link: https://doi.org/10.1145/..

15

Automatically generating features for learning program anal..:

Chae, Kwonsoo ; Oh, Hakjoo ; Heo, Kihong.
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-25 , 2017

Link: https://dl.acm.org/doi/1..