Stephen Chong

Registered user since Mon 8 Jun 2015

Name: Stephen Chong

Bio: Stephen Chong is an Associate Professor of Computer Science in the Harvard 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, USA

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

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

Contributions

HILT 2018Committee Member in Program Committee within the HILT 2018-track
PLMW 2017Organizer in Mentors within the PLMW-track
ICFP 2017Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track
FMSinvited speaker of Report on the NSF Workshop on Formal Methods for Security within the FMS-track
POPL 2017Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Artifact Evaluation Co-Chair in Organizing Committee
PLDI 2016Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track
ECOOP 2016Committee Member in Program Committee within the Research Track-track
SPLASH 2016Author of Automatic Enforcement of Expressive Security Policies using Enclaves within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
Committee Member in Program Committee within the Workshops-track
Author of Extensible Access Control with Authorization Contracts within the OOPSLA-track
POPL 2016ERC member in External Reviewing Committee
Artifact Evaluation Co-Chair in Organizing Committee
ERC member in External Reviewing Committee within the Research Papers-track
PLAS 2015Committee Member in Program Committee within the PLAS-track
PLDI 2015Author of Exploring and Enforcing Security Guarantees via Program Dependence Graphs within the Research Papers-track
SPLASH 2014Committee Member in Program Committee within the OOPSLA-track
Session Chair of Program Analysis and the Web (part of OOPSLA)
SPLASH 2012Author of Towards a practical secure concurrent language within the OOPSLA Research Papers-track