Mohsen Lesani

Registered user since Wed 21 Oct 2015

Name:Mohsen Lesani
Affiliation:University of California at Riverside

Contributions

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)
MAPL 2020 Author of Learning Quantitative Representation Synthesis within the MAPL-track
ICFP 2021 Author of Grafs: Declarative Graph Analytics within the Research Papers-track
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
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)
ICFP 2020 Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-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
CPP 2017 Committee Member in Program Committee within the CPP-track
POPL 2017 ERC member in External Review Committee within the POPL-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-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