|
Assistant Professor
|
|
|
Address:
|
Office: Dandeneau Hall, office 324 Phone: 978-934-3682 Email: matteo_cimini [A_T] uml [DOT] edu |
| Spring 2023: 3010(201) Organization of Programming Languages |
| Spring 2023: 4040(201) Analysis of Algorithms |
| Fall 2022: 3010(202) Organization of Programming Languages |
| Fall 2022: 5310 Design of Programming Languages |
| Fall 2021: 3010(202) Organization of Programming Languages |
| Fall 2021: 5310 Design of Programming Languages |
| Spring 2021: 3010(201) Organization of Programming Languages |
| Spring 2021: 3010(202) Organization of Programming Languages |
| Fall 2020: 4040(201) Analysis of Algorithms |
| Fall 2020: 4040(202) Analysis of Algorithms |
| Spring 2020: 3010 Organization of Programming Languages |
| Spring 2020: 3040 Foundations of Computer Science |
| Fall 2019: 5310 Design of Programming Languages |
| Spring 2019: 5310 Design of Programming Languages |
| Fall 2018: 5020 Foundations of Computer Science |
| Spring 2018: 5310 Design of Programming Languages |
| Fall 2017: 5020 Foundations of Computer Science |
| TypeSoundnessCertifier: Certified Type Soundness, automatically! |
| The Gradualizer: A supporting tool for automating the shift to gradual typing. (also available at my github) |
| LANG-N-PLAY: A programming language with languages as first-class citizens |
| OOPSLA 2023. External Review / Artifact Evaluation Committee Member. |
| EXPRESS/SOS 2023. (Int. Work. on Expressiveness in Concurrency + Int. Work. on Structural Operational Semantics). PC Member. |
| FLOPS 2022. (Int. Symposium on Functional and Logic Programming). PC Member. |
| ICFP 2021. PC Member. |
| ICE 2021 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2021. PC Member. |
| POPL 2020. PC Member. |
| ICE 2020 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2020. PC Member. |
| SLE 2019. (Int. Conference on Software Language Engineering). PC Member. |
| TFP 2019. (Symposium on Trends in Functional Programming). PC Member. |
| EXPRESS/SOS 2019. (Int. Work. on Expressiveness in Concurrency + Int. Work. on Structural Operational Semantics). PC Member. |
| ICE 2019 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2019. PC Member. |
| IFL 2018. Co-Chair. The 30th Symposium on Implementation and Application of Functional Languages took place at UMass Lowell! |
| SBMF 2018 (21st Brazilian Symposium On Formal Methods). PC Member. |
| PLDI 2018 (ERC). External Review Committee Member. |
| ICE 2018 (Interaction and Concurrency Experience, workshop). PC Member. |
| POPL 2017 SRC (POPL Student Research Competition). Evaluation Committee Member. |
| MeMo 2017 (Int. Workshop on Meta Models for Process Languages), satellite workshop of CONCUR 2017. PC Member. |
| ICE 2017 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2017. PC Member. |
| EXPRESS/SOS 2016, satellite workshop of CONCUR 2016. PC Member. |
| PrePost 2016 (Int. Workshop on Pre- and Post-Deployment Verification Techniques), satellite workshop of iFM 2016. PC Member. |
| ICE 2016 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2016. PC Member. |
| YR-CONCUR 2015 , satellite workshop of CONCUR 2015. Organizer and PC Chair. |
| EXPRESS/SOS 2015, satellite workshop of CONCUR 2015. PC Member. |
| ICE 2015 (Interaction and Concurrency Experience), satellite workshop of DisCoTec 2015. PC Member. |
| EXPRESS/SOS 2014, satellite workshop of CONCUR 2014. PC Member. |
| PACO 2011 (Int. Workshop on Process Algebra and Coordination), satellite workshop of DisCoTec 2011. Organization Chair and website maintainer. |
| PLDI Artifact Evaluation 2018. Evaluation Committee Member. |
| OOPSLA Artifact Evaluation 2018. Evaluation Committee Member. |
| OOPSLA Artifact Evaluation 2017. Evaluation Committee Member. |