The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hongseok Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
    Computability and Complexity Results for a Spatial Assertion Language for Data Structures. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:289-300 [Conf]
  2. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Inserting Safe Memory Re-use Commands into ML-like Programs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:317-333 [Conf]
  3. Ivana Mijajlovic, Hongseok Yang
    Data Refinement with Low-Level Pointer Operations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:19-36 [Conf]
  4. Sunae Seo, Hongseok Yang, Kwangkeun Yi
    Automatic Construction of Hoare Proofs from Abstract Interpretation Results. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:230-245 [Conf]
  5. Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
    Local Reasoning about Programs that Alter Data Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:1-19 [Conf]
  6. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:124-140 [Conf]
  7. Uday S. Reddy, Hongseok Yang
    Correctness of Data Representations Involving Heap Data Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:223-237 [Conf]
  8. Hongseok Yang, Peter W. O'Hearn
    A Semantic Basis for Local Reasoning. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:402-416 [Conf]
  9. Hongseok Yang, Uday S. Reddy
    On the Semantics of Refinement Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:359-374 [Conf]
  10. Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
    Computability and Complexity Results for a Spatial Assertion Language for Data Structures. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:108-119 [Conf]
  11. Hongseok Yang, Howard Huang
    Type Reconstruction for Syntactic Control of Interference, Part 2. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:164-173 [Conf]
  12. Lars Birkedal, Noah Torp-Smith, Hongseok Yang
    Semantics of Separation-Logic Typing and Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:260-269 [Conf]
  13. Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
    Separation and information hiding. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:268-280 [Conf]
  14. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:182-203 [Conf]
  15. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Inserting Safe Memory Reuse Commands into ML-Like Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:171-188 [Conf]
  16. Hongseok Yang
    Shape Analysis for Low-Level Code. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:280- [Conf]
  17. Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    A Local Shape Analysis Based on Separation Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:287-302 [Conf]
  18. Richard Bornat, Cristiano Calcagno, Hongseok Yang
    Variables as Resource in Separation Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:247-276 [Journal]
  19. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Static insertion of safe and effective memory reuse commands into ML-like programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:141-178 [Journal]
  20. Uday S. Reddy, Hongseok Yang
    Correctness of data representations involving heap data structures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:129-160 [Journal]
  21. David J. Pym, Peter W. O'Hearn, Hongseok Yang
    Possible worlds and resources: the semantics of BI. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:257-305 [Journal]
  22. Hongseok Yang
    Relational separation logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:308-334 [Journal]
  23. Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
    Shape Analysis for Composite Data Structures. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:178-192 [Conf]
  24. Lars Birkedal, Hongseok Yang
    Relational Parametricity and Separation Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:93-107 [Conf]
  25. Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang
    Local Action and Abstract Separation Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:366-378 [Conf]
  26. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Footprint Analysis: A Shape Analysis That Discovers Preconditions. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:402-418 [Conf]
  27. Lars Birkedal, Noah Torp-Smith, Hongseok Yang
    Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  28. Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
    Goal-directed weakening of abstract interpretation results. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  29. Scalable Shape Analysis for Systems Code. [Citation Graph (, )][DBLP]


  30. Nested Hoare Triples and Frame Rules for Higher-Order Store. [Citation Graph (, )][DBLP]


  31. Automatic Verification of Heap-Manipulating Programs Using Separation Logic. [Citation Graph (, )][DBLP]


  32. Ranking Abstractions. [Citation Graph (, )][DBLP]


  33. Abstraction for Concurrent Objects. [Citation Graph (, )][DBLP]


  34. A Semantic Foundation for Hidden State. [Citation Graph (, )][DBLP]


  35. A Simple Model of Separation Logic for Higher-Order Store. [Citation Graph (, )][DBLP]


  36. Space Invading Systems Code. [Citation Graph (, )][DBLP]


  37. Compositional shape analysis by means of bi-abduction. [Citation Graph (, )][DBLP]


  38. Towards Shape Analysis for Device Drivers. [Citation Graph (, )][DBLP]


  39. Relational Parametricity and Separation Logic [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002