| 2025 | ICTAC | From Program Logics Towards Language Logics. | Matteo Cimini |
| 2024 | FLOPS | Language-parameterized Proofs for Functional Languages with Subtyping. | Seth Galasso, Matteo Cimini |
| 2023 | ICTAC | Towards the Complexity Analysis of Programming Language Proof Methods. | Matteo Cimini |
| 2023 | TAP | Testing Languages with a Languages-as-Databases Approach. | Matteo Cimini |
| 2022 | SEFM | A Query Language for Language Analysis. | Matteo Cimini |
| 2022 | SLE | Lang-n-Prove: A DSL for Language Proofs. | Matteo Cimini |
| 2020 | FLOPS | On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. | Matteo Cimini |
| 2020 | FLOPS | System Description: Lang-n-Change - A Tool for Transforming Languages. | Benjamin Mourad, Matteo Cimini |
| 2020 | SLE | Extrinsically typed operational semantics for functional languages. | Matteo Cimini, Dale Miller, Jeremy G. Siek |
| 2020 | SOFSEM | A Calculus for Language Transformations. | Benjamin Mourad, Matteo Cimini |
| 2018 | SLE | Languages as first-class citizens (vision paper). | Matteo Cimini |
| 2017 | POPL | Automatically generating the dynamic semantics of gradually typed languages. | Matteo Cimini, Jeremy G. Siek |
| 2016 | ECOOP | Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. | Matteo Cimini, Jeremy G. Siek |
| 2016 | ICFP | Ghostbuster: a tool for simplifying and converting GADTs. | Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton |
| 2016 | POPL | The gradualizer: a methodology and algorithm for generating gradual type systems. | Matteo Cimini, Jeremy G. Siek |
| 2015 | CPP | A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. | Kaustuv Chaudhuri, Matteo Cimini, Dale Miller |
| 2015 | ESOP | Monotonic References for Efficient Gradual Typing. | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2015 | POPL | Principal Type Schemes for Gradual Programs. | Ronald Garcia, Matteo Cimini |
| 2011 | LATA | Rule Formats for Distributivity. | Luca Aceto, Matteo Cimini, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |