발행물

전체 논문

150

61

Particle Gibbs with Ancestor Sampling for Probabilistic Programs
Jan-Willem van de Meent, Hongseok Yang, Vikash Mansinghka, Frank Wood
AISTATS 2015, 2015.05

62

Composite Replicated Data Types
Alexey Gotsman, Hongseok Yang
ESOP 2015, 2015.04

63

Symbolic Automata for Representing Big Code
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
Acta Informatica, 2015

64

Parameterised Linearizability
Andrea Cerone, Alexey Gotsman, Hongseok Yang
ICALP 2014, 2014.07

65

On Abstraction Refinement for Program Analyses in Datalog
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
PLDI 2014, 2014.06

66

Hybrid Top-Down and Bottom-Up Interprocedural Analysis
Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
PLDI 2014, 2014.06

67

Selective Context-Sensitivity Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
PLDI 2014, 2014.06

68

A Correspondence between Two Approaches to Interprocedural Analyses in the Presence of Join
Ravi Mangal, Mayur Naik, Hongseok Yang
ESOP 2014, 2014.04

69

Replicated Data Types: Specification, Verification, Optimality
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski
POPL 2014, 2014

70

Modular Verification of Preemptive OS Kernels
Alexey Gotsman, Hongseok Yang
Journal of Functional Programming, 2013