|
Contact
Info |
||||
|
|
||||
|
Research Interests |
||||
| I
am interested in the design, implementation, testing and
verification
of safety and liveness of concurrent and distributed systems. I like to
work at the intersection of concurrency, algorithms and logic. |
||||
| Chapar: Certified Distributed Data Stores C4: Certified Composable Concurrency in Coq |
||||
| Chapar:
Certified Causally Consistent Distributed Key-Value Stores Mohsen Lesani, Christian J. Bell, Adam Chlipala POPL'16 (ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages) [Paper] More Declarative Fence Insertion John Bender, Mohsen Lesani, Jens Palsberg OOPSLA'15 (ACM SIGPLAN Object-oriented Programming, Systems, Languages, and Applications) [Paper] More AtomChase: Directed Search towards Atomicity Violations Mahdi Eslamimehr, Mohsen Lesani ISSRE'15 (IEEE International Symposium on Software Reliability Engineering) Best paper award More Decomposing Opacity Mohsen Lesani, Jens Palsberg DISC'14 (International Symposium on DIStributed Computing), WTTM'13 [Paper] More Automatic Atomicity Verification for Clients of Concurrent Data Structures Mohsen Lesani, Todd Millstein, Jens Palsberg CAV'14 (International Conference on Computer Aided Verification) [Paper] More On the Correctness of Transactional Memory Algorithms Mohsen Lesani PhD Dissertation [Dissertation] More MrCrypt: Static Analysis for Secure Cloud Computations Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd Millstein OOPSLA'13 (ACM SIGPLAN Object-oriented Programming, Systems, Languages, and Applications) [Paper] More Proving Non-opacity Mohsen Lesani, Jens Palsberg DISC'13 (International Symposium on DIStributed Computing), Transact'13 [Paper] More A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani, Victor Luchangco, Mark Moir CONCUR'12 (International Conference on Concurrency Theory) [Paper] More Communicating Memory Transactions Mohsen Lesani, Jens Palsberg PPoPP'11 (ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming) [Paper] Semantics-preserving Sharing Actors AGERE'13 (ACM Workshop on Programming based on Actors, Agents, and Decentralized Control) Mohsen Lesani, Antonio Lain [Paper] More Specifying Transactional Memories with Nontransactional Operations WTTM'13 (Workshop on the Theory of Transactional Memory) Mohsen Lesani, Victor Luchangco, Mark Moir [Paper] Putting Opacity in its Place Mohsen Lesani, Victor Luchangco, Mark Moir WTTM'12 (Workshop on the Theory of Transactional Memory) [Paper] Fuzzy Trust Aggregation And Personalized Trust Inference In Virtual Social Networks Mohsen Lesani, Niloufar Montazeri Journal of Computational Intelligence 25/2, 2009 [Paper] Aria Language, Towards Agent Orientation Paradigm Mohsen Lesani, Niloufar Montazeri ICSOFT'08 (International Joint conference on Software Technologies) [Paper] Successful Cooperation between Heterogeneous Fuzzy Q-Learning Agents Ali Akhavan Bitaghsir, Amir Moghimi, Mohsen Lesani, Mohammad Mehdi Keramati, Majid Nili Ahmadabadi, Babak Nadjar Arabi SMC'04 (IEEE International Conference on Systems, Man, and Cybernetics) [Paper]
|
||||
