| 2025 | ICLR | Parameter Expanded Stochastic Gradient Markov Chain Monte Carlo. | Hyunsu Kim, Giung Nam, Chulhee Yun, Hongseok Yang, Juho Lee |
| 2024 | ICML | Variational Partial Group Convolutions for Input-Aware Partial Equivariance of Rotations and Color-Shifts. | Hyunsu Kim, Yegon Kim, Hongseok Yang, Juho Lee |
| 2024 | ICML | An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network. | Taeyoung Kim, Hongseok Yang |
| 2023 | ICML | Regularizing Towards Soft Equivariance Under Mixed Symmetries. | Hyunsu Kim, Hyungi Lee, Hongseok Yang, Juho Lee |
| 2022 | ICLR | DemoDICE: Offline Imitation Learning with Supplementary Imperfect Demonstrations. | Geon-Hyeong Kim, Seokin Seo, Jongmin Lee, Wonseok Jeon, HyeongJoo Hwang, Hongseok Yang, Kee-Eung Kim |
| 2022 | ICLR | Scale Mixtures of Neural Network Gaussian Processes. | Hyungi Lee, Eunggu Yun, Hongseok Yang, Juho Lee |
| 2021 | ICML | Probabilistic Programs with Stochastic Conditioning. | David Tolpin, Yuan Zhou, Tom Rainforth, Hongseok Yang |
| 2020 | AAAI | Differentiable Algorithm for Marginalising Changepoints. | Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang |
| 2020 | ICML | Variational Inference for Sequential Data with Future Likelihood Estimates. | Geon-Hyeong Kim, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim |
| 2020 | ICML | Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support. | Yuan Zhou, Hongseok Yang, Yee Whye Teh, Tom Rainforth |
| 2019 | ACML | Trust Region Sequential Variational Inference. | Geon-hyeong Kim, Youngsoo Jang, Jongmin Lee, Wonseok Jeon, Hongseok Yang, Kee-Eung Kim |
| 2019 | AISTATS | LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. | Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, Frank Wood |
| 2019 | ICSE | Resource-aware program analysis via online abstraction coarsening. | Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2018 | ICALP | The Beta-Bernoulli process and algebraic effects. | Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy |
| 2018 | ICML | On Nesting Monte Carlo Estimators. | Tom Rainforth, Robert Cornish, Hongseok Yang, Andrew Warrington |
| 2017 | CONCUR | Algebraic Laws for Weak Consistency. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2017 | CONCUR | Probabilistic Programming (Invited Talk). | Hongseok Yang |
| 2017 | LICS | A convenient category for higher-order probability theory. | Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang |
| 2016 | EuroSys | The CISE tool: proving weakly-consistent applications correct. | Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro |
| 2016 | LICS | Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. | Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar |
| 2016 | PODC | Specification and Complexity of Collaborative Text Editing. | Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski |
| 2016 | POPL | 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. | Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro |
| 2016 | POPL | Abstraction refinement guided by a learnt probabilistic model. | Radu Grigore, Hongseok Yang |
| 2016 | SAS | Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. | Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2015 | AISTATS | Particle Gibbs with Ancestor Sampling for Probabilistic Programs. | Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank D. Wood |
| 2015 | ESOP | Composite Replicated Data Types. | Alexey Gotsman, Hongseok Yang |
| 2015 | OOPSLA | Learning a strategy for adapting a program analysis via bayesian optimisation. | Hakjoo Oh, Hongseok Yang, Kwangkeun Yi |
| 2015 | SAS | Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. | Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang |
| 2014 | ESOP | A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. | Ravi Mangal, Mayur Naik, Hongseok Yang |
| 2014 | ICALP | Parameterised Linearisability. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2014 | PLDI | Selective context-sensitivity guided by impact pre-analysis. | Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
| 2014 | PLDI | On abstraction refinement for program analyses in Datalog. | Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
| 2014 | PLDI | Hybrid top-down and bottom-up interprocedural analysis. | Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang |
| 2014 | POPL | Replicated data types: specification, verification, optimality. | Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski |
| 2013 | ESOP | Verifying Concurrent Memory Reclamation Algorithms with Grace. | Alexey Gotsman, Noam Rinetzky, Hongseok Yang |
| 2013 | PLDI | Finding optimum abstractions in parametric dataflow analysis. | Xin Zhang, Mayur Naik, Hongseok Yang |
| 2013 | POPL | Views: compositional reasoning for concurrent programs. | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
| 2013 | SAS | Symbolic Automata for Static Specification Mining. | Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang |
| 2012 | CONCUR | Linearizability with Ownership Transfer. | Alexey Gotsman, Hongseok Yang |
| 2012 | ESOP | Concurrent Library Correctness on the TSO Memory Model. | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
| 2012 | POPL | Abstractions from tests. | Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv |
| 2011 | CAV | Program Analysis for Overlaid Data Structures. | Oukseh Lee, Hongseok Yang, Rasmus Petersen |
| 2011 | ICALP | Liveness-Preserving Atomicity Abstraction. | Alexey Gotsman, Hongseok Yang |
| 2011 | ICFP | Modular verification of preemptive OS kernels. | Alexey Gotsman, Hongseok Yang |
| 2011 | POPL | Step-indexed kripke models over recursive worlds. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stvring, Jacob Thamsborg, Hongseok Yang |
| 2010 | APLAS | Metric Spaces and Termination Analyses. | Aziem Chawdhary, Hongseok Yang |
| 2010 | FOSSACS | A Semantic Foundation for Hidden State. | Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Franois Pottier, Bernhard Reus |
| 2009 | CSL | Nested Hoare Triples and Frame Rules for Higher-Order Store. | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
| 2009 | CSR | Automatic Verification of Heap-Manipulating Programs Using Separation Logic. | Hongseok Yang |
| 2009 | ESOP | Abstraction for Concurrent Objects. | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
| 2009 | POPL | Compositional shape analysis by means of bi-abduction. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | CAV | Scalable Shape Analysis for Systems Code. | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2008 | ESOP | Ranking Abstractions. | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
| 2008 | ICALP | A Simple Model of Separation Logic for Higher-Order Store. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang |
| 2008 | LOPSTR | Space Invading Systems Code. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2007 | CAV | Shape Analysis for Composite Data Structures. | Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang |
| 2007 | FOSSACS | Relational Parametricity and Separation Logic. | Lars Birkedal, Hongseok Yang |
| 2007 | LICS | Local Action and Abstract Separation Logic. | Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
| 2007 | SAS | Footprint Analysis: A Shape Analysis That Discovers Preconditions. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2007 | VMCAI | Towards Shape Analysis for Device Drivers. | Hongseok Yang |
| 2006 | SAS | Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | SAS | Shape Analysis for Low-Level Code. | Hongseok Yang |
| 2006 | TACAS | A Local Shape Analysis Based on Separation Logic. | Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2005 | APLAS | Data Refinement with Low-Level Pointer Operations. | Ivana Mijajlovic, Hongseok Yang |
| 2005 | ESOP | Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2005 | LICS | Semantics of Separation-Logic Typing and Higher-Order Frame Rules. | Lars Birkedal, Noah Torp-Smith, Hongseok Yang |
| 2004 | POPL | Separation and information hiding. | Peter W. O'Hearn, Hongseok Yang, John C. Reynolds |
| 2003 | APLAS | Automatic Construction of Hoare Proofs from Abstract Interpretation Results. | Sunae Seo, Hongseok Yang, Kwangkeun Yi |
| 2003 | ESOP | Correctness of Data Representations Involving Heap Data Structures. | Uday S. Reddy, Hongseok Yang |
| 2003 | SAS | Inserting Safe Memory Reuse Commands into ML-Like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | APLAS | Inserting Safe Memory Re-use Commands into ML-like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | FOSSACS | A Semantic Basis for Local Reasoning. | Hongseok Yang, Peter W. O'Hearn |
| 2001 | APLAS | Computability and Complexity Results for a Spatial Assertion Language for Data Structures. | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
| 2001 | CSL | Local Reasoning about Programs that Alter Data Structures. | Peter W. O'Hearn, John C. Reynolds, Hongseok Yang |
| 2000 | FOSSACS | On the Semantics of Refinement Calculi. | Hongseok Yang, Uday S. Reddy |