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
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