conf.researchr.org / Stephen Chang

Registered user since Wed 29 Jan 2020

Name: Stephen Chang

Affiliation: Northeastern University

Personal website: http://www.ccs.neu.edu/home/stchang/

Contributions

POPL 2020Author of Dependent Type Systems as Macros within the Research Papers-track
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
ICFP 2017Author of Super 8 Languages for Making Movies (Functional Pearl) within the Research Papers-track
POPL 2018Author of Symbolic Types for Lenient Symbolic Execution within the Research Papers-track
Author of Symbolic Types for Lenient Symbolic Execution within the Artifact Evaluation-track
POPL 2017Author of Type Systems as Macros within the POPL-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA Artifacts-track