Hongseok Yang - POPL 2016

Registered user since Sat 13 Feb 2016

Name: Hongseok Yang

Affiliation: University of Oxford, UK

Personal website: http://www.cs.ox.ac.uk/people/hongseok.yang/Public/Home.html

Contributions

PPS 2016	Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track
POPL 2016	Author of 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems within the Research Papers-track Author of Abstraction Refinement Guided by a Learnt Probabilistic Model within the Research Papers-track
Show activities from other conferences