Hongseok Yang (University of Oxford)

Identifiers

• name variant Hongseok Yang (University of Oxford) 0.60 · backfill

Papers (3)

1. Linearizability with Ownership Transfer cs.LO · 2013 · author #2
2. Two for the Price of One: Lifting Separation Logic Assertions cs.PL · 2012 · author #3
3. Nested Hoare Triples and Frame Rules for Higher-order Store cs.LO · 2011 · author #4

Mentions

• 1308.2507 #2 · backfill · confidence 0.70 Hongseok Yang (University of Oxford)
• 1208.5895 #3 · backfill · confidence 0.70 Hongseok Yang (University of Oxford)
• 1109.3031 #4 · backfill · confidence 0.70 Hongseok Yang (University of Oxford)

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