conf.researchr.org / 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