KOASAS

Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01

Park, Changhee; Lee, Hongki; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.49, no.2, pp.73 - 84, 2014-02

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01

Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; Choe, Kwang-Moo; Han, Tai-Sook, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03

Zhang, Xin; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06

Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10

Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09

Son, Sooel; McKinley, Kathryn S.; Shmatikov, Vitaly, ACM SIGPLAN NOTICES, v.46, no.10, pp.1069 - 1083, 2011-10

O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04

Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01

Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.3, 2016-05

Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy L., Jr., ACM SIGPLAN NOTICES, v.46, no.10, pp.973 - 992, 2011-10