Assistant Professor
|
|
Address:
|
Office: Dandeneau Hall, office 324 Phone: 978-934-3682 Email: matteo_cimini [A_T] uml [DOT] edu |
Lang-n-Play: A Programming Language with Languages as First-class Citizens. video (~12 mins), slides. |
Lang-n-Send: Processes That Send Languages. video (~10 mins), slides. |
Lang-n-Change: A DSL for Language Transformations. video (~10 mins), slides. |
Lang-n-Check: (Extrinsic) Type Systems for Language Definitions. video (~10 mins), slides. |
Lang-n-Prove: A Proof Language for Language Proofs. video (~10 mins), slides. |
Lang-SQL (or Lang-n-Query): A Query Language for Querying Languages. video (~12 mins), slides. |
Lang-n-Assert: From Program Logics to Language Logics. video, coming soon. |
Comp.3010 Organization of Programming Languages: Spring 2024, 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. |
FLOPS 2024. (Int. Symposium on Functional and Logic Programming). PC Member. |
EXPRESS/SOS 2024. (Int. Work. on Expressiveness in Concurrency + Int. Work. on Structural Operational Semantics). 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. |