Hongseok Yang - RankMe

164 papers A* 39A 16B 25C 2Misc 1Journal 72Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory. CoRR Gyeongwon Jeong, Seonghun Park, Hongseok Yang
2026	J	`jnl`	Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation. Proc. ACM Program. Lang. Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
2025	J	`jnl`	Axial Neural Networks for Dimension-Free Foundation Models. CoRR Hyunsu Kim, Jonggeon Park, Joan Bruna, Hongseok Yang, Juho Lee
2025	J	`jnl`	Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation. CoRR Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
2025	J	`jnl`	Over-parameterised Shallow Neural Networks with Asymmetrical Node Scaling: Global Convergence Guarantees and Feature Learning. Trans. Mach. Learn. Res. Francois Caron, Fadhel Ayed, Paul Jung, Hoil Lee, Juho Lee, Hongseok Yang
2025	A*	`conf`	Parameter Expanded Stochastic Gradient Markov Chain Monte Carlo. ICLR Hyunsu Kim, Giung Nam, Chulhee Yun, Hongseok Yang, Juho Lee
2025	J	`jnl`	Parameter Expanded Stochastic Gradient Markov Chain Monte Carlo. CoRR Hyunsu Kim, Giung Nam, Chulhee Yun, Hongseok Yang, Juho Lee
2025	J	`jnl`	Samsung tracking tag application forensics in criminal investigations. Digit. Investig. Hongseok Yang, Sanghyug Han, Mindong Kim, Gibum Kim
2025	J	`jnl`	Semantics of Integrating and Differentiating Singularities. Proc. ACM Program. Lang. Jesse Michel, Wonyeol Lee, Hongseok Yang
2024	A*	`conf`	An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network. ICML TaeYoung Kim, Hongseok Yang
2024	A*	`conf`	Mitigating Covariate Shift in Behavioral Cloning via Robust Stationary Distribution Correction. NeurIPS Seokin Seo, Byung-Jun Lee, Jongmin Lee, HyeongJoo Hwang, Hongseok Yang, Kee-Eung Kim
2024	J	`jnl`	Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets. Proc. ACM Program. Lang. Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2024	A*	`conf`	Variational Partial Group Convolutions for Input-Aware Partial Equivariance of Rotations and Color-Shifts. ICML Hyunsu Kim, Yegon Kim, Hongseok Yang, Juho Lee
2024	J	`jnl`	Variational Partial Group Convolutions for Input-Aware Partial Equivariance of Rotations and Color-Shifts. CoRR Hyunsu Kim, Yegon Kim, Hongseok Yang, Juho Lee
2023	J	`jnl`	An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network. CoRR TaeYoung Kim, Hongseok Yang
2023	J	`jnl`	Deep Neural Networks with Dependent Weights: Gaussian Process Mixture Limit, Heavy Tails, Sparsity and Compressibility. J. Mach. Learn. Res. Hoil Lee, Fadhel Ayed, Paul Jung, Juho Lee, Hongseok Yang, Francois Caron
2023	J	`jnl`	Learning Symmetrization for Equivariance with Orbit Distance Minimization. CoRR Tien Dat Nguyen, Jinwoo Kim, Hongseok Yang, Seunghoon Hong
2023	J	`jnl`	Over-parameterised Shallow Neural Networks with Asymmetrical Node Scaling: Global Convergence Guarantees and Feature Learning. CoRR Francois Caron, Fadhel Ayed, Paul Jung, Hoil Lee, Juho Lee, Hongseok Yang
2023	J	`jnl`	Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets. CoRR Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2023	A*	`conf`	Regularized Behavior Cloning for Blocking the Leakage of Past Action Information. NeurIPS Seokin Seo, HyeongJoo Hwang, Hongseok Yang, Kee-Eung Kim
2023	A*	`conf`	Regularizing Towards Soft Equivariance Under Mixed Symmetries. ICML Hyunsu Kim, Hyungi Lee, Hongseok Yang, Juho Lee
2023	J	`jnl`	Regularizing Towards Soft Equivariance Under Mixed Symmetries. CoRR Hyunsu Kim, Hyungi Lee, Hongseok Yang, Juho Lee
2023	J	`jnl`	Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. Proc. ACM Program. Lang. Wonyeol Lee, Xavier Rival, Hongseok Yang
2022	J	`jnl`	Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility. CoRR Hoil Lee, Fadhel Ayed, Paul Jung, Juho Lee, Hongseok Yang, François Caron
2022	A*	`conf`	DemoDICE: Offline Imitation Learning with Supplementary Imperfect Demonstrations. ICLR Geon-Hyeong Kim, Seokin Seo, Jongmin Lee, Wonseok Jeon, HyeongJoo Hwang, Hongseok Yang, Kee-Eung Kim
2022	A*	`conf`	Learning Symmetric Rules with SATNet. NeurIPS Sangho Lim, Eun-Gyeol Oh, Hongseok Yang
2022	J	`jnl`	Learning Symmetric Rules with SATNet. CoRR Sangho Lim, Eun-Gyeol Oh, Hongseok Yang
2022	J	`jnl`	LobsDICE: Offline Imitation Learning from Observation via Stationary Distribution Correction Estimation. CoRR Geon-Hyeong Kim, Jongmin Lee, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim
2022	A*	`conf`	LobsDICE: Offline Learning from Observation via Stationary Distribution Correction Estimation. NeurIPS Geon-Hyeong Kim, Jongmin Lee, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim
2022	A*	`conf`	Scale Mixtures of Neural Network Gaussian Processes. ICLR Hyungi Lee, EungGu Yun, Hongseok Yang, Juho Lee
2022	J	`jnl`	Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. CoRR Wonyeol Lee, Xavier Rival, Hongseok Yang
2021	J	`jnl`	Meta-Learning an Inference Algorithm for Probabilistic Programs. CoRR Gwonsoo Che, Hongseok Yang
2021	A*	`conf`	Probabilistic Programs with Stochastic Conditioning. ICML David Tolpin, Yuan Zhou, Tom Rainforth, Hongseok Yang
2021	J	`jnl`	Scale Mixtures of Neural Network Gaussian Processes. CoRR Hyungi Lee, EungGu Yun, Hongseok Yang, Juho Lee
2021	J	`jnl`	Specification and space complexity of collaborative text editing. Theor. Comput. Sci. Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
2021	J	`jnl`	α-Stable convergence of heavy-tailed infinitely-wide neural networks. CoRR Paul Jung, Hoil Lee, Jiho Lee, Hongseok Yang
2020	J	`jnl`	Bayesian Policy Search for Stochastic Domains. CoRR David Tolpin, Yuan Zhou, Hongseok Yang
2020	A*	`conf`	Differentiable Algorithm for Marginalising Changepoints. AAAI Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
2020	A*	`conf`	Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support. ICML Yuan Zhou, Hongseok Yang, Yee Whye Teh, Tom Rainforth
2020	A*	`conf`	On Correctness of Automatic Differentiation for Non-Differentiable Functions. NeurIPS Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2020	J	`jnl`	On Correctness of Automatic Differentiation for Non-Differentiable Functions. CoRR Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2020	J	`jnl`	Probabilistic Programs with Stochastic Conditioning. CoRR David Tolpin, Yuan Zhou, Hongseok Yang
2020	J	`jnl`	Stochastically Differentiable Probabilistic Programs. CoRR David Tolpin, Yuan Zhou, Hongseok Yang
2020	J	`jnl`	Towards verified stochastic variational inference for probabilistic programs. Proc. ACM Program. Lang. Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2020	A*	`conf`	Variational Inference for Sequential Data with Future Likelihood Estimates. ICML Geon-Hyeong Kim, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim
2019	J	`jnl`	Differentiable Algorithm for Marginalising Changepoints. CoRR Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
2019	J	`jnl`	Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support. CoRR Yuan Zhou, Hongseok Yang, Yee Whye Teh, Tom Rainforth
2019	A	`conf`	LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. AISTATS Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, Frank Wood
2019	J	`jnl`	LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. CoRR Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, Frank Wood
2019	A*	`conf`	Resource-aware program analysis via online abstraction coarsening. ICSE Kihong Heo, Hakjoo Oh, Hongseok Yang
2019	B	`conf`	Some Semantic Issues in Probabilistic Programming Languages (Invited Talk). FSCD Hongseok Yang
2019	J	`jnl`	Towards Verified Stochastic Variational Inference for Probabilistic Programs. CoRR Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
2019	C	`conf`	Trust Region Sequential Variational Inference. ACML Geon-Hyeong Kim, Youngsoo Jang, Jongmin Lee, Wonseok Jeon, Hongseok Yang, Kee-Eung Kim
2018	J	`jnl`	Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2018	J	`jnl`	An Introduction to Probabilistic Programming. CoRR Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, Frank Wood
2018	J	`jnl`	Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2018	J	`jnl`	Discontinuous Hamiltonian Monte Carlo for Probabilistic Programs. CoRR Bradley Gram-Hansen, Yuan Zhou, Tobias Kohn, Hongseok Yang, Frank D. Wood
2018	J	`jnl`	Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Formal Methods Syst. Des. Kihong Heo, Hakjoo Oh, Hongseok Yang
2018	A*	`conf`	On Nesting Monte Carlo Estimators. ICML Tom Rainforth, Robert Cornish, Hongseok Yang, Andrew Warrington
2018	A*	`conf`	Reparameterization Gradient for Non-differentiable Models. NeurIPS Wonyeol Lee, Hangyeol Yu, Hongseok Yang
2018	J	`jnl`	Reparameterization Gradient for Non-differentiable Models. CoRR Wonyeol Lee, Hangyeol Yu, Hongseok Yang
2018	A*	`conf`	The Beta-Bernoulli process and algebraic effects. ICALP Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2018	J	`jnl`	The Beta-Bernoulli process and algebraic effects. CoRR Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2017	J	`jnl`	A Convenient Category for Higher-Order Probability Theory. CoRR Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017	A*	`conf`	A convenient category for higher-order probability theory. LICS Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017	B	`conf`	Algebraic Laws for Weak Consistency. CONCUR Andrea Cerone, Alexey Gotsman, Hongseok Yang
2017	J	`jnl`	Algebraic Laws for Weak Consistency. CoRR Andrea Cerone, Alexey Gotsman, Hongseok Yang
2017	J	`jnl`	Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
2017	J	`jnl`	Denotational validation of higher-order Bayesian inference. CoRR Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2017	B	`conf`	Probabilistic Programming (Invited Talk). CONCUR Hongseok Yang
2017	A	`ed.`	Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ESOP Hongseok Yang
2016	A*	`conf`	'Cause I'm strong enough: reasoning about consistency choices in distributed systems. POPL Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
2016	A*	`conf`	Abstraction refinement guided by a learnt probabilistic model. POPL Radu Grigore, Hongseok Yang
2016	J	`jnl`	Automatically generating features for learning program analysis heuristics. CoRR Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
2016	—	`conf`	Design and Implementation of Probabilistic Programming Language Anglican. IFL David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood
2016	J	`jnl`	Design and Implementation of Probabilistic Programming Language Anglican. CoRR David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood
2016	B	`conf`	Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. SAS Kihong Heo, Hakjoo Oh, Hongseok Yang
2016	J	`jnl`	Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2016	A*	`conf`	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
2016	J	`jnl`	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
2016	A*	`conf`	Specification and Complexity of Collaborative Text Editing. PODC Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
2016	J	`jnl`	Spreadsheet Probabilistic Programming. CoRR Mike Wu, Yura N. Perov, Frank D. Wood, Hongseok Yang
2016	J	`jnl`	Symbolic automata for representing big code. Acta Informatica Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
2016	—	`conf`	The CISE tool: proving weakly-consistent applications correct. PaPoC@EuroSys Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
2015	J	`jnl`	Abstraction Refinement Guided by a Learnt Probabilistic Model. CoRR Radu Grigore, Hongseok Yang
2015	A	`conf`	Composite Replicated Data Types. ESOP Alexey Gotsman, Hongseok Yang
2015	A	`conf`	Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2015	B	`conf`	Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. SAS Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
2015	A	`conf`	Particle Gibbs with Ancestor Sampling for Probabilistic Programs. AISTATS Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank D. Wood
2015	J	`jnl`	Particle Gibbs with Ancestor Sampling for Probabilistic Programs. CoRR Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank D. Wood
2015	A	`conf`	Transaction Chopping for Parallel Snapshot Isolation. DISC Andrea Cerone, Alexey Gotsman, Hongseok Yang
2014	A	`conf`	A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. ESOP Ravi Mangal, Mayur Naik, Hongseok Yang
2014	A*	`conf`	Hybrid top-down and bottom-up interprocedural analysis. PLDI Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
2014	A*	`conf`	On abstraction refinement for program analyses in Datalog. PLDI Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
2014	—	`conf`	Parameterised Linearisability. ICALP (2) Andrea Cerone, Alexey Gotsman, Hongseok Yang
2014	A*	`conf`	Replicated data types: specification, verification, optimality. POPL Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski
2014	A*	`conf`	Selective context-sensitivity guided by impact pre-analysis. PLDI Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2013	J	`jnl`	A step-indexed Kripke model of hidden state. Math. Struct. Comput. Sci. Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
2013	A*	`conf`	Finding optimum abstractions in parametric dataflow analysis. PLDI Xin Zhang, Mayur Naik, Hongseok Yang
2013	J	`jnl`	Linearizability with Ownership Transfer. Log. Methods Comput. Sci. Alexey Gotsman, Hongseok Yang
2013	J	`jnl`	Modular verification of preemptive OS kernels. J. Funct. Program. Alexey Gotsman, Hongseok Yang
2013	B	`conf`	Symbolic Automata for Static Specification Mining. SAS Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
2013	A	`conf`	Verifying Concurrent Memory Reclamation Algorithms with Grace. ESOP Alexey Gotsman, Noam Rinetzky, Hongseok Yang
2013	A*	`conf`	Views: compositional reasoning for concurrent programs. POPL Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang
2012	J	`jnl`	A divide-and-conquer approach for analysing overlaid data structures. Formal Methods Syst. Des. Oukseh Lee, Hongseok Yang, Rasmus Petersen
2012	A*	`conf`	Abstractions from tests. POPL Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv
2012	—	`conf`	Automated concolic testing of smartphone apps. SIGSOFT FSE Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang
2012	A	`conf`	Concurrent Library Correctness on the TSO Memory Model. ESOP Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
2012	B	`conf`	Linearizability with Ownership Transfer. CONCUR Alexey Gotsman, Hongseok Yang
2012	A	`conf`	Show No Weakness: Sequentially Consistent Specifications of TSO Libraries. DISC Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
2012	J	`jnl`	Two for the Price of One: Lifting Separation Logic Assertions Log. Methods Comput. Sci. Jacob Thamsborg, Lars Birkedal, Hongseok Yang
2011	J	`jnl`	Compositional Shape Analysis by Means of Bi-Abduction. J. ACM Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
2011	—	`conf`	Liveness-Preserving Atomicity Abstraction. ICALP (2) Alexey Gotsman, Hongseok Yang
2011	A	`conf`	Modular verification of preemptive OS kernels. ICFP Alexey Gotsman, Hongseok Yang
2011	J	`jnl`	Nested Hoare Triples and Frame Rules for Higher-order Store Log. Methods Comput. Sci. Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
2011	A*	`conf`	Program Analysis for Overlaid Data Structures. CAV Oukseh Lee, Hongseok Yang, Rasmus Petersen
2011	B	`ed.`	Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings APLAS Hongseok Yang
2011	A*	`conf`	Step-indexed kripke models over recursive worlds. POPL Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
2010	B	`conf`	A Semantic Foundation for Hidden State. FoSSaCS Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
2010	J	`jnl`	Abstraction for concurrent objects. Theor. Comput. Sci. Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
2010	J	`jnl`	Blaming the client: on data refinement in the presence of pointers. Formal Aspects Comput. Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang
2010	B	`conf`	Metric Spaces and Termination Analyses. APLAS Aziem Chawdhary, Hongseok Yang
2009	A	`conf`	Abstraction for Concurrent Objects. ESOP Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
2009	Misc	`conf`	Automatic Verification of Heap-Manipulating Programs Using Separation Logic. CSR Hongseok Yang
2009	A*	`conf`	Compositional shape analysis by means of bi-abduction. POPL Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
2009	B	`conf`	Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
2009	J	`jnl`	Separation and information hiding. ACM Trans. Program. Lang. Syst. Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
2008	—	`conf`	A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
2008	A	`conf`	Ranking Abstractions. ESOP Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
2008	J	`jnl`	Relational Parametricity and Separation Logic CoRR Lars Birkedal, Hongseok Yang
2008	J	`jnl`	Relational Parametricity and Separation Logic. Log. Methods Comput. Sci. Lars Birkedal, Hongseok Yang
2008	A*	`conf`	Scalable Shape Analysis for Systems Code. CAV Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn
2008	C	`conf`	Space Invading Systems Code. LOPSTR Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
2007	B	`conf`	Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
2007	J	`jnl`	Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
2007	A*	`conf`	Local Action and Abstract Separation Logic. LICS Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang
2007	B	`conf`	Relational Parametricity and Separation Logic. FoSSaCS Lars Birkedal, Hongseok Yang
2007	J	`jnl`	Relational separation logic. Theor. Comput. Sci. Hongseok Yang
2007	A*	`conf`	Shape Analysis for Composite Data Structures. CAV Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
2007	B	`conf`	Towards Shape Analysis for Device Drivers. VMCAI Hongseok Yang
2006	A	`conf`	A Local Shape Analysis Based on Separation Logic. TACAS Dino Distefano, Peter W. O'Hearn, Hongseok Yang
2006	B	`conf`	Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
2006	J	`jnl`	Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages CoRR Lars Birkedal, Noah Torp-Smith, Hongseok Yang
2006	J	`jnl`	Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. Log. Methods Comput. Sci. Lars Birkedal, Noah Torp-Smith, Hongseok Yang
2006	B	`conf`	Shape Analysis for Low-Level Code. SAS Hongseok Yang
2005	A	`conf`	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2005	B	`conf`	Data Refinement with Low-Level Pointer Operations. APLAS Ivana Mijajlovic, Hongseok Yang
2005	A*	`conf`	Semantics of Separation-Logic Typing and Higher-Order Frame Rules. LICS Lars Birkedal, Noah Torp-Smith, Hongseok Yang
2005	J	`jnl`	Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2005	B	`conf`	Variables as Resource in Separation Logic. MFPS Richard Bornat, Cristiano Calcagno, Hongseok Yang
2004	J	`jnl`	Correctness of data representations involving heap data structures. Sci. Comput. Program. Uday S. Reddy, Hongseok Yang
2004	J	`jnl`	Possible worlds and resources: the semantics of BI. Theor. Comput. Sci. David J. Pym, Peter W. O'Hearn, Hongseok Yang
2004	A*	`conf`	Separation and information hiding. POPL Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
2003	B	`conf`	Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS Sunae Seo, Hongseok Yang, Kwangkeun Yi
2003	A	`conf`	Correctness of Data Representations Involving Heap Data Structures. ESOP Uday S. Reddy, Hongseok Yang
2003	B	`conf`	Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2002	B	`conf`	A Semantic Basis for Local Reasoning. FoSSaCS Hongseok Yang, Peter W. O'Hearn
2002	B	`conf`	Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2001	B	`conf`	Computability and Complexity Results for a Spatial Assertion Language for Data Structures. APLAS Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
2001	—	`conf`	Computability and Complexity Results for a Spatial Assertion Language for Data Structures. FSTTCS Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
2001	B	`conf`	Local Reasoning about Programs that Alter Data Structures. CSL Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
2001	—	`—`	Local Reasoning for Stateful Programs Hongseok Yang
2000	B	`conf`	On the Semantics of Refinement Calculi. FoSSaCS Hongseok Yang, Uday S. Reddy
1998	—	`conf`	Type Reconstruction for Syntactic Control of Interference, Part 2. ICCL Hongseok Yang, Howard Huang