Stephen Chang -

Registered user since Wed 29 Jan 2020

Name:Stephen Chang

Bio:

PLT @ UMass Boston

Country:United States

Affiliation:University of Massachusetts Boston

Personal website:http://stchang.github.io/

Research interests:Programming Languages, Macros, Metaprogramming, DSLs, Type Systems

Contributions

DLS 2021	PC Member in Program Committee within the DLS 2021-track
META'20	PC Member in Program Committee within the META'20-track
ICFP 2020	Committee Member in Program Committee within the Student Research Competition-track Committee Member in Poster and Presentation Judges within the Student Research Competition-track
POPL 2020	Author of Dependent Type Systems as Macros within the Research Papers-track
PLDI 2019	Committee Member in External Review Committee within the PLDI Research Papers-track
ICFP 2017	Author of Super 8 Languages for Making Movies (Functional Pearl) within the Research Papers-track
POPL 2018	Author 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 2017	Author of Type Systems as Macros within the POPL-track
SPLASH 2015	Committee Member in Program Committee within the OOPSLA Artifacts-track