About KOASAS KAIST Library
https://sites.google.com/view/hongseokyang/home
Ackerman, Nate; Freer, Cameron E.; Kaddar, Younesse; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.8, no.POPL, pp.1819 - 1849, 2024-01
Jung, Paul; Lee, Hoil; Lee, Jiho; et al, ADVANCES IN APPLIED PROBABILITY, v.55, no.4, pp.1415 - 1441, 2023-12
Lee, Hoil; Ayed, Fadhel; Jung, Paul; et al, JOURNAL OF MACHINE LEARNING RESEARCH, v.24, pp.1 - 78, 2023-09
Lee, Wonyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.POPL, 2023-01
Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.6, 2022-01
Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; et al, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02
Jung, Paul Heajoon; Lee, Jiho; Sam Staton; et al, Annales Henri Lebesgue, v.4, pp.325 - 368, 2021-01
Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01
Heo, Kihong; Oh, Hakjoo; Yang, Hongseok; et al, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.4, 2018-12
Heo, Kihong; Oh, Hakjoo; Yang, Hongseok, FORMAL METHODS IN SYSTEM DESIGN, v.53, no.2, pp.189 - 220, 2018-10
Scibior, Adam; Kammar, Ohad; Vakar, Matthijs; et al, Proceedings of the ACM on Programming Languages, v.2, 2018-01
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
Peleg, Hila; Shoham, Sharon; Yahav, Eran; et al, ACTA INFORMATICA, v.53, no.4, pp.327 - 356, 2016-06
Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; et al, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2, 2016-01
Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; et al, ACM SIGPLAN NOTICES, v.51, no.1, pp.371 - 384, 2016-01
Grigore, Radu y; Yang, Hongseok, ACM SIGPLAN NOTICES, v.51, no.1, pp.485 - 498, 2016-01
Oh, Hakjoo; Yang, Hongseok; Yi, Kwangkeun, ACM SIGPLAN NOTICES, v.50, no.10, pp.572 - 588, 2015-10
Zhang, Xin; Mangal, Ravi; Naik, Mayur; et al, ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258, 2014-06
Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; et al, ACM SIGPLAN NOTICES, v.49, no.6, pp.475 - 484, 2014-06
Zhang, Xin; Mangal, Ravi; Grigore, Radu; et al, ACM SIGPLAN NOTICES, v.49, no.6, pp.239 - 248, 2014-06
rss_1.0 rss_2.0 atom_1.0