Hongseok Yang (University of Oxford)
Identifiers
- name variant Hongseok Yang (University of Oxford) 0.60 · backfill
Papers (3)
- Linearizability with Ownership Transfer cs.LO · 2013 · author #2
- Two for the Price of One: Lifting Separation Logic Assertions cs.PL · 2012 · author #3
- Nested Hoare Triples and Frame Rules for Higher-order Store cs.LO · 2011 · author #4
Mentions
Frequent Coauthors
- Lars Birkedal (IT University of Copenhagen) 2 shared papers
- Alexey Gotsman (IMDEA Software Institute) 1 shared papers
- Bernhard Reus (University of Sussex) 1 shared papers
- Jacob Thamsborg (IT University of Copenhagen) 1 shared papers
- Jan Schwinghammer (Saarland University) 1 shared papers