conf.researchr.org / Mohsen Lesani
Mohsen Lesani

Registered user since Wed 21 Oct 2015

Name: Mohsen Lesani

Affiliation: University of California, Riverside

Personal website: http://www.cs.ucr.edu/~lesani/

Contributions

POPL 2020Committee Member in Program Committee within the Research Papers-track
POPL 2019Author of Hamsaz: Replication Coordination Analysis and Synthesis within the Research Papers-track
SPLASH 2018Author of BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip within the OOPSLA-track
Committee Member in Academic Panel within the DocSymposium-track
CPP 2017Committee Member in Program Committee within the CPP-track
POPL 2017ERC member in External Review Committee within the POPL-track
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
POPL 2016Author of Certified Causally Consistent Distributed Key-Value Stores within the Research Papers-track
SPLASH 2015Author of Declarative Fence Insertion within the OOPSLA Artifacts-track
Author of Declarative Fence Insertion within the OOPSLA-track
SPLASH 2013Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track