Hongseok Yang

Orcid: 0000-0003-1502-2942

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets.
Proc. ACM Program. Lang., January, 2024

An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network.
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.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.
Proc. ACM Program. Lang., January, 2023

Deep Neural Networks with Dependent Weights: Gaussian Process Mixture Limit, Heavy Tails, Sparsity and Compressibility.
J. Mach. Learn. Res., 2023

Learning Symmetrization for Equivariance with Orbit Distance Minimization.
CoRR, 2023

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

Regularized Behavior Cloning for Blocking the Leakage of Past Action Information.
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.
Proceedings of the International Conference on Machine Learning, 2023

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

Learning Symmetric Rules with SATNet.
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.
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.
Proceedings of the Tenth International Conference on Learning Representations, 2022

DemoDICE: Offline Imitation Learning with Supplementary Imperfect Demonstrations.
Proceedings of the Tenth International Conference on Learning Representations, 2022

2021
Specification and space complexity of collaborative text editing.
Theor. Comput. Sci., 2021

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

Meta-Learning an Inference Algorithm for Probabilistic Programs.
CoRR, 2021

Probabilistic Programs with Stochastic Conditioning.
Proceedings of the 38th International Conference on Machine Learning, 2021

2020
Towards verified stochastic variational inference for probabilistic programs.
Proc. ACM Program. Lang., 2020

Bayesian Policy Search for Stochastic Domains.
CoRR, 2020

Probabilistic Programs with Stochastic Conditioning.
CoRR, 2020

Stochastically Differentiable Probabilistic Programs.
CoRR, 2020

On Correctness of Automatic Differentiation for Non-Differentiable Functions.
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.
Proceedings of the 37th International Conference on Machine Learning, 2020

Variational Inference for Sequential Data with Future Likelihood Estimates.
Proceedings of the 37th International Conference on Machine Learning, 2020

Differentiable Algorithm for Marginalising Changepoints.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Some Semantic Issues in Probabilistic Programming Languages (Invited Talk).
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Resource-aware program analysis via online abstraction coarsening.
Proceedings of the 41st International Conference on Software Engineering, 2019

LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

Trust Region Sequential Variational Inference.
Proceedings of The 11th Asian Conference on Machine Learning, 2019

2018
Adaptive Static Analysis via Learning with Bayesian Optimization.
ACM Trans. Program. Lang. Syst., 2018

Denotational validation of higher-order Bayesian inference.
Proc. ACM Program. Lang., 2018

Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses.
Formal Methods Syst. Des., 2018

An Introduction to Probabilistic Programming.
CoRR, 2018

Discontinuous Hamiltonian Monte Carlo for Probabilistic Programs.
CoRR, 2018

Reparameterization Gradient for Non-differentiable Models.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

On Nesting Monte Carlo Estimators.
Proceedings of the 35th International Conference on Machine Learning, 2018

The Beta-Bernoulli process and algebraic effects.
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.
Proc. ACM Program. Lang., 2017

A convenient category for higher-order probability theory.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Probabilistic Programming (Invited Talk).
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Algebraic Laws for Weak Consistency.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis.
ACM Trans. Program. Lang. Syst., 2016

Spreadsheet Probabilistic Programming.
CoRR, 2016

Automatically generating features for learning program analysis heuristics.
CoRR, 2016

Symbolic automata for representing big code.
Acta Informatica, 2016

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Abstraction refinement guided by a learnt probabilistic model.
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.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Specification and Complexity of Collaborative Text Editing.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Design and Implementation of Probabilistic Programming Language Anglican.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

The CISE tool: proving weakly-consistent applications correct.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

2015
Transaction Chopping for Parallel Snapshot Isolation.
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.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Learning a strategy for adapting a program analysis via bayesian optimisation.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Composite Replicated Data Types.
Proceedings of the Programming Languages and Systems, 2015

Particle Gibbs with Ancestor Sampling for Probabilistic Programs.
Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, 2015

2014
Replicated data types: specification, verification, optimality.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Hybrid top-down and bottom-up interprocedural analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

