| Refined criteria for gradual typing JG Siek, MM Vitousek, M Cimini, JT Boyland 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 | 232 | 2015 |
| 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 | 100 | 2014 |
| Monotonic references for efficient gradual typing JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 88 | 2015 |
| Principal type schemes for gradual programs R Garcia, M Cimini Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 85 | 2015 |
| The gradualizer: a methodology and algorithm for generating gradual type systems M Cimini, JG Siek ACM SIGPLAN Notices 51 (1), 443-455, 2016 | 81 | 2016 |
| Automatically generating the dynamic semantics of gradually typed languages M Cimini, JG Siek Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 43 | 2017 |
| 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 | 36 | 2016 |
| Nominal SOS M Cimini, MR Mousavi, MA Reniers, MJ Gabbay Electronic Notes in Theoretical Computer Science 286, 103-116, 2012 | 17 | 2012 |
| 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 | 16 | 2015 |
| Functions as Processes: Termination and the -Calculus M Cimini, CS Coen, D Sangiorgi International Symposium on Trustworthy Global Computing, 73-86, 2010 | 16* | 2010 |
| Extrinsically typed operational semantics for functional languages M Cimini, D Miller, JG Siek Proceedings of the 13th ACM SIGPLAN International Conference on Software …, 2020 | 12 | 2020 |
| 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 | 12 | 2011 |
| 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 | 10 | 2010 |
| Rule formats for distributivity L Aceto, M Cimini, A Ingólfsdóttir, MR Mousavi, MA Reniers International Conference on Language and Automata Theory and Applications, 80-91, 2011 | 9 | 2011 |
| A calculus for language transformations B Mourad, M Cimini SOFSEM 2020: Theory and Practice of Computer Science: 46th International …, 2020 | 8 | 2020 |
| Languages as first-class citizens (vision paper) M Cimini Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018 | 8 | 2018 |
| Ghostbuster: A tool for simplifying and converting GADTs TL McDonell, TAK Zakian, M Cimini, RR Newton Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 8 | 2016 |
| A Query Language for Language Analysis M Cimini International Conference on Software Engineering and Formal Methods, 57-73, 2022 | 6 | 2022 |
| A Calculus for Multi-language Operational Semantics M Cimini Software Verification, 25-42, 2021 | 6 | 2021 |
| System Description: Lang-n-Change-A Tool for Transforming Languages B Mourad, M Cimini International Symposium on Functional and Logic Programming, 198-214, 2020 | 6 | 2020 |
