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	Semantics of Higher-order Probabilistic Programs
POPL 2016	'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Abstraction Refinement Guided by a Learnt Probabilistic Model
Show activities from other conferences