Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthew Hammer
conf.researchr.org general profile
ECOOP 2015 profile
ICFP 2016 profile
PLDI 2015 profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
SPLASH 2011 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
‹Programming› 2018 profile
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
Share
x
Tue 24 May 00:58