Matteo Cimini

45 papers A* 3A 2B 8C 4Misc 3Journal 10Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Type soundness of functional languages with subtyping in Lang-n-Prove.
Sci. Comput. Program.
Matteo Cimini, Joan Montas
2025 — conf
A Debugging System for Language-Parameterized Proofs.
Rebeca for Actor Analysis in Action
Charlesowityear Ly, Eswarasanthosh Kumar Mamillapalli, Matteo Cimini
2025 C conf
From Program Logics Towards Language Logics.
ICTAC
Matteo Cimini
2024 J jnl
From Program Logics to Language Logics.
CoRR
Matteo Cimini
2024 Misc conf
Language-parameterized Proofs for Functional Languages with Subtyping.
FLOPS
Seth Galasso, Matteo Cimini
2023 — conf
A Declarative Validator for GSOS Languages.
PLACES@ETAPS
Matteo Cimini
2023 C conf
Testing Languages with a Languages-as-Databases Approach.
TAP
Matteo Cimini
2023 C conf
Towards the Complexity Analysis of Programming Language Proof Methods.
ICTAC
Matteo Cimini
2022 B conf
A Query Language for Language Analysis.
SEFM
Matteo Cimini
2022 B conf
Lang-n-Prove: A DSL for Language Proofs.
SLE
Matteo Cimini
2022 — conf
Lang-n-Send Extended: Sending Regular Expressions to Monitors.
ICE
Matteo Cimini
2022 — conf
Lang-n-Send: Processes That Send Languages.
PLACES@ETAPS
Matteo Cimini
2021 — conf
A Calculus for Multi-language Operational Semantics.
VSTTE
Matteo Cimini
2021 — conf
Language Transformations in the Classroom.
EXPRESS/SOS
Matteo Cimini, Benjamin Mourad
2020 B conf
A Calculus for Language Transformations.
SOFSEM
Benjamin Mourad, Matteo Cimini
2020 — conf
A Declarative Gradualizer with Language Transformations.
IFL
Benjamin Mourad, Matteo Cimini
2020 B conf
Extrinsically typed operational semantics for functional languages.
SLE
Matteo Cimini, Dale Miller, Jeremy G. Siek
2020 Misc conf
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.
FLOPS
Matteo Cimini
2020 Misc conf
System Description: Lang-n-Change - A Tool for Transforming Languages.
FLOPS
Benjamin Mourad, Matteo Cimini
2019 J jnl
A Calculus for Language Transformations.
CoRR
Benjamin Mourad, Matteo Cimini
2019 — conf
Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker.
TFP
Matteo Cimini
2019 — conf
Towards Gradually Typed Capabilities in the Pi-Calculus.
ICE
Matteo Cimini
2018 J jnl
Ghostbuster: A tool for simplifying and converting GADTs.
J. Funct. Program.
Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton
2018 B conf
Languages as first-class citizens (vision paper).
SLE
Matteo Cimini
2018 — ed.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018.
IFL
Matteo Cimini, Jay McCarthy
2017 A* conf
Automatically generating the dynamic semantics of gradually typed languages.
POPL
Matteo Cimini, Jeremy G. Siek
2016 — conf
Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language.
PMLDC@ECOOP
Matteo Cimini, Jeremy G. Siek
2016 A conf
Ghostbuster: a tool for simplifying and converting GADTs.
ICFP
Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton
2016 J jnl
PTRebeca: Modeling and analysis of distributed and asynchronous systems.
Sci. Comput. Program.
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
2016 A* conf
The gradualizer: a methodology and algorithm for generating gradual type systems.
POPL
Matteo Cimini, Jeremy G. Siek
2016 J jnl
Well-Typed Languages are Sound.
CoRR
Matteo Cimini, Dale Miller, Jeremy G. Siek
2015 B conf
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To.
CPP
Kaustuv Chaudhuri, Matteo Cimini, Dale Miller
2015 A conf
Monotonic References for Efficient Gradual Typing.
ESOP
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
2015 A* conf
Principal Type Schemes for Gradual Programs.
POPL
Ronald Garcia, Matteo Cimini
2015 — conf
Refined Criteria for Gradual Typing.
SNAPL
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland
2014 J jnl
Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Sci. Comput. Program.
Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson
2012 B conf
Nominal SOS.
MFPS
Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay
2012 J jnl
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
Math. Struct. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir
2012 J jnl
Rule formats for distributivity.
Theor. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 — conf
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
FOCLASA
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani
2011 C conf
Rule Formats for Distributivity.
LATA
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 J jnl
SOS rule formats for zero and unit elements.
Theor. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010 — conf
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.
TGC
Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi
2010 B conf
On Rule Formats for Zero and Unit Elements.
MFPS
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2009 — conf
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
SOS
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir