발행물

전체 논문

150

51

On the Pitfalls of Nested Monte Carlo
Tom Rainforth, Robert Cornish, Hongseok Yang, Frank Wood
NIPS workshop on Advances in Approximate Bayesian Inference (AABI 2016), 2016.12

52

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
Kihong Heo, Hakjoo Oh, Hongseok Yang
SAS 2016, 2016.09

53

Specification and Complexity of Collaborative Text Editing
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
PODC 2016, 2016.07

54

Semantics for Probabilistic Programming: Higher-order Functions, Continuous Distributions, and Soft Constraints
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank Wood
LICS 2016, 2016.07

55

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
POPL 2016, 2016

56

Abstraction Refinement Guided by a Learnt Probabilistic Model
Radu Grigore, Hongseok Yang
POPL 2016, 2016

57

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
ACM Transactions on Programming Languages and Systems, 2015.12

58

Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
OOPSLA 2015, 2015.10

59

Transaction Chopping for Parallel Snapshot Isolation
Andrea Cerone, Alexey Gotsman, Hongseok Yang
DISC 2015, 2015.10

60

Modularity in Lattices: A Case Study on the Correspondence between Top-Down and Bottom-Up Analysis
Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
SAS 2015, 2015.09