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.

Country:United States
Affiliation:Harvard University
Research interests:Programming languages, Information security, Language-based security.

Contributions

PLMW @ POPL 2023 Invited Speaker in Speakers within the PLMW @ POPL 2023-track
Presenter of Care and Feeding of Advisors within the PLMW @ POPL 2023-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023 Author of From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems within the POPL-track
SPLASH 2021 Author of Formulog: Datalog for SMT-based Static Analysis within the SIGPLAN Papers-track
SLE 2021 Author of Fast Incremental PEG Parsing within the SLE-track
PLMW@PLDI 2021 Co-chair in Organizing Committee within the PLMW@PLDI 2021-track
‹Programming› 2021 Author of Fine-Grained, Language-Based Access Control for Database-Backed Applications within the Research Papers-track
Ally Skills@PLDI2020 Committee Member in Organizing Committee within the Ally Skills@PLDI2020 (Cancelled)-track
Committee Member in Organizing Committee within the Ally Skills@PLDI2020 (Cancelled)-track
SPLASH 2020 Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA-track
Author of Formulog: Datalog for SMT-based Static Analysis within the Posters-track
Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA Artifacts-track
PLMW@PLDI 2020 Session Chair of Day 1 Morning (part of PLMW@PLDI 2020)
Co-chair in Organizing Committee within the PLMW@PLDI 2020-track
‹Programming› 2020 Author of Fine-Grained, Language-Based Access Control for Database-Backed Applications within the Research Papers-track
PriSC 2020 Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2018 Mentor in Mentors within the Breakfasts-track
HILT 2018 Committee Member in Program Committee within the HILT 2018-track
Panels Chair of Panel on Language-based Security within the HILT 2018-track
ICFP 2017 Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track
PLMW 2017 Organizer in Mentors within the PLMW-track
POPL 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Artifact Evaluation Co-Chair in Organizing Committee
SPLASH 2016 Author 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
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
FMS Invited Speaker of Report on the NSF Workshop on Formal Methods for Security within the FMS-track
PLDI 2016 Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track
POPL 2016 ERC member in External Reviewing Committee
Artifact Evaluation Co-Chair in Organizing Committee
ERC member in External Reviewing Committee within the Research Papers-track
PLAS 2015 Committee Member in Program Committee within the PLAS-track
PLDI 2015 Author of Exploring and Enforcing Security Guarantees via Program Dependence Graphs within the Research Papers-track
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
Session Chair of Program Analysis and the Web (part of OOPSLA)
SPLASH 2012 Author of Towards a practical secure concurrent language within the OOPSLA Research Papers-track