Matteo Cimini

Registered user since Sun 13 Nov 2016

Name: Matteo Cimini

Country: United States

Affiliation: University of Massachusetts Lowell

Personal website:


SLE 2020Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE/GPCE-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
SLE 2019Committee Member in Program Committee within the SLE 2019-track
SLE 2018Author of Languages as First-Class Citizens (Vision Paper) within the SLE 2018-track
SPLASH 2018Committee 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 2018Committee Member in External Review Committee
Committee Member in Artifact Evaluation Committee
PMLDC 2016Author of Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language within the PMLDC-track
POPL 2017Committee 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 2017Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2016Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track
POPL 2016Author of The Gradualizer: a methodology and algorithm for generating gradual type systems within the Research Papers-track
ESOP 2015Author of Monotonic References for Efficient Gradual Typing within the ESOP-track