Matthew Hammer -

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