| 2025 | ICDE | Hamava: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters. | Teias Mane, Xiao Li, Mohammad Sadoghi, Mohsen Lesani |
| 2024 | SP | Vulnerability Flow Type Systems. | Mohsen Lesani |
| 2022 | PLDI | Hamband: RDMA replicated data types. | Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani |
| 2022 | SP | HAMRAZ: Resilient Partitioning and Replication. | Xiao Li, Farzin Houshmand, Mohsen Lesani |
| 2021 | PODC | Brief Announcement: Brokering with Hashed Timelock Contracts is NP-Hard. | Eric Man Chan, Mohsen Lesani |
| 2020 | CAV | Hampa: Solver-Aided Recency-Aware Replication. | Xiao Li, Farzin Houshmand, Mohsen Lesani |
| 2020 | PLDI | Learning quantitative representation synthesis. | Mayur Patil, Farzin Houshmand, Mohsen Lesani |
| 2017 | PODC | Brief Announcement: Fence Insertion for Straight-line Programs is in P. | Mohsen Lesani |
| 2016 | POPL | Chapar: certified causally consistent distributed key-value stores. | Mohsen Lesani, Christian J. Bell, Adam Chlipala |
| 2015 | ISSRE | AtomChase: Directed search towards atomicity violations. | Mahdi Eslamimehr, Mohsen Lesani |
| 2015 | OOPSLA | Declarative fence insertion. | John Bender, Mohsen Lesani, Jens Palsberg |
| 2014 | CAV | Automatic Atomicity Verification for Clients of Concurrent Data Structures. | Mohsen Lesani, Todd D. Millstein, Jens Palsberg |
| 2013 | OOPSLA | MrCrypt: static analysis for secure cloud computations. | Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein |
| 2012 | CONCUR | A Framework for Formally Verifying Software Transactional Memory Algorithms. | Mohsen Lesani, Victor Luchangco, Mark Moir |
| 2011 | PPoPP | Communicating memory transactions. | Mohsen Lesani, Jens Palsberg |
| 2008 | ICSoft | Aria Language - Towards Agent Orientation Paradigm. | Mohsen Lesani, Niloufar Montazeri |
| 2004 | SMC | Successful cooperation between heterogeneous fuzzy Q-learning agents. | Ali Akhavan Bitaghsir, Amir Moghimi, Mohsen Lesani, Mohammad Mehdi Keramati, Majid Nili Ahmadabadi, Babak Nadjar Araabi |