Hongseok Yang

According to our database, Hongseok Yang authored at least 119 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets.

Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang

Proc. ACM Program. Lang., January, 2024

An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network.

Taeyoung Kim, Hongseok Yang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Variational Partial Group Convolutions for Input-Aware Partial Equivariance of Rotations and Color-Shifts.

Hyunsu Kim, Yegon Kim, Hongseok Yang, Juho Lee

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.

Wonyeol Lee, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., January, 2023

Deep Neural Networks with Dependent Weights: Gaussian Process Mixture Limit, Heavy Tails, Sparsity and Compressibility.

Hoil Lee, Fadhel Ayed, Paul Jung, Juho Lee, Hongseok Yang, Francois Caron

J. Mach. Learn. Res., 2023

Learning Symmetrization for Equivariance with Orbit Distance Minimization.

Tien Dat Nguyen, Jinwoo Kim, Hongseok Yang, Seunghoon Hong

CoRR, 2023

Over-parameterised Shallow Neural Networks with Asymmetrical Node Scaling: Global Convergence Guarantees and Feature Learning.

Francois Caron, Fadhel Ayed, Paul Jung, Hoil Lee, Juho Lee, Hongseok Yang

CoRR, 2023

Regularized Behavior Cloning for Blocking the Leakage of Past Action Information.

Seokin Seo, HyeongJoo Hwang, Hongseok Yang, Kee-Eung Kim

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Regularizing Towards Soft Equivariance Under Mixed Symmetries.

Hyunsu Kim, Hyungi Lee, Hongseok Yang, Juho Lee

Proceedings of the International Conference on Machine Learning, 2023

2022

LobsDICE: Offline Imitation Learning from Observation via Stationary Distribution Correction Estimation.

Geon-Hyeong Kim, Jongmin Lee, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim

CoRR, 2022

Learning Symmetric Rules with SATNet.

Sangho Lim, Eun-Gyeol Oh, Hongseok Yang

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

LobsDICE: Offline Learning from Observation via Stationary Distribution Correction Estimation.

Geon-Hyeong Kim, Jongmin Lee, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Scale Mixtures of Neural Network Gaussian Processes.

Hyungi Lee, Eunggu Yun, Hongseok Yang, Juho Lee

Proceedings of the Tenth International Conference on Learning Representations, 2022

DemoDICE: Offline Imitation Learning with Supplementary Imperfect Demonstrations.

Geon-Hyeong Kim, Seokin Seo, Jongmin Lee, Wonseok Jeon, HyeongJoo Hwang, Hongseok Yang, Kee-Eung Kim

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Specification and space complexity of collaborative text editing.

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Theor. Comput. Sci., 2021

α-Stable convergence of heavy-tailed infinitely-wide neural networks.

Paul Jung, Hoil Lee, Jiho Lee, Hongseok Yang

CoRR, 2021

Meta-Learning an Inference Algorithm for Probabilistic Programs.

Gwonsoo Che, Hongseok Yang

CoRR, 2021

Probabilistic Programs with Stochastic Conditioning.

David Tolpin, Yuan Zhou, Tom Rainforth, Hongseok Yang

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Towards verified stochastic variational inference for probabilistic programs.

Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., 2020

Bayesian Policy Search for Stochastic Domains.

David Tolpin, Yuan Zhou, Hongseok Yang

CoRR, 2020

Probabilistic Programs with Stochastic Conditioning.

David Tolpin, Yuan Zhou, Hongseok Yang

CoRR, 2020

Stochastically Differentiable Probabilistic Programs.

David Tolpin, Yuan Zhou, Hongseok Yang

CoRR, 2020

On Correctness of Automatic Differentiation for Non-Differentiable Functions.

Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support.

Yuan Zhou, Hongseok Yang, Yee Whye Teh, Tom Rainforth

Proceedings of the 37th International Conference on Machine Learning, 2020

Variational Inference for Sequential Data with Future Likelihood Estimates.

Geon-Hyeong Kim, Youngsoo Jang, Hongseok Yang, Kee-Eung Kim

Proceedings of the 37th International Conference on Machine Learning, 2020

