Showing results 38 to 50 of 50
Selective Context-Sensitivity Guided by Impact Pre-Analysis Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun, ACM SIGPLAN NOTICES, v.49, no.6, pp.475 - 484, 2014-06 |
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2, 2016-01 |
Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages![]() Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5, 2006-11 |
Separation and information hiding O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM SIGPLAN NOTICES, v.39, pp.268 - 280, 2004-01 |
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 |
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Lee, Wonyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.POPL, 2023-01 |
Specification and space complexity of collaborative text editing Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02 |
Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs Lee, O; Yang, Hongseok; Yi, K, SCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10 |
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 |
Symbolic Automata for Representing Big Code Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok, ACTA INFORMATICA, v.53, no.4, pp.327 - 356, 2016-06 |
Towards Verified Stochastic Variational Inference for Probabilistic Programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Two for the Price of One: Lifting Separation Logic Assertions Thamsborg, Jacob; Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.8, no.3, 2012 |
Views: Compositional Reasoning for Concurrent Programs Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01 |
Discover