Successful cooperation between heterogeneous fuzzy Q-learning agents. - Ali Akhavan Bitaghsir; Amir Moghimi; Mohsen Lesani; Mohammad Mehdi Keramati; Majid Nili Ahmadabadi; Babak Nadjar Araabi (SMC (6), 2004)

Applying and Inferring Fuzzy Trust in Semantic Web Social Networks. - Mohsen Lesani; Saeed Bagheri (CSWWS, 2006)

Aria Language - Towards Agent Orientation Paradigm. - Mohsen Lesani; Niloufar Montazeri (ICSOFT (PL/DPS/KE), 2008)

Fuzzy Trust Aggregation and Personalized Trust Inference in Virtual Social Networks. - Mohsen Lesani; Niloufar Montazeri (Comput. Intell., 2009)

Communicating memory transactions. - Mohsen Lesani; Jens Palsberg (PPoPP, 2011)

A Framework for Formally Verifying Software Transactional Memory Algorithms. - Mohsen Lesani; Victor Luchangco; Mark Moir (CONCUR, 2012)

Semantics-preserving sharing actors. - Mohsen Lesani; Antonio Lain (AGERE!@SPLASH, 2013)

MrCrypt: static analysis for secure cloud computations. - Sai Deep Tetali; Mohsen Lesani; Rupak Majumdar; Todd D. Millstein (OOPSLA, 2013)

Proving Non-opacity. - Mohsen Lesani; Jens Palsberg (DISC, 2013)

Automatic Atomicity Verification for Clients of Concurrent Data Structures. - Mohsen Lesani; Todd D. Millstein; Jens Palsberg (CAV, 2014)

Decomposing Opacity. - Mohsen Lesani; Jens Palsberg (DISC, 2014)

On the Correctness of Transactional Memory Algorithms. - Mohsen Lesani (2014)

AtomChase: Directed search towards atomicity violations. - Mahdi Eslamimehr; Mohsen Lesani (ISSRE, 2015)

Declarative fence insertion. - John Bender; Mohsen Lesani; Jens Palsberg (OOPSLA, 2015)

Chapar: certified causally consistent distributed key-value stores. - Mohsen Lesani; Christian J. Bell; Adam Chlipala (POPL, 2016)

Brief Announcement: Fence Insertion for Straight-line Programs is in P. - Mohsen Lesani (PODC, 2017)

Efficient detection and validation of atomicity violations in concurrent programs. - Mahdi Eslamimehr; Mohsen Lesani; George Edwards (J. Syst. Softw., 2018)

Transaction Protocol Verification with Labeled Synchronization Logic. - Mohsen Lesani (NFM, 2019)

Polynomial-Time Fence Insertion for Structured Programs. - Mohammad Taheri; Arash Pourdamghani; Mohsen Lesani (DISC, 2019)

Hamsaz: replication coordination analysis and synthesis. - Farzin Houshmand; Mohsen Lesani (Proc. ACM Program. Lang., 2019)

Hampa: Solver-Aided Recency-Aware Replication. - Xiao Li; Farzin Houshmand; Mohsen Lesani (CAV (1), 2020)

Cross-chain Transactions. - Narges Shadab; Farzin Houshmand; Mohsen Lesani (IEEE ICBC, 2020)

Learning quantitative representation synthesis. - Mayur Patil; Farzin Houshmand; Mohsen Lesani (MAPL@PLDI, 2020)

UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. - Yizhuo Zhai; Yu Hao 006; Hang Zhang 012; Daimeng Wang; Chengyu Song; Zhiyun Qian; Mohsen Lesani; Srikanth V. Krishnamurthy; Paul L. Yu (ESEC/SIGSOFT FSE, 2020)

Temporal Logic of Composable Distributed Components. - Jeremiah Griffin; Mohsen Lesani; Narges Shadab; Xizhe Yin (CoRR, 2020)

GraFS: Graph Analytics Fusion and Synthesis. - Farzin Houshmand; Mohsen Lesani; Keval Vora (CoRR, 2020)

TLC: temporal logic of distributed components. - Jeremiah Griffin; Mohsen Lesani; Narges Shadab; Xizhe Yin (Proc. ACM Program. Lang., 2020)

Brief Announcement: Brokering with Hashed Timelock Contracts is NP-Hard. - Eric Chan; Mohsen Lesani (PODC, 2021)

BioScript: programming safe chemistry on laboratories-on-a-chip. - Jason Ott; Tyson Loveless; Christopher Curtis; Mohsen Lesani; Philip Brisk (Commun. ACM, 2021)

Grafs: declarative graph analytics. - Farzin Houshmand; Mohsen Lesani; Keval Vora (Proc. ACM Program. Lang., 2021)

Hamband: RDMA replicated data types. - Farzin Houshmand; Javad Saberlatibari; Mohsen Lesani (PLDI, 2022)

HAMRAZ: Resilient Partitioning and Replication. - Xiao Li; Farzin Houshmand; Mohsen Lesani (SP, 2022)

C4: verified transactional objects. - Mohsen Lesani; Li-yao Xia; Anders Kaseorg; Christian J. Bell; Adam Chlipala; Benjamin C. Pierce; Steve Zdancewic (Proc. ACM Program. Lang., 2022)

Cross-Chain Swaps with Preferences. - Eric Chan; Marek Chrobak; Mohsen Lesani (CSF, 2023)

Quorum Subsumption for Heterogeneous Quorum Systems. - Xiao Li; Eric Chan; Mohsen Lesani (DISC, 2023)

Open Heterogeneous Quorum Systems. - Xiao Li; Mohsen Lesani (CoRR, 2023)

Desirable Properties of Heterogeneous Quorum Systems. - Xiao Li; Eric Chan; Mohsen Lesani (CoRR, 2023)

Vulnerability Flow Type Systems. - Mohsen Lesani (SP (Workshops), 2024)

Brief Announcement: Reconfigurable Heterogeneous Quorum Systems. - Xiao Li; Mohsen Lesani (DISC, 2024)

AVA: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters. - Tejas Mane; Xiao Li; Mohammad Sadoghi; Mohsen Lesani (CoRR, 2024)

Hamava: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters. - Teias Mane; Xiao Li; Mohammad Sadoghi; Mohsen Lesani (ICDE, 2025)

TensorRight: Automated Verification of Tensor Graph Rewrites. - Jai Arora; Sirui Lu; Devansh Jain 001; Tianfan Xu; Farzin Houshmand; Phitchaya Mangpo Phothilimthana; Mohsen Lesani; Praveen Narayanan; Karthik Srinivasa Murthy; Rastislav Bodík; Amit Sabne; Charith Mendis (Proc. ACM Program. Lang., 2025)

Hambazi: Spatial Coordination Synthesis for Augmented Reality. - Yi-Zhen Tsai; Jiasi Chen; Mohsen Lesani (Proc. ACM Program. Lang., 2025)