Differentiable Algorithm for Marginalising Changepoints.

Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Some Semantic Issues in Probabilistic Programming Languages (Invited Talk).

Hongseok Yang

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Resource-aware program analysis via online abstraction coarsening.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Proceedings of the 41st International Conference on Software Engineering, 2019

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

Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

Trust Region Sequential Variational Inference.

Geon-hyeong Kim, Youngsoo Jang, Jongmin Lee, Wonseok Jeon, Hongseok Yang, Kee-Eung Kim

Proceedings of The 11th Asian Conference on Machine Learning, 2019

2018

Adaptive Static Analysis via Learning with Bayesian Optimization.

Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2018

Denotational validation of higher-order Bayesian inference.

Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani

Proc. ACM Program. Lang., 2018

Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Formal Methods Syst. Des., 2018

An Introduction to Probabilistic Programming.

Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, Frank Wood

CoRR, 2018

Discontinuous Hamiltonian Monte Carlo for Probabilistic Programs.

Bradley Gram-Hansen, Yuan Zhou, Tobias Kohn, Hongseok Yang, Frank D. Wood

CoRR, 2018

Reparameterization Gradient for Non-differentiable Models.

Wonyeol Lee, Hangyeol Yu, Hongseok Yang

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

On Nesting Monte Carlo Estimators.

Tom Rainforth, Robert Cornish, Hongseok Yang, Andrew Warrington

Proceedings of the 35th International Conference on Machine Learning, 2018

The Beta-Bernoulli process and algebraic effects.

Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017

Automatically generating features for learning program analysis heuristics for C-like languages.

Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

Proc. ACM Program. Lang., 2017

A convenient category for higher-order probability theory.

Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Probabilistic Programming (Invited Talk).

Hongseok Yang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Algebraic Laws for Weak Consistency.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis.

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2016

Spreadsheet Probabilistic Programming.

Mike Wu, Yura N. Perov, Frank D. Wood, Hongseok Yang

CoRR, 2016

Automatically generating features for learning program analysis heuristics.

Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

CoRR, 2016

Symbolic automata for representing big code.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Acta Informatica, 2016

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Abstraction refinement guided by a learnt probabilistic model.

Radu Grigore, Hongseok Yang

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.

Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Specification and Complexity of Collaborative Text Editing.

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.

Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Design and Implementation of Probabilistic Programming Language Anglican.

David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

The CISE tool: proving weakly-consistent applications correct.

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

2015

Transaction Chopping for Parallel Snapshot Isolation.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the Distributed Computing - 29th International Symposium, 2015

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

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Learning a strategy for adapting a program analysis via bayesian optimisation.

Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Composite Replicated Data Types.

Alexey Gotsman, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2015

Particle Gibbs with Ancestor Sampling for Probabilistic Programs.

Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank D. Wood

Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, 2015

2014

Replicated data types: specification, verification, optimality.

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Hybrid top-down and bottom-up interprocedural analysis.

Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

On abstraction refinement for program analyses in Datalog.

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Selective context-sensitivity guided by impact pre-analysis.

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Parameterised Linearisability.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.

Ravi Mangal, Mayur Naik, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2014

2013

A step-indexed Kripke model of hidden state.

Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang

Math. Struct. Comput. Sci., 2013

Modular verification of preemptive OS kernels.

Alexey Gotsman, Hongseok Yang

J. Funct. Program., 2013

Linearizability with Ownership Transfer.

Alexey Gotsman, Hongseok Yang

Log. Methods Comput. Sci., 2013

Symbolic Automata for Static Specification Mining.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Proceedings of the Static Analysis - 20th International Symposium, 2013

Views: compositional reasoning for concurrent programs.

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Finding optimum abstractions in parametric dataflow analysis.

Xin Zhang, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Verifying Concurrent Memory Reclamation Algorithms with Grace.

Alexey Gotsman, Noam Rinetzky, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2013

2012

A divide-and-conquer approach for analysing overlaid data structures.

Oukseh Lee, Hongseok Yang, Rasmus Petersen

Formal Methods Syst. Des., 2012

Two for the Price of One: Lifting Separation Logic Assertions

