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