Matteo Cimini
Matteo Cimini
Verified email at uml.edu - Homepage
Title
Cited by
Cited by
Year
Refined criteria for gradual typing
JG Siek, MM Vitousek, M Cimini, JT Boyland
LIPIcs-Leibniz International Proceedings in Informatics 32, 2015
1282015
Monotonic references for efficient gradual typing
JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia
European Symposium on Programming Languages and Systems, 432-456, 2015
542015
Principal type schemes for gradual programs
R Garcia, M Cimini
ACM SIGPLAN Notices 50 (1), 303-315, 2015
482015
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ...
Science of Computer Programming 89, 41-68, 2014
462014
The gradualizer: a methodology and algorithm for generating gradual type systems
M Cimini, JG Siek
ACM SIGPLAN Notices 51 (1), 443-455, 2016
422016
Modelling and simulation of asynchronous real-time systems using timed rebeca
L Aceto, M Cimini, A Ingolfsdottir, AH Reynisson, SH Sigurdarson, ...
arXiv preprint arXiv:1108.0228, 2011
362011
Automatically generating the dynamic semantics of gradually typed languages
M Cimini, JG Siek
ACM SIGPLAN Notices 52 (1), 789-803, 2017
302017
PTRebeca: Modeling and analysis of distributed and asynchronous systems
A Jafari, E Khamespanah, M Sirjani, H Hermanns, M Cimini
Science of Computer Programming 128, 22-50, 2016
232016
Nominal SOS
M Cimini, MR Mousavi, MA Reniers, MJ Gabbay
Electronic Notes in Theoretical Computer Science 286, 103-116, 2012
142012
A lightweight formalization of the metatheory of bisimulation-up-to
K Chaudhuri, M Cimini, D Miller
Proceedings of the 2015 Conference on Certified Programs and Proofs, 157-166, 2015
112015
λµ µ calculus, π-calculus, and abstract machines
M Cimini, CS Coen, D Sangiorgi
EXPRESS’09, 2009
102009
A bisimulation-based method for proving the validity of equations in GSOS languages
L Aceto, M Cimini, A Ingolfsdottir
arXiv preprint arXiv:1002.2864, 2010
92010
SOS rule formats for zero and unit elements
L Aceto, M Cimini, A Ingólfsdóttir, MR Mousavi, MA Reniers
Theoretical Computer Science 412 (28), 3045-3071, 2011
82011
Rule formats for distributivity
L Aceto, M Cimini, A Ingolfsdottir, MR Mousavi, MA Reniers
International Conference on Language and Automata Theory and Applications, 80-91, 2011
82011
Ghostbuster: A tool for simplifying and converting GADTs
TL McDonell, TAK Zakian, M Cimini, RR Newton
ACM SIGPLAN Notices 51 (9), 338-350, 2016
72016
Proving the validity of equations in GSOS languages using rule-matching bisimilarity
L Aceto, M Cimini, A Ingolfsdottir
Mathematical Structures in Computer Science 22 (2), 291-331, 2012
62012
Functions as Processes: Termination and the -Calculus
M Cimini, CS Coen, D Sangiorgi
International Symposium on Trustworthy Global Computing, 73-86, 2010
62010
On rule formats for zero and unit elements
L Aceto, M Cimini, A Ingolfsdottir, MR Mousavi, MA Reniers
Electronic Notes in Theoretical Computer Science 265, 145-160, 2010
52010
Rule formats for distributivity
L Aceto, M Cimini, A Ingolfsdottir, M Mousavi, MA Reniers
Theoretical Computer Science 458, 1-28, 2012
42012
The Semantics of ParalleX, v1. 0
M Cimini, JG Siek, T Sterling
School of Informatics and Computing, Indiana University Bloomington, Tech …, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20