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

2025

SLE

Committee Member in Programme Committee within the SLE 2025-track

FSEN

Author of A Debugging System for Language-parameterized Proofs within the Marjan Festschrift-track

2024

FLOPS

2023

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track

TAP

2022

SLE

Author of Lang-n-Prove: A DSL for Language Proofs within the SLE 2022-track

FLOPS

Committee Member in Program Committee within the FLOPS 2022-track

2021

ICFP

Committee Member in Program Committee within the Research Papers-track

2020

SLE

Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

SLE

Committee Member in Program Committee within the SLE 2019-track

2018

SLE

Author of Languages as First-Class Citizens (Vision Paper) within the SLE 2018-track

SPLASH

PLDI

2017

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

POPL

2016

ICFP

Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track

PMLDC

Author of Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language within the PMLDC-track

POPL

Author of The Gradualizer: a methodology and algorithm for generating gradual type systems within the Research Papers-track

2015

ESOP

Author of Monotonic References for Efficient Gradual Typing within the ESOP-track