발행물

전체 논문

150

81

Abstractions From Tests
Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv
POPL 2012, 2012

82

A Divide-and-Concur Approach for Analysing Overlaid Data Structures
Oukseh Lee, Hongseok Yang, Rasmus Petersen
Formal Methods in System Design, 2010.04

83

Compositional Shape Analysis by means of Bi-abduction
Cristiano Calcagno, Dino Distefano, Peter O’Hearn, Hongseok Yang
Journal of the ACM, 2011.12

84

Nested Hoare Triples and Frame Rule for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Logical Methods in Computer Science, 2011

85

Liveness-preserving Atomicity Abstraction
Alexey Gotsman, Hongseok Yang
ICALP 2011, 2011.07

86

Program Analysis for Overlaid Data Structures
Oukseh Lee, Hongseok Yang, Rasmus Petersen
CAV 2011, 2011.07

87

Step-Indexed Kripke Models over Recursive Worlds
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stovring, Jacob Thamsborg, Hongseok Yang
POPL 2011, 2011

88

Metric Spaces and Termination Analysis
Aziem Chawdhary, Hongseok Yang
APLAS 2010, 2010.11

89

Abstraction for Concurrent Objects
Ivana Filipovic, Peter O’Hearn, Noam Rinetzky, Hongseok Yang
Theoretical Computer Science, 2010.12

90

A Semantic Foundation for Hidden State
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Francois Pottier, Bernhard Reus
FOSSACS 2010, 2010.04