conf.researchr.org / Mohsen Lesani
Registered user since Wed 21 Oct 2015
Name:Mohsen Lesani
Affiliation:University of California at Santa Cruz
Personal website: https://mohsenlesani.github.io/
Contributions
2023
2022
SPLASH
PLDI
- Author of (ICFP 2020) TLC: Temporal Logic of Distributed Components within the SIGPLAN Track-track
- Author of Hamband: RDMA Replicated Data Types within the PLDI-track
- Session Chair of Synthesis II (part of SIGPLAN Track)
- Author of (ICFP 2021) Grafs: Declarative Graph Analytics within the SIGPLAN Track-track