Matteo Cimini -

Registered user since Sun 13 Nov 2016

Name:Matteo Cimini

Country:United States

Affiliation:University of Massachusetts at Lowell, USA

Personal website:http://www.cimini.info

Contributions

SLE 2020	Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
SLE 2019	Committee Member in Program Committee within the SLE 2019-track
SLE 2018	Author of Languages as First-Class Citizens (Vision Paper) within the SLE 2018-track
SPLASH 2018	Committee Member in Artifact Evaluation Committee within the Artifacts-track Author of Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker within the SPLASH-E-track
PLDI 2018	Committee Member in External Review Committee Committee Member in Artifact Evaluation Committee
PMLDC 2016	Author of Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language within the PMLDC-track
POPL 2017	Committee Member in Selection Committee within the Student Research Competition-track Author of Automatically Generating the Dynamic Semantics of Gradually Typed Languages within the POPL-track Session Chair of Poster Session (part of Student Research Competition)
SPLASH 2017	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2016	Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track
POPL 2016	Author of The Gradualizer: a methodology and algorithm for generating gradual type systems within the Research Papers-track
ESOP 2015	Author of Monotonic References for Efficient Gradual Typing within the ESOP-track