Showing results 1 to 13 of 13
Abstractions from Tests Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01 |
All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications Park, Changhee; Lee, Hongki; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.49, no.2, pp.73 - 84, 2014-02 |
Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
Compositional Shape Analysis by means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01 |
Detection of Harmful Schizophrenic Statements in Esterel 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 |
Finding Optimum Abstractions in Parametric Dataflow Analysis Zhang, Xin; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06 |
Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are Son, Sooel; McKinley, Kathryn S.; Shmatikov, Vitaly, ACM SIGPLAN NOTICES, v.46, no.10, pp.1069 - 1083, 2011-10 |
Separation and Information Hiding O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04 |
Step-Indexed Kripke Models over Recursive Worlds Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01 |
ThisType for Object-Oriented Languages: From Theory to Practice Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.3, 2016-05 |
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance 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 |
Discover