Registered user since Thu 13 Nov 2014

Name: Matthew Hammer

Country: United States

Affiliation: None

Personal website: http://matthewhammer.org

Contributions

Off the Beaten Track 2019Committee Member in Program Committee within the Off the Beaten Track 2019-track
PLDI 2019Author of ILC: A Calculus for Composable, Computational Cryptography within the PLDI Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
Author of Live Functional Programming with Typed Holes within the Research Papers-track
LIVE 2018Author of Hazel: Live and Direct Functional Programming with Holes within the LIVE 2018-track
LIVE 2017Author of Toward a Live Stepper for Typed Expressions with Holes within the LIVE 2017-track
‹Programming› 2018Committee Member in Program Committee within the Research Papers-track
IC 2017Committee Member in Organizing Committee within the IC 2017-track
GPCE 2017Committee Member in Program Committee within the GPCE 2017-track
PLDI 2018Committee Member in External Review Committee
POPL 2018Committee Member in Selection Committee within the Student Research Competition-track
Off the Beaten Track 2017Author of Running Incomplete Programs within the OBT-track
Scheme 2016Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track
POPL 2017Author of Hazelnut: A Bidirectionally Typed Structure Editor Calculus within the POPL-track
SPLASH 2017Committee Member in Program Committee within the Workshops-track
GPCE 2016Author of A Vision for Online Verification-Validation within the GPCE-track
Off the Beaten Track 2016Author of Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations within the Off the Beaten Track-track
PLDI 2016Committee Member in Poster Selection Committee within the Student Posters-track
PLAS 2015Committee Member in Program Committee within the PLAS-track
SPLASH 2015Author of Incremental Computation with Names within the OOPSLA Artifacts-track
Author of Incremental Computation with Names within the OOPSLA-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track