발행물

전체 논문

150

71

Linearizability with Ownership Transfer
Alexey Gotsman, Hongseok Yang
Logical Methods in Computer Science, 2013

72

Symbolic Automata for Static Specification Mining
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
SAS 2013, 2013.06

73

Finding Optimum Abstractions in Parametric Dataflow Analysis
Xin Zhang, Mayur Naik, Hongseok Yang
PLDI 2013, 2013.06

74

Verifying Concurrent Memory Reclamation Algorithms with Grace
Alexey Gotsman, Noam Rinetzky, Hongseok Yang
ESOP 2013, 2013.03

75

A Step-Indexed Kripke Model of Hidden State
Jan Schwinghammer, Lars Birkedal, Francois Pottier, Bernhard Reus, Kristian Stovring, Hongseok Yang
Mathematical Structures in Computer Science, 2013.02

76

Views: Compositional Reasoning for Concurrent Programs
Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang
POPL 2013, 2013

77

Two for the Price of One: Lifting Separation Logic Assertions
Jacob Thamsborg, Lars Birkedal, Hongseok Yang
Logical Methods in Computer Science, 2012

78

Automated Concolic Testing of Smartphone Apps
Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang
FSE 2012, 2012.11

79

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries
Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
DISC 2012, 2012.10

80

Concurrent Library Correctness on the TSO Memory Model
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
ESOP 2012, 2012.03