Matteo Cimini

Registered user since Sun 13 Nov 2016

Name:Matteo Cimini
Country:United States
Affiliation:University of Massachusetts Lowell
Personal website:http://www.cimini.info

Contributions

SPLASH 2023 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
SLE 2022 Author of Lang-n-Prove: A DSL for Language Proofs within the SLE 2022-track
FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
SLE 2020 Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-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
SPLASH 2017 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-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)
ICFP 2016 Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track
PMLDC 2016 Author of Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language within the PMLDC-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