Mohsen Lesani

According to our database, Mohsen Lesani authored at least 39 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Brief Announcement: Reconfigurable Heterogeneous Quorum Systems.

Xiao Li, Mohsen Lesani

Proceedings of the 38th International Symposium on Distributed Computing, 2024

Vulnerability Flow Type Systems.

Mohsen Lesani

Proceedings of the IEEE Security and Privacy, 2024

2023

Desirable Properties of Heterogeneous Quorum Systems.

Xiao Li, Eric Chan, Mohsen Lesani

CoRR, 2023

Open Heterogeneous Quorum Systems.

Xiao Li, Mohsen Lesani

CoRR, 2023

Quorum Subsumption for Heterogeneous Quorum Systems.

Xiao Li, Eric Chan, Mohsen Lesani

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Cross-Chain Swaps with Preferences.

Eric Chan, Marek Chrobak, Mohsen Lesani

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

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

HAMRAZ: Resilient Partitioning and Replication.

Xiao Li, Farzin Houshmand, Mohsen Lesani

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Hamband: RDMA replicated data types.

Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Grafs: declarative graph analytics.

Farzin Houshmand, Mohsen Lesani, Keval Vora

Proc. ACM Program. Lang., 2021

BioScript: programming safe chemistry on laboratories-on-a-chip.

Jason Ott, Tyson Loveless, Christopher Curtis, Mohsen Lesani, Philip Brisk

Commun. ACM, 2021

Brief Announcement: Brokering with Hashed Timelock Contracts is NP-Hard.

Eric Chan, Mohsen Lesani

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

TLC: temporal logic of distributed components.

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin

Proc. ACM Program. Lang., 2020

GraFS: Graph Analytics Fusion and Synthesis.

Farzin Houshmand, Mohsen Lesani, Keval Vora

CoRR, 2020

Temporal Logic of Composable Distributed Components.

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin

CoRR, 2020

UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.

Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul L. Yu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Learning quantitative representation synthesis.

Mayur Patil, Farzin Houshmand, Mohsen Lesani

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

Cross-chain Transactions.

Narges Shadab, Farzin Houshmand, Mohsen Lesani

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Hampa: Solver-Aided Recency-Aware Replication.

Xiao Li, Farzin Houshmand, Mohsen Lesani

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Hamsaz: replication coordination analysis and synthesis.

Farzin Houshmand, Mohsen Lesani

Proc. ACM Program. Lang., 2019

Polynomial-Time Fence Insertion for Structured Programs.

Mohammad Taheri, Arash Pourdamghani, Mohsen Lesani

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Transaction Protocol Verification with Labeled Synchronization Logic.

Mohsen Lesani

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Efficient detection and validation of atomicity violations in concurrent programs.

Mahdi Eslamimehr, Mohsen Lesani, George Edwards

J. Syst. Softw., 2018

2017

Brief Announcement: Fence Insertion for Straight-line Programs is in P.

Mohsen Lesani

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

2016

Chapar: certified causally consistent distributed key-value stores.

Mohsen Lesani, Christian J. Bell, Adam Chlipala

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Declarative fence insertion.

John Bender, Mohsen Lesani, Jens Palsberg

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

AtomChase: Directed search towards atomicity violations.

Mahdi Eslamimehr, Mohsen Lesani

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

On the Correctness of Transactional Memory Algorithms.

Mohsen Lesani

PhD thesis, 2014

Decomposing Opacity.

Mohsen Lesani, Jens Palsberg

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Automatic Atomicity Verification for Clients of Concurrent Data Structures.

Mohsen Lesani, Todd D. Millstein, Jens Palsberg

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Proving Non-opacity.

Mohsen Lesani, Jens Palsberg

Proceedings of the Distributed Computing - 27th International Symposium, 2013

MrCrypt: static analysis for secure cloud computations.

Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Semantics-preserving sharing actors.

Mohsen Lesani, Antonio Lain

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

A Framework for Formally Verifying Software Transactional Memory Algorithms.

Mohsen Lesani, Victor Luchangco, Mark Moir

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Communicating memory transactions.

Mohsen Lesani, Jens Palsberg

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2009

Fuzzy Trust Aggregation and Personalized Trust Inference in Virtual Social Networks.

Mohsen Lesani, Niloufar Montazeri

Comput. Intell., 2009

2008

Aria Language - Towards Agent Orientation Paradigm.

Mohsen Lesani, Niloufar Montazeri

Proceedings of the ICSOFT 2008, 2008

2006

Applying and Inferring Fuzzy Trust in Semantic Web Social Networks.

Mohsen Lesani, Saeed Bagheri

Proceedings of the Canadian Semantic Web, 2006

2004

Successful cooperation between heterogeneous fuzzy Q-learning agents.

Ali Akhavan Bitaghsir, Amir Moghimi, Mohsen Lesani, Mohammad Mehdi Keramati, Majid Nili Ahmadabadi, Babak Nadjar Araabi

Proceedings of the IEEE International Conference on Systems, 2004