Hongseok Yang
Hongseok Yang
Professor, School of Computing, KAIST
Verified email at kaist.ac.kr - Homepage
TitleCited byYear
Local reasoning about programs that alter data structures
P O’Hearn, J Reynolds, H Yang
Computer Science Logic, 1-19, 2001
8142001
Compositional shape analysis by means of bi-abduction
C Calcagno, D Distefano, PW O’hearn, H Yang
Journal of the ACM (JACM) 58 (6), 26, 2011
4602011
A local shape analysis based on separation logic
D Distefano, PW O’hearn, H Yang
International Conference on Tools and Algorithms for the Construction andá…, 2006
3802006
Automated concolic testing of smartphone apps
S Anand, M Naik, MJ Harrold, H Yang
Proceedings of the ACM SIGSOFT 20th International Symposium on theá…, 2012
3572012
Separation and information hiding
PW O'Hearn, H Yang, JC Reynolds
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 11, 2009
3382009
Scalable shape analysis for systems code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn
International Conference on Computer Aided Verification, 385-398, 2008
2952008
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
International Conference on Computer Aided Verification, 178-192, 2007
2592007
Local action and abstract separation logic
C Calcagno, PW O'Hearn, H Yang
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 366-378, 2007
2482007
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
174*2014
Computability and complexity results for a spatial assertion language for data structures
C Calcagno, H Yang, PW O’hearn
International Conference on Foundations of Software Technology andá…, 2001
1712001
Possible worlds and resources: the semantics of BI
DJ Pym, PW O'hearn, H Yang
Theoretical Computer Science 315 (1), 257-305, 2004
1672004
Abstraction for concurrent objects
I Filipović, P O’Hearn, N Rinetzky, H Yang
Theoretical Computer Science 411 (51-52), 2010
1652010
A semantic basis for local reasoning
H Yang, P O’Hearn
International Conference on Foundations of Software Science and Computationá…, 2002
1642002
Views: compositional reasoning for concurrent programs
T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang
ACM SIGPLAN Notices 48 (1), 287-300, 2013
1532013
Relational separation logic
H Yang
Theoretical Computer Science 375 (1-3), 308-334, 2007
1142007
Local reasoning for stateful programs
H Yang
University of Illinois at Urbana-Champaign, 2001
1002001
Automatic verification of pointer programs using grammar-based shape analysis
O Lee, H Yang, K Yi
European Symposium on Programming, 140-140, 2005
962005
Semantics of separation-logic typing and higher-order frame rules
L Birkedal, N Torp-Smith, H Yang
Proceedings: 20th annual IEEE Symposium on Logic in Computer Science, LICSá…, 2005
87*2005
'Cause i'm strong enough: reasoning about consistency choices in distributed systems
A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles ofá…, 2016
862016
Step-indexed Kripke models over recursive worlds
L Birkedal, B Reus, J Schwinghammer, K St°vring, J Thamsborg, H Yang
ACM SIGPLAN Notices 46 (1), 119-132, 2011
842011
The system can't perform the operation now. Try again later.
Articles 1–20