Hongseok Yang

According to our database1, Hongseok Yang
  • authored at least 96 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Convenient Category for Higher-Order Probability Theory.
CoRR, 2017

Algebraic Laws for Weak Consistency.
CoRR, 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

Design and Implementation of Probabilistic Programming Language Anglican.
CoRR, 2016

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

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

Symbolic automata for representing big code.
Acta Inf., 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
Particle Gibbs with Ancestor Sampling for Probabilistic Programs.
CoRR, 2015

Abstraction Refinement Guided by a Learnt Probabilistic Model.
CoRR, 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.
Mathematical Structures in Computer Science, 2013

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

Linearizability with Ownership Transfer.
Logical Methods in Computer Science, 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 in System Design, 2012

Two for the Price of One: Lifting Separation Logic Assertions
Logical Methods in Computer Science, 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

Linearizability with Ownership Transfer.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

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

Nested Hoare Triples and Frame Rules for Higher-order Store
Logical Methods in Computer Science, 2011

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

Modular verification of preemptive OS kernels.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 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 Asp. 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

Compositional shape analysis by means of bi-abduction.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Abstraction for Concurrent Objects.
Proceedings of the Programming Languages and Systems, 2009

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

Nested Hoare Triples and Frame Rules for Higher-Order Store.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
Relational Parametricity and Separation Logic.
Logical Methods in Computer Science, 2008

Relational Parametricity and Separation Logic
CoRR, 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

Relational Parametricity and Separation Logic.
Proceedings of the Foundations of Software Science and Computational Structures, 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.
Logical Methods in Computer Science, 2006

Variables as Resource in Separation Logic.
Electr. Notes Theor. Comput. Sci., 2006

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
CoRR, 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

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

Separation and information hiding.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

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

Correctness of Data Representations Involving Heap Data Structures.
Proceedings of the Programming Languages and Systems, 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
Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 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...