Jacob Thamsborg, Lars Birkedal, Hongseok Yang

Log. Methods Comput. Sci., 2012

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.

Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Automated concolic testing of smartphone apps.

Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Abstractions from tests.

Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Concurrent Library Correctness on the TSO Memory Model.

Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2012

2011

Compositional Shape Analysis by Means of Bi-Abduction.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

J. ACM, 2011

Nested Hoare Triples and Frame Rules for Higher-order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

Log. Methods Comput. Sci., 2011

Step-indexed kripke models over recursive worlds.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Liveness-Preserving Atomicity Abstraction.

Alexey Gotsman, Hongseok Yang

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Program Analysis for Overlaid Data Structures.

Oukseh Lee, Hongseok Yang, Rasmus Petersen

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Abstraction for concurrent objects.

Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang

Theor. Comput. Sci., 2010

Blaming the client: on data refinement in the presence of pointers.

Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang

Formal Aspects Comput., 2010

A Semantic Foundation for Hidden State.

Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Metric Spaces and Termination Analyses.

Aziem Chawdhary, Hongseok Yang

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Separation and information hiding.

Peter W. O'Hearn, Hongseok Yang, John C. Reynolds

ACM Trans. Program. Lang. Syst., 2009

Automatic Verification of Heap-Manipulating Programs Using Separation Logic.

Hongseok Yang

Proceedings of the Computer Science, 2009

2008

Relational Parametricity and Separation Logic.

Lars Birkedal, Hongseok Yang

Log. Methods Comput. Sci., 2008

Space Invading Systems Code.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

A Simple Model of Separation Logic for Higher-Order Store.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Ranking Abstractions.

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2008

Scalable Shape Analysis for Systems Code.

Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Goal-directed weakening of abstract interpretation results.

Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han

ACM Trans. Program. Lang. Syst., 2007

Relational separation logic.

Hongseok Yang

Theor. Comput. Sci., 2007

Towards Shape Analysis for Device Drivers.

Hongseok Yang

Proceedings of the Verification, 2007

Footprint Analysis: A Shape Analysis That Discovers Preconditions.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Static Analysis, 14th International Symposium, 2007

Local Action and Abstract Separation Logic.

Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Shape Analysis for Composite Data Structures.

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages.

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

Log. Methods Comput. Sci., 2006

A Local Shape Analysis Based on Separation Logic.

Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Shape Analysis for Low-Level Code.

Hongseok Yang

Proceedings of the Static Analysis, 13th International Symposium, 2006

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

Static insertion of safe and effective memory reuse commands into ML-like programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Sci. Comput. Program., 2005

Variables as Resource in Separation Logic.

Richard Bornat, Cristiano Calcagno, Hongseok Yang

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Semantics of Separation-Logic Typing and Higher-Order Frame Rules.

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 2005

Data Refinement with Low-Level Pointer Operations.

Ivana Mijajlovic, Hongseok Yang

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Possible worlds and resources: the semantics of BI.

David J. Pym, Peter W. O'Hearn, Hongseok Yang

Theor. Comput. Sci., 2004

Correctness of data representations involving heap data structures.

Uday S. Reddy, Hongseok Yang

Sci. Comput. Program., 2004

2003

Inserting Safe Memory Reuse Commands into ML-Like Programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Static Analysis, 10th International Symposium, 2003

Automatic Construction of Hoare Proofs from Abstract Interpretation Results.

Sunae Seo, Hongseok Yang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

A Semantic Basis for Local Reasoning.

Hongseok Yang, Peter W. O'Hearn

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Inserting Safe Memory Re-use Commands into ML-like Programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Local Reasoning for Stateful Programs

Hongseok Yang

PhD thesis, 2001

Local Reasoning about Programs that Alter Data Structures.

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

Computability and Complexity Results for a Spatial Assertion Language for Data Structures.

Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

On the Semantics of Refinement Calculi.

Hongseok Yang, Uday S. Reddy

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1998

Type Reconstruction for Syntactic Control of Interference, Part 2.

Hongseok Yang, Howard Huang

Proceedings of the 1998 International Conference on Computer Languages, 1998