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