Hongseok Yang

9 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Hongseok Yang

Separation logic's semantics and the program analyses built on it: local reasoning for stateful programs and its semantic basis, what a spatial assertion language can decide, and the abstract accounts in local action and relational parametricity. The applied side is shape analysis and compositional analysis by bi-abduction, with views extending compositional reasoning to concurrent programs. Searching this corpus by the surname alone will mislead -- 'Yang' matches eight distinct people here, the others belonging to the chip and photonics sets.

Views: compositional reasoning for concurrent programs

Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery

Compositional Shape Analysis by Means of Bi-Abduction

Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery

Relational parametricity and separation logic

Lars Birkedal and others (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer

Local Action and Abstract Separation Logic

Cristiano Calcagno and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) · IEEE

A Local Shape Analysis Based on Separation Logic

Dino Distefano and others (2006) · Tools and Algorithms for the Construction and Analysis of Systems · Springer

A Semantic Basis for Local Reasoning

Hongseok Yang and others (2002) · Foundations of Software Science and Computation Structures · Springer

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

Cristiano Calcagno and others (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer

Local Reasoning about Programs that Alter Data Structures

Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer

Local reasoning for stateful programs

Hongseok Yang (2001) · University of Illinois