On abstraction refinement for program analyses in Datalog.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Selective context-sensitivity guided by impact pre-analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

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

A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.
Proceedings of the Programming Languages and Systems, 2014

2013
A step-indexed Kripke model of hidden state.
Math. Struct. Comput. Sci., 2013

Modular verification of preemptive OS kernels.
J. Funct. Program., 2013

Linearizability with Ownership Transfer.
Log. Methods Comput. Sci., 2013

Symbolic Automata for Static Specification Mining.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Views: compositional reasoning for concurrent programs.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Finding optimum abstractions in parametric dataflow analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Verifying Concurrent Memory Reclamation Algorithms with Grace.
Proceedings of the Programming Languages and Systems, 2013

2012
A divide-and-conquer approach for analysing overlaid data structures.
Formal Methods Syst. Des., 2012

Two for the Price of One: Lifting Separation Logic Assertions
Log. Methods Comput. Sci., 2012

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Automated concolic testing of smartphone apps.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

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

Concurrent Library Correctness on the TSO Memory Model.
Proceedings of the Programming Languages and Systems, 2012

2011
Compositional Shape Analysis by Means of Bi-Abduction.
J. ACM, 2011

Nested Hoare Triples and Frame Rules for Higher-order Store
Log. Methods Comput. Sci., 2011

Step-indexed kripke models over recursive worlds.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Liveness-Preserving Atomicity Abstraction.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Program Analysis for Overlaid Data Structures.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Abstraction for concurrent objects.
Theor. Comput. Sci., 2010

Blaming the client: on data refinement in the presence of pointers.
Formal Aspects Comput., 2010

A Semantic Foundation for Hidden State.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

Metric Spaces and Termination Analyses.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009
Separation and information hiding.
ACM Trans. Program. Lang. Syst., 2009

Automatic Verification of Heap-Manipulating Programs Using Separation Logic.
Proceedings of the Computer Science, 2009

2008
Relational Parametricity and Separation Logic.
Log. Methods Comput. Sci., 2008

Space Invading Systems Code.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

A Simple Model of Separation Logic for Higher-Order Store.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Ranking Abstractions.
Proceedings of the Programming Languages and Systems, 2008

Scalable Shape Analysis for Systems Code.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Goal-directed weakening of abstract interpretation results.
ACM Trans. Program. Lang. Syst., 2007

Relational separation logic.
Theor. Comput. Sci., 2007

Towards Shape Analysis for Device Drivers.
Proceedings of the Verification, 2007

Footprint Analysis: A Shape Analysis That Discovers Preconditions.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Local Action and Abstract Separation Logic.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Shape Analysis for Composite Data Structures.
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.
Log. Methods Comput. Sci., 2006

A Local Shape Analysis Based on Separation Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Shape Analysis for Low-Level Code.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.
Proceedings of the Static Analysis, 13th International Symposium, 2006

2005
Static insertion of safe and effective memory reuse commands into ML-like programs.
Sci. Comput. Program., 2005

Variables as Resource in Separation Logic.
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Semantics of Separation-Logic Typing and Higher-Order Frame Rules.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.
Proceedings of the Programming Languages and Systems, 2005

Data Refinement with Low-Level Pointer Operations.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Possible worlds and resources: the semantics of BI.
Theor. Comput. Sci., 2004

Correctness of data representations involving heap data structures.
Sci. Comput. Program., 2004

2003
Inserting Safe Memory Reuse Commands into ML-Like Programs.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Automatic Construction of Hoare Proofs from Abstract Interpretation Results.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
A Semantic Basis for Local Reasoning.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

Inserting Safe Memory Re-use Commands into ML-like Programs.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
Local Reasoning for Stateful Programs
PhD thesis, 2001

Local Reasoning about Programs that Alter Data Structures.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
On the Semantics of Refinement Calculi.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1998
Type Reconstruction for Syntactic Control of Interference, Part 2.
Proceedings of the 1998 International Conference on Computer Languages, 1998


  Loading...