conf.researchr.org / Mohsen Lesani
Registered user since Wed 21 Oct 2015
Name:Mohsen Lesani
Affiliation:University of California at Riverside
Personal website: http://www.cs.ucr.edu/~lesani/
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