SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Stephen Chong

Registered user since Mon 8 Jun 2015

Name: Stephen Chong

Bio: Stephen Chong is a Gordon McKay Professor of Computer Science in the Harvard John A. Paulson School of Engineering and Applied Sciences. Steve’s research focuses on programming languages, information security, and the intersection of these two areas. He is the recipient of an NSF CAREER award, an AFOSR Young Investigator award, and a Sloan Research Fellowship. He received a PhD from Cornell University, and a bachelor’s degree from Victoria University of Wellington, New Zealand.

Affiliation: Harvard University

Personal website: https://people.seas.harvard.edu/~chong/

Research interests: Programming languages, Information security, Language-based security.

Contributions

SPLASH 2020 Formulog: Datalog for SMT-Based Static Analysis
Formulog: Datalog for SMT-based Static Analysis
Formulog: Datalog for SMT-Based Static Analysis
Show activities from other conferences

SPLASH 2020-profile
View general profile