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