Showing results 1 to 50 of 50
A Divide-and-Conquer Approach for Analysing Overlaid Data Structures Lee, Oukseh; Yang, Hongseok; Petersen, Rasmus, FORMAL METHODS IN SYSTEM DESIGN, v.41, no.1, pp.4 - 24, 2012-08 |
A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs Jung, Paul Heajoon; Lee, Jiho; Sam Staton; Yang, Hongseok, Annales Henri Lebesgue, v.4, pp.325 - 368, 2021-01 |
A local shape analysis based on separation logic Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, v.3920, pp.287 - 302, 2006 |
A Step-Indexed Kripke Model of Hidden State Schwinghammer, Jan; Birkedal, Lars; Pottier, Francois; Reus, Bernhard; Stovring, Kristian; Yang, Hongseok, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.23, no.1, pp.1 - 54, 2013-02 |
Abstraction for Concurrent Objects Filipovic, Ivana; O'Hearn, Peter; Rinetzky, Noam; Yang, Hongseok, THEORETICAL COMPUTER SCIENCE, v.411, no.51-52, pp.4379 - 4398, 2010-12 |
Abstraction Refinement Guided by a Learnt Probabilistic Model Grigore, Radu y; Yang, Hongseok, ACM SIGPLAN NOTICES, v.51, no.1, pp.485 - 498, 2016-01 |
Abstractions from Tests Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01 |
Adaptive Static Analysis via Learning with Bayesian Optimization Heo, Kihong; Oh, Hakjoo; Yang, Hongseok; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.4, 2018-12 |
Alpha-stable convergence of heavy-/light-tailed infinitely wide neural networks Jung, Paul; Lee, Hoil; Lee, Jiho; Yang, Hongseok, ADVANCES IN APPLIED PROBABILITY, v.55, no.4, pp.1415 - 1441, 2023-12 |
'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; Najafzadeh, Mahsa; Shapiro, Marc, ACM SIGPLAN NOTICES, v.51, no.1, pp.371 - 384, 2016-01 |
Automatic construction of hoare proofs from abstract interpretation results Seo, SN; Yang, Hongseok; Yi, Kwangkeun, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v.2895, pp.230 - 245, 2003 |
Automatic verification of pointer programs using grammar-based shape analysis Lee, O; Yang, Hongseok; Yi, KK, PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v.3444, pp.124 - 140, 2005 |
Automatically Generating Features for Learning Program Analysis Heuristics Chae, Kwonsoo; Oh, Hakjoo; Heo, Kihong; Yang, Hongseok, Proceedings of the ACM on Programming Languages, v.1, no.OOPSLA, pp.101:1 - 101:25, 2017-10 |
Beyond reachability: Shape abstraction in the presence of pointer arithmetic Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, STATIC ANALYSIS, PROCEEDINGS, v.4134, pp.182 - 203, 2006 |
Blaming the Client: On Data Refinement in the Presence of Pointers Filipovic, Ivana; O'Hearn, Peter; Torp-Smith, Noah; Yang, Hongseok, FORMAL ASPECTS OF COMPUTING, v.22, no.5, pp.547 - 583, 2010-09 |
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 |
Correctness of Data Representations involving Heap Data Structures Reddy, US; Yang, Hongseok, SCIENCE OF COMPUTER PROGRAMMING, v.50, no.1-3, pp.129 - 160, 2004-03 |
Correctness of data representations involving heap data structures Reddy, US; Yang, Hongseok, PROGRAMMING LANGUAGES AND SYSTEMS, v.2618, pp.223 - 237, 2003 |
Deep Neural Networks with Dependent Weights: Gaussian Process Mixture Limit, Heavy Tails, Sparsity and Compressibility Lee, Hoil; Ayed, Fadhel; Jung, Paul; Lee, Juho; Yang, Hongseok; Caron, Francois, JOURNAL OF MACHINE LEARNING RESEARCH, v.24, pp.1 - 78, 2023-09 |
Denotational Validation of Higher-order Bayesian Inference Scibior, Adam; Kammar, Ohad; Vakar, Matthijs; Staton, Sam; Yang, Hongseok; Cai, Yufei; Ostermann, Klaus; et al, Proceedings of the ACM on Programming Languages, v.2, 2018-01 |
Editorial Message Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.6, 2022-01 |
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 |
Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
Hybrid Top-down and Bottom-up Interprocedural Analysis Zhang, Xin; Mangal, Ravi; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258, 2014-06 |
Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation Oh, Hakjoo; Yang, Hongseok; Yi, Kwangkeun, ACM SIGPLAN NOTICES, v.50, no.10, pp.572 - 588, 2015-10 |
Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses Heo, Kihong; Oh, Hakjoo; Yang, Hongseok, FORMAL METHODS IN SYSTEM DESIGN, v.53, no.2, pp.189 - 220, 2018-10 |
Linearizability with Ownership Transfer Gotsman, Alexey; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.9, no.3, 2013 |
Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, JOURNAL OF FUNCTIONAL PROGRAMMING, v.23, no.4, pp.452 - 514, 2013-07 |
Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
Nested Hoare Triples and Frame Rule for Higher-order Store Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.7, no.3, 2011 |
On Abstraction Refinement for Program Analyses in Datalog Zhang, Xin; Mangal, Ravi; Grigore, Radu; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.239 - 248, 2014-06 |
On the semantics of refinement calculi Yang, Hongseok; Reddy, US, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374, 2000 |
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets Ackerman, Nate; Freer, Cameron E.; Kaddar, Younesse; Karwowski, Jacek; Moss, Sean; Roy, Daniel; Staton, Sam; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.8, no.POPL, pp.1819 - 1849, 2024-01 |
Relational Parametricity and Separation Logic Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.4, no.2, 2008 |
Relational Separation Logic Yang, Hongseok, THEORETICAL COMPUTER SCIENCE, v.375, no.1-3, pp.308 - 334, 2007-05 |
Replicated Data Types: Specification, Verification, Optimality Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek, ACM SIGPLAN NOTICES, v.49, no.1, pp.271 - 284, 2014-01 |
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