Assistant Professor
|
|
Address:
|
Office: Dandeneau Hall, office 324 Phone: 978-934-3682 Email: matteo_cimini [A_T] uml [DOT] edu |
Comp.3010 Organization of Programming Languages: Fall 2023, Summer II 2023, Spring 2023, Fall 2022, Fall 2021, Spring 2021, Spring 2020. |
Comp.5310 Design of Programming Languages: Fall 2023, Fall 2022, Fall 2021, Fall 2019, Spring 2019, Spring 2018. |
Comp.4040 Analysis of Algorithms: Spring 2023, Fall 2020. |
Comp.5020 Foundations of Computer Science: Fall 2018, Fall 2017. |
Comp.3040 Foundations of Computer Science: Spring 2020. |
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 |
FLOPS 2024. (Int. Symposium on Functional and Logic Programming). PC Member. |
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. |