Mohsen Lesani

47 papers A* 7A 9B 2Journal 18Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
SafarDB: FPGA-Accelerated Distributed Transactions via Replicated Data Types.
CoRR
Javad Saberlatibari, Prithviraj Yuvaraj, Mohsen Lesani, Philip Brisk, Mohammad Sadoghi
2025 A* conf
Hamava: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters.
ICDE
Teias Mane, Xiao Li, Mohammad Sadoghi, Mohsen Lesani
2025 J jnl
Hambazi: Spatial Coordination Synthesis for Augmented Reality.
Proc. ACM Program. Lang.
Yi-Zhen Tsai, Jiasi Chen, Mohsen Lesani
2025 J jnl
TensorRight: Automated Verification of Tensor Graph Rewrites.
CoRR
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodík, Amit Sabne, Charith Mendis
2025 J jnl
TensorRight: Automated Verification of Tensor Graph Rewrites.
Proc. ACM Program. Lang.
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodík, Amit Sabne, Charith Mendis
2024 J jnl
AVA: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters.
CoRR
Tejas Mane, Xiao Li, Mohammad Sadoghi, Mohsen Lesani
2024 A conf
Brief Announcement: Reconfigurable Heterogeneous Quorum Systems.
DISC
Xiao Li, Mohsen Lesani
2024 — conf
Vulnerability Flow Type Systems.
SP (Workshops)
Mohsen Lesani
2023 A conf
Cross-Chain Swaps with Preferences.
CSF
Eric Chan, Marek Chrobak, Mohsen Lesani
2023 J jnl
Desirable Properties of Heterogeneous Quorum Systems.
CoRR
Xiao Li, Eric Chan, Mohsen Lesani
2023 J jnl
Open Heterogeneous Quorum Systems.
CoRR
Xiao Li, Mohsen Lesani
2023 A conf
Quorum Subsumption for Heterogeneous Quorum Systems.
DISC
Xiao Li, Eric Chan, Mohsen Lesani
2022 J jnl
C4: verified transactional objects.
Proc. ACM Program. Lang.
Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
2022 J jnl
Cross-chain Swaps with Preferences.
CoRR
Eric Chan, Marek Chrobak, Mohsen Lesani
2022 A* conf
HAMRAZ: Resilient Partitioning and Replication.
SP
Xiao Li, Farzin Houshmand, Mohsen Lesani
2022 A* conf
Hamband: RDMA replicated data types.
PLDI
Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani
2021 J jnl
BioScript: programming safe chemistry on laboratories-on-a-chip.
Commun. ACM
Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk
2021 A* conf
Brief Announcement: Brokering with Hashed Timelock Contracts is NP-Hard.
PODC
Eric Chan, Mohsen Lesani
2021 J jnl
Grafs: declarative graph analytics.
Proc. ACM Program. Lang.
Farzin Houshmand, Mohsen Lesani, Keval Vora
2020 — conf
Cross-chain Transactions.
IEEE ICBC
Narges Shadab, Farzin Houshmand, Mohsen Lesani
2020 J jnl
GraFS: Graph Analytics Fusion and Synthesis.
CoRR
Farzin Houshmand, Mohsen Lesani, Keval Vora
2020 — conf
Hampa: Solver-Aided Recency-Aware Replication.
CAV (1)
Xiao Li, Farzin Houshmand, Mohsen Lesani
2020 — conf
Learning quantitative representation synthesis.
MAPL@PLDI
Mayur Patil, Farzin Houshmand, Mohsen Lesani
2020 J jnl
TLC: temporal logic of distributed components.
Proc. ACM Program. Lang.
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
2020 J jnl
Temporal Logic of Composable Distributed Components.
CoRR
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
2020 — conf
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.
ESEC/SIGSOFT FSE
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul L. Yu
2019 J jnl
Hamsaz: replication coordination analysis and synthesis.
Proc. ACM Program. Lang.
Farzin Houshmand, Mohsen Lesani
2019 A conf
Polynomial-Time Fence Insertion for Structured Programs.
DISC
Mohammad Taheri, Arash Pourdamghani, Mohsen Lesani
2019 — conf
Transaction Protocol Verification with Labeled Synchronization Logic.
NFM
Mohsen Lesani
2018 J jnl
BioScript: programming safe chemistry on laboratories-on-a-chip.
Proc. ACM Program. Lang.
Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk
2018 J jnl
Efficient detection and validation of atomicity violations in concurrent programs.
J. Syst. Softw.
Mahdi Eslamimehr, Mohsen Lesani, George Edwards
2017 A* conf
Brief Announcement: Fence Insertion for Straight-line Programs is in P.
PODC
Mohsen Lesani
2016 A* conf
Chapar: certified causally consistent distributed key-value stores.
POPL
Mohsen Lesani, Christian J. Bell, Adam Chlipala
2015 A conf
AtomChase: Directed search towards atomicity violations.
ISSRE
Mahdi Eslamimehr, Mohsen Lesani
2015 A conf
Declarative fence insertion.
OOPSLA
John Bender, Mohsen Lesani, Jens Palsberg
2014 A* conf
Automatic Atomicity Verification for Clients of Concurrent Data Structures.
CAV
Mohsen Lesani, Todd D. Millstein, Jens Palsberg
2014 A conf
Decomposing Opacity.
DISC
Mohsen Lesani, Jens Palsberg
2014 — —
On the Correctness of Transactional Memory Algorithms.
Mohsen Lesani
2013 A conf
MrCrypt: static analysis for secure cloud computations.
OOPSLA
Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein
2013 A conf
Proving Non-opacity.
DISC
Mohsen Lesani, Jens Palsberg
2013 — conf
Semantics-preserving sharing actors.
AGERE!@SPLASH
Mohsen Lesani, Antonio Lain
2012 B conf
A Framework for Formally Verifying Software Transactional Memory Algorithms.
CONCUR
Mohsen Lesani, Victor Luchangco, Mark Moir
2011 B conf
Communicating memory transactions.
PPoPP
Mohsen Lesani, Jens Palsberg
2009 J jnl
Fuzzy Trust Aggregation and Personalized Trust Inference in Virtual Social Networks.
Comput. Intell.
Mohsen Lesani, Niloufar Montazeri
2008 — conf
Aria Language - Towards Agent Orientation Paradigm.
ICSOFT (PL/DPS/KE)
Mohsen Lesani, Niloufar Montazeri
2006 — conf
Applying and Inferring Fuzzy Trust in Semantic Web Social Networks.
CSWWS
Mohsen Lesani, Saeed Bagheri
2004 — conf
Successful cooperation between heterogeneous fuzzy Q-learning agents.
SMC (6)
Ali Akhavan Bitaghsir, Amir Moghimi, Mohsen Lesani, Mohammad Mehdi Keramati, Majid Nili Ahmadabadi, Babak Nadjar Araabi