Sungkeun Cho

me

Contingent worker, 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-03-31 16:03:28