Sungkeun Cho

me

Contract research scientist, Static Analysis Tools team at Facebook

Education

Research interest

static program analysis, formal verification

Project

Publication

Poster

Teaching experience

External reviewer

PLDI'17, SAS'16, SOAP'15, APLAS'13, POPL'13, SAS'12, PEPM'12, SSV'11

Contact


Modified at 2018-06-08 12:06:02