• Sign in
  • Sign up
conf.researchr.org / Mitchell Wand
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2021 profile
  • PLDI 2021 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • SPLASH 2021 profile

Registered user since Wed 22 Jul 2015

Name:Mitchell Wand
Affiliation:Northeastern University, USA
Personal website: http://www.ccs.neu.edu/home/wand/

Contributions

2021

SPLASH

  • Committee Member in Review Committee within the OOPSLA-track

ICFP

  • Committee Member in Program Committee within the Research Papers-track

HOPL

  • Author of Hygienic Macro Technology within the Papers-track

2018

ICFP

  • Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the Research Papers-track

LAFI

  • Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the PPS 2018-track

2017

ICFP

  • Author of Inferring Scope through Syntactic Sugar within the Research Papers-track

2016

LAFI

  • 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
Share
xSun 10 Dec 10:53
using conf.researchr.org (v1.62.0)
Support page
Sign Up