Mitchell Wand -

Registered user since Wed 22 Jul 2015

Name:Mitchell Wand

Affiliation:Northeastern University, USA

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

Contributions

SPLASH 2021	Committee Member in Review Committee within the OOPSLA-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
HOPL IV	Author of Hygienic Macro Technology within the Papers-track
PPS 2018	Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the PPS 2018-track
ICFP 2018	Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the Research Papers-track
ICFP 2017	Author of Inferring Scope through Syntactic Sugar within the Research Papers-track
PPS 2016	Session Chair of Session 3 (part of PPS 2016) Committee Member in Program Committee within the PPS 2016-track Author of Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs within the PPS 2016-track