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

PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023	Committee Member in Program Committee within the POPL-track
SPLASH 2022	Session Chair of Logic and Concurrency (part of OOPSLA) Author of C4: verified transactional objects within the OOPSLA-track
PLDI 2022	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
Commute	Author of Commutativity reasoning for automated distributed coordination within the Commute 2022-track
SPLASH 2021	Committee Member in Review Committee within the OOPSLA-track Session Chair of Smart Contracts and Distributed Programming (part of OOPSLA) Session Chair of Distributed Programming (part of OOPSLA)
ICFP 2021	Author of Grafs: Declarative Graph Analytics within the Research Papers-track
SPLASH 2020	Committee Member in Review Committee within the OOPSLA-track Session Chair of F-5B (part of OOPSLA) Session Chair of W-5 (part of OOPSLA)
ESEC/FSE 2020	Author of UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel within the Research Papers-track
ICFP 2020	Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track
MAPL 2020	Author of Learning Quantitative Representation Synthesis within the MAPL-track
POPL 2020	Session Chair of Synthesis (part of Research Papers) Session Chair of Synthesis (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
POPL 2019	Author of Hamsaz: Replication Coordination Analysis and Synthesis within the Research Papers-track
SPLASH 2018	Author of BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip within the OOPSLA-track Committee Member in Academic Panel within the DocSymposium-track
ECOOP 2018	Committee Member in Program Committee within the ECOOP Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track
CPP 2017	Committee Member in Program Committee within the CPP-track
POPL 2016	Author of Certified Causally Consistent Distributed Key-Value Stores within the Research Papers-track
SPLASH 2015	Author of Declarative Fence Insertion within the OOPSLA Artifacts-track Author of Declarative Fence Insertion within the OOPSLA-track
SPLASH 2013	Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track