Mohsen Lesani

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 26

Top Venues

CoRR

Proc. ACM Program. Lang.

DISC

PODC

University of California, Los Angeles, USA (PHD)

Education History

University of California, Los Angeles, USA

PHD

Publications

Mohsen Lesani
Vulnerability Flow Type Systems. SP (Workshops) (2024)
Eric Chan, Marek Chrobak, Mohsen Lesani
Cross-Chain Swaps with Preferences. CSF (2023)
Xiao Li, Mohsen Lesani
Open Heterogeneous Quorum Systems. CoRR (2023)
Xiao Li, Eric Chan, Mohsen Lesani
Quorum Subsumption for Heterogeneous Quorum Systems. DISC (2023)
Xiao Li, Eric Chan, Mohsen Lesani
Well-formed Properties of Heterogeneous Quorum Systems. CoRR (2023)
Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani
Hamband: RDMA replicated data types. PLDI (2022)
Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
C4: verified transactional objects. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Eric Chan, Marek Chrobak, Mohsen Lesani
Cross-chain Swaps with Preferences. CoRR (2022)
Xiao Li, Farzin Houshmand, Mohsen Lesani
HAMRAZ: Resilient Partitioning and Replication. IEEE Symposium on Security and Privacy (2022)
Eric Chan, Mohsen Lesani
Brief Announcement: Brokering with Hashed Timelock Contracts is NP-Hard. PODC (2021)
Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk
BioScript: programming safe chemistry on laboratories-on-a-chip. Commun. ACM 64 (2) (2021)
Farzin Houshmand, Mohsen Lesani, Keval Vora
Grafs: declarative graph analytics. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Narges Shadab, Farzin Houshmand, Mohsen Lesani
Cross-chain Transactions. IEEE ICBC (2020)
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
TLC: temporal logic of distributed components. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Mayur Patil, Farzin Houshmand, Mohsen Lesani
Learning quantitative representation synthesis. MAPL@PLDI (2020)
Farzin Houshmand, Mohsen Lesani, Keval Vora
GraFS: Graph Analytics Fusion and Synthesis. CoRR (2020)
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
Temporal Logic of Composable Distributed Components. CoRR (2020)
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. ESEC/SIGSOFT FSE (2020)
Xiao Li, Farzin Houshmand, Mohsen Lesani
Hampa: Solver-Aided Recency-Aware Replication. CAV (1) (2020)
Mohammad Taheri, Arash Pourdamghani, Mohsen Lesani
Polynomial-Time Fence Insertion for Structured Programs. DISC (2019)
Farzin Houshmand, Mohsen Lesani
Hamsaz: replication coordination analysis and synthesis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Mohsen Lesani
Transaction Protocol Verification with Labeled Synchronization Logic. NFM (2019)
Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk
BioScript: programming safe chemistry on laboratories-on-a-chip. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Mahdi Eslamimehr, Mohsen Lesani, George Edwards
Efficient detection and validation of atomicity violations in concurrent programs. J. Syst. Softw. 137 (2018)
Mohsen Lesani
Brief Announcement: Fence Insertion for Straight-line Programs is in P. PODC (2017)
Mohsen Lesani, Christian J. Bell, Adam Chlipala
Chapar: certified causally consistent distributed key-value stores. POPL (2016)
John Bender, Mohsen Lesani, Jens Palsberg
Declarative fence insertion. OOPSLA (2015)
Mahdi Eslamimehr, Mohsen Lesani
AtomChase: Directed search towards atomicity violations. ISSRE (2015)
Mohsen Lesani, Jens Palsberg
Decomposing Opacity. DISC (2014)
Mohsen Lesani, Todd D. Millstein, Jens Palsberg
Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV (2014)
Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein
MrCrypt: static analysis for secure cloud computations. OOPSLA (2013)
Mohsen Lesani, Antonio Lain
Semantics-preserving sharing actors. AGERE!@SPLASH (2013)
Mohsen Lesani, Jens Palsberg
Proving Non-opacity. DISC (2013)
Mohsen Lesani, Victor Luchangco, Mark Moir
A Framework for Formally Verifying Software Transactional Memory Algorithms. CONCUR (2012)
Mohsen Lesani, Jens Palsberg
Communicating memory transactions. PPOPP (2011)
Mohsen Lesani, Niloufar Montazeri
Fuzzy Trust Aggregation and Personalized Trust Inference in Virtual Social Networks. Comput. Intell. 25 (2) (2009)
Mohsen Lesani, Niloufar Montazeri
Aria Language - Towards Agent Orientation Paradigm. ICSOFT (PL/DPS/KE) (2008)
Mohsen Lesani, Saeed Bagheri
Applying and Inferring Fuzzy Trust in Semantic Web Social Networks. CSWWS (2006)
Ali Akhavan Bitaghsir, Amir Moghimi, Mohsen Lesani, Mohammad Mehdi Keramati, Majid Nili Ahmadabadi, Babak Nadjar Araabi
Successful cooperation between heterogeneous fuzzy Q-learning agents. SMC (6) (2004)

Mohsen Lesani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohsen Lesani