Hongseok Yang

2009
38	EE	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang: Abstraction for Concurrent Objects. ESOP 2009: 252-266
37	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Compositional shape analysis by means of bi-abduction. POPL 2009: 289-300
36	EE	Peter W. O'Hearn, Hongseok Yang, John C. Reynolds: Separation and information hiding. ACM Trans. Program. Lang. Syst. 31(3): (2009)
2008
35	EE	Hongseok 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
34	EE	Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162
33	EE	Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang: A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) 2008: 348-360
32	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Space Invading Systems Code. LOPSTR 2008: 1-3
31	EE	Lars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic CoRR abs/0805.0783: (2008)
2007
30	EE	Josh 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
29	EE	Lars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. FoSSaCS 2007: 93-107
28	EE	Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang: Local Action and Abstract Separation Logic. LICS 2007: 366-378
27	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Footprint Analysis: A Shape Analysis That Discovers Preconditions. SAS 2007: 402-418
26	EE	Hongseok Yang: Towards Shape Analysis for Device Drivers. VMCAI 2007: 267
25	EE	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007)
24	EE	Hongseok Yang: Relational separation logic. Theor. Comput. Sci. 375(1-3): 308-334 (2007)
2006
23	EE	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang: Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. SAS 2006: 182-203
22	EE	Hongseok Yang: Shape Analysis for Low-Level Code. SAS 2006: 280
21	EE	Dino Distefano, Peter W. O'Hearn, Hongseok Yang: A Local Shape Analysis Based on Separation Logic. TACAS 2006: 287-302
20	EE	Lars 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)
19	EE	Richard Bornat, Cristiano Calcagno, Hongseok Yang: Variables as Resource in Separation Logic. Electr. Notes Theor. Comput. Sci. 155: 247-276 (2006)
18	EE	Lars 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
17	EE	Ivana Mijajlovic, Hongseok Yang: Data Refinement with Low-Level Pointer Operations. APLAS 2005: 19-36
16	EE	Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140
15	EE	Lars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-Order Frame Rules. LICS 2005: 260-269
14	EE	Oukseh 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
13	EE	Peter W. O'Hearn, Hongseok Yang, John C. Reynolds: Separation and information hiding. POPL 2004: 268-280
12	EE	Uday S. Reddy, Hongseok Yang: Correctness of data representations involving heap data structures. Sci. Comput. Program. 50(1-3): 129-160 (2004)
11	EE	David 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
10	EE	Sunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245
9	EE	Uday S. Reddy, Hongseok Yang: Correctness of Data Representations Involving Heap Data Structures. ESOP 2003: 223-237
8	EE	Oukseh 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
6	EE	Hongseok 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
4	EE	Peter W. O'Hearn, John C. Reynolds, Hongseok Yang: Local Reasoning about Programs that Alter Data Structures. CSL 2001: 1-19
3	EE	Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn: Computability and Complexity Results for a Spatial Assertion Language for Data Structures. FSTTCS 2001: 108-119
2000
2	EE	Hongseok Yang, Uday S. Reddy: On the Semantics of Refinement Calculi. FoSSaCS 2000: 359-374
1998
1	EE	Hongseok Yang, Howard Huang: Type Reconstruction for Syntactic Control of Interference, Part 2. ICCL 1998: 164-173

Coauthor Index

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