Matteo Cimini

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 26

Top Topics

Complexity Analysis

Functional Language

Operational Semantics

Top Venues

Publications

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