Concepedia

Hongseok Yang

HY

Statistics

Publications

65

Citations

4.4K

H-Index

35

Active since

2001

Affiliations

University of Oxford(Current)

Queen Mary University of London

Seoul National University

Imperial College London

IMDEA Software Institute

Hongseok Yang is an author at University of Oxford specializing in computer science, computing, and programming languages.

ORCID

Publications per year

2001–2019

65

Publications

65

Automated concolic testing of smartphone apps

Saswat Anand, Mayur Naik, Mary Jean Harrold et al. · 2012 · 402 citations

, , +11

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · 2009 · 276 citations

, , +10

Local Action and Abstract Separation Logic

Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang · 2007 · 262 citations

, , +17

Separation and information hiding

Peter W. O’Hearn, Hongseok Yang, John Reynolds · 2004 · 235 citations

, , +12

Compositional Shape Analysis by Means of Bi-Abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · Journal of the ACM · 2011 · 210 citations

, , +10

1–5 of 65