Matteo Cimini

Orcid: 0000-0003-0162-9997

According to our database1, Matteo Cimini authored at least 36 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Declarative Validator for GSOS Languages.
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.
Proceedings of the Tests and Proofs - 17th International Conference, 2023

Towards the Complexity Analysis of Programming Language Proof Methods.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022
Lang-n-Send Extended: Sending Regular Expressions to Monitors.
Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Lang-n-Send: Processes That Send Languages.
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.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

A Query Language for Language Analysis.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2021
Language Transformations in the Classroom.
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.
Proceedings of the Software Verification - 13th International Conference, 2021

2020
A Calculus for Language Transformations.
Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

Extrinsically typed operational semantics for functional languages.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

A Declarative Gradualizer with Language Transformations.
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.
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019
Towards Gradually Typed Capabilities in the Pi-Calculus.
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.
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

2018
Ghostbuster: A tool for simplifying and converting GADTs.
J. Funct. Program., 2018

Languages as first-class citizens (vision paper).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2017
Automatically generating the dynamic semantics of gradually typed languages.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
PTRebeca: Modeling and analysis of distributed and asynchronous systems.
Sci. Comput. Program., 2016

Well-Typed Languages are Sound.
CoRR, 2016

The gradualizer: a methodology and algorithm for generating gradual type systems.
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.
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015
Refined Criteria for Gradual Typing.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Principal Type Schemes for Gradual Programs.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monotonic References for Efficient Gradual Typing.
Proceedings of the Programming Languages and Systems, 2015

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To.
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014
Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Sci. Comput. Program., 2014

2012
Rule formats for distributivity.
Theor. Comput. Sci., 2012

Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
Math. Struct. Comput. Sci., 2012

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

2011
SOS rule formats for zero and unit elements.
Theor. Comput. Sci., 2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
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.
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.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009


  Loading...