발행물

전체 논문

150

121

Replicated Data Types: Specification, Verification, Optimality
Burckhardt, S[Burckhardt, Seba, Gotsman, A[Gotsman, Alexey], Yang, H[Yang, Hongseok], Zawirski, M[Zawirski, Marek]
ACM SIGPLAN NOTICES, 201401

122

Modular Verification of Preemptive OS Kernels
Gotsman, A[Gotsman, Alexey], Yang, H[Yang, Hongseok]
JOURNAL OF FUNCTIONAL PROGRAMMING, 201307

123

Finding Optimum Abstractions in Parametric Dataflow Analysis
Zhang, X[Zhang, Xin], Naik, M[Naik, Mayur], Yang, H[Yang, Hongseok]
ACM SIGPLAN NOTICES, 201306

124

A Step-Indexed Kripke Model of Hidden State
Schwinghammer, J[Schwinghammer, Birkedal, L[Birkedal, Lars], Pottier, F[Pottier, Francois], Reus, B[Reus, Bernhard], Stovring, K[Stovring, Kristian, Yang, H[Yang, Hongseok]
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 201302

125

Views: Compositional Reasoning for Concurrent Programs
Dinsdale-Young, T[Dinsdale-You, Birkedal, L[Birkedal, Lars], Gardner, P[Gardner, Philippa], Parkinson, M[Parkinson, Matthe, Yang, H[Yang, Hongseok]
ACM SIGPLAN NOTICES, 201301

126

Linearizability with Ownership Transfer
Gotsman, A[Gotsman, Alexey], Yang, H[Yang, Hongseok]
LOGICAL METHODS IN COMPUTER SCIENCE, 2013

127

A Divide-and-Conquer Approach for Analysing Overlaid Data Structures
Lee, O[Lee, Oukseh], Yang, H[Yang, Hongseok], Petersen, R[Petersen, Rasmus]
FORMAL METHODS IN SYSTEM DESIGN, 201208

128

Abstractions from Tests
Naik, M[Naik, Mayur], Yang, H[Yang, Hongseok], Castelnuovo, G[Castelnuovo, Gh, Sagiv, M[Sagiv, Mooly]
ACM SIGPLAN NOTICES, 201201

129

Two for the Price of One: Lifting Separation Logic Assertions
Thamsborg, J[Thamsborg, Jacob], Birkedal, L[Birkedal, Lars], Yang, H[Yang, Hongseok]
LOGICAL METHODS IN COMPUTER SCIENCE, 2012

130

Compositional Shape Analysis by Means of Bi-Abduction
Calcagno, C[Calcagno, Cristian, Distefano, D[Distefano, Dino], O`Hearn, PW[O`Hearn, Peter W.], Yang, H[Yang, Hongseok]
JOURNAL OF THE ACM, 201112