Matteo Cimini

According to our database, Matteo Cimini authored at least 38 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

From Program Logics to Language Logics.

Matteo Cimini

CoRR, 2024

Language-parameterized Proofs for Functional Languages with Subtyping.

Seth Galasso, Matteo Cimini

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2023

A Declarative Validator for GSOS Languages.

Matteo Cimini

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

Testing Languages with a Languages-as-Databases Approach.

Matteo Cimini

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Towards the Complexity Analysis of Programming Language Proof Methods.

Matteo Cimini

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Lang-n-Send Extended: Sending Regular Expressions to Monitors.

Matteo Cimini

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Lang-n-Send: Processes That Send Languages.

Matteo Cimini

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

Lang-n-Prove: A DSL for Language Proofs.

Matteo Cimini

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

A Query Language for Language Analysis.

Matteo Cimini

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2021

Language Transformations in the Classroom.

Matteo Cimini, Benjamin Mourad

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021

A Calculus for Multi-language Operational Semantics.

Matteo Cimini

Proceedings of the Software Verification - 13th International Conference, 2021

2020

A Calculus for Language Transformations.

Benjamin Mourad, Matteo Cimini

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

Extrinsically typed operational semantics for functional languages.

Matteo Cimini, Dale Miller, Jeremy G. Siek

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

A Declarative Gradualizer with Language Transformations.

Benjamin Mourad, Matteo Cimini

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

System Description: Lang-n-Change - A Tool for Transforming Languages.

Benjamin Mourad, Matteo Cimini

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.

Matteo Cimini

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Towards Gradually Typed Capabilities in the Pi-Calculus.

Matteo Cimini

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker.

Matteo Cimini

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

2018

Ghostbuster: A tool for simplifying and converting GADTs.

Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton

J. Funct. Program., 2018

Languages as first-class citizens (vision paper).

Matteo Cimini

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2017

Automatically generating the dynamic semantics of gradually typed languages.

Matteo Cimini, Jeremy G. Siek

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

PTRebeca: Modeling and analysis of distributed and asynchronous systems.

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini

Sci. Comput. Program., 2016

Well-Typed Languages are Sound.

Matteo Cimini, Dale Miller, Jeremy G. Siek

CoRR, 2016

The gradualizer: a methodology and algorithm for generating gradual type systems.

Matteo Cimini, Jeremy G. Siek

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language.

Matteo Cimini, Jeremy G. Siek

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015

Refined Criteria for Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Principal Type Schemes for Gradual Programs.

Ronald Garcia, Matteo Cimini

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monotonic References for Efficient Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia

Proceedings of the Programming Languages and Systems, 2015

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To.

Kaustuv Chaudhuri, Matteo Cimini, Dale Miller

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Modelling and simulation of asynchronous real-time systems using Timed Rebeca.

Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson

Sci. Comput. Program., 2014

2012

Rule formats for distributivity.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Theor. Comput. Sci., 2012

Proving the validity of equations in GSOS languages using rule-matching bisimilarity.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir

Math. Struct. Comput. Sci., 2012

Nominal SOS.

Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

SOS rule formats for zero and unit elements.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Theor. Comput. Sci., 2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

2010

On Rule Formats for Zero and Unit Elements.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.

Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009