Contact Info

 


Mohsen Lesani
Postdoctoral Researcher

Massachusetts Institute of Technology
Computer Science & Artificial Intelligence Laboratory
Programming Languages & Verification Group
Office: Stata Center, Room 32-G804

Email: LastName AT mit.edu

I am excited to join University of California, Riverside (UCR) as an assistant professor soon.

Postdoc at MIT with Adam Chlipala
Ph.D. at UCLA with Jens Palsberg

   

 

 Research Interests

  I am interested in the design, implementation, testing and verification of safety and security of concurrent and distributed systems. I like to work at the intersection of concurrency, algorithms and logic.

 

 Projects


Chapar: Certified Distributed Data Stores
C4: Certified Composable Concurrency in Coq


 Publications


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]


The rest of papers