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. |