dblp.uni-trier.dewww.uni-trier.de

Hongseok Yang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
41EEJan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL 2009: 440-454
40EEHongseok Yang: Automatic Verification of Heap-Manipulating Programs Using Separation Logic. CSR 2009: 25
39EEIvana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang: Abstraction for Concurrent Objects. ESOP 2009: 252-266
38EECristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Compositional shape analysis by means of bi-abduction. POPL 2009: 289-300
37EEPeter W. O'Hearn, Hongseok Yang, John C. Reynolds: Separation and information hiding. ACM Trans. Program. Lang. Syst. 31(3): (2009)
2008
36EEHongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn: Scalable Shape Analysis for Systems Code. CAV 2008: 385-398
35EEAziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162
34EELars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang: A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) 2008: 348-360
33EECristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Space Invading Systems Code. LOPSTR 2008: 1-3
32EELars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic CoRR abs/0805.0783: (2008)
31EELars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. Logical Methods in Computer Science 4(2): (2008)
2007
30EEJosh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang: Shape Analysis for Composite Data Structures. CAV 2007: 178-192
29EELars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. FoSSaCS 2007: 93-107
28EECristiano Calcagno, Peter W. O'Hearn, Hongseok Yang: Local Action and Abstract Separation Logic. LICS 2007: 366-378
27EECristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS 2007: 402-418
26EEHongseok Yang: Towards Shape Analysis for Device Drivers. VMCAI 2007: 267
25EESunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007)
24EEHongseok Yang: Relational separation logic. Theor. Comput. Sci. 375(1-3): 308-334 (2007)
2006
23EECristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS 2006: 182-203
22EEHongseok Yang: Shape Analysis for Low-Level Code. SAS 2006: 280
21EEDino Distefano, Peter W. O'Hearn, Hongseok Yang: A Local Shape Analysis Based on Separation Logic. TACAS 2006: 287-302
20EELars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages CoRR abs/cs/0610081: (2006)
19EERichard Bornat, Cristiano Calcagno, Hongseok Yang: Variables as Resource in Separation Logic. Electr. Notes Theor. Comput. Sci. 155: 247-276 (2006)
18EELars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. Logical Methods in Computer Science 2(5): (2006)
2005
17EEIvana Mijajlovic, Hongseok Yang: Data Refinement with Low-Level Pointer Operations. APLAS 2005: 19-36
16EEOukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140
15EELars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-Order Frame Rules. LICS 2005: 260-269
14EEOukseh Lee, Hongseok Yang, Kwangkeun Yi: Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58(1-2): 141-178 (2005)
2004
13EEPeter W. O'Hearn, Hongseok Yang, John C. Reynolds: Separation and information hiding. POPL 2004: 268-280
12EEUday S. Reddy, Hongseok Yang: Correctness of data representations involving heap data structures. Sci. Comput. Program. 50(1-3): 129-160 (2004)
11EEDavid J. Pym, Peter W. O'Hearn, Hongseok Yang: Possible worlds and resources: the semantics of BI. Theor. Comput. Sci. 315(1): 257-305 (2004)
2003
10EESunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245
9EEUday S. Reddy, Hongseok Yang: Correctness of Data Representations Involving Heap Data Structures. ESOP 2003: 223-237
8EEOukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188
2002
7 Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333
6EEHongseok Yang, Peter W. O'Hearn: A Semantic Basis for Local Reasoning. FoSSaCS 2002: 402-416
2001
5 Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn: Computability and Complexity Results for a Spatial Assertion Language for Data Structures. APLAS 2001: 289-300
4EEPeter W. O'Hearn, John C. Reynolds, Hongseok Yang: Local Reasoning about Programs that Alter Data Structures. CSL 2001: 1-19
3EECristiano Calcagno, Hongseok Yang, Peter W. O'Hearn: Computability and Complexity Results for a Spatial Assertion Language for Data Structures. FSTTCS 2001: 108-119
2000
2EEHongseok Yang, Uday S. Reddy: On the Semantics of Refinement Calculi. FoSSaCS 2000: 359-374
1998
1EEHongseok Yang, Howard Huang: Type Reconstruction for Syntactic Control of Interference, Part 2. ICCL 1998: 164-173

Coauthor Index

1Josh Berdine [30] [36]
2Lars Birkedal [15] [18] [20] [29] [31] [32] [34] [41]
3Richard Bornat [19]
4Cristiano Calcagno [3] [5] [19] [23] [27] [28] [30] [33] [36] [38]
5Aziem Chawdhary [35]
6Byron Cook [30] [35] [36]
7Dino Distefano [21] [23] [27] [30] [33] [36] [38]
8Ivana Filipovic [39]
9Sumit Gulwani [35]
10Taisook Han [25]
11Howard Huang [1]
12Oukseh Lee [7] [8] [14] [16] [36]
13Ivana Mijajlovic [17]
14Peter W. O'Hearn [3] [4] [5] [6] [11] [13] [21] [23] [27] [28] [30] [33] [36] [37] [38] [39]
15David J. Pym [11]
16Uday S. Reddy [2] [9] [12]
17Bernhard Reus [34] [41]
18John C. Reynolds [4] [13] [37]
19Noam Rinetzky [39]
20Shmuel Sagiv (Mooly Sagiv) [35]
21Jan Schwinghammer [34] [41]
22Sunae Seo [10] [25]
23Noah Torp-Smith [15] [18] [20]
24Thomas Wies [30]
25Kwangkeun Yi [7] [8] [10] [14] [16] [25]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)