Mohsen Lesani, Ph.D.

Affiliations: 
2014 Computer Science 0201 University of California, Los Angeles, Los Angeles, CA 
Area:
compilers; embedded systems; programming languages; software engineering; information security
Google:
"Mohsen Lesani"

Parents

Sign in to add mentor
Jens Palsberg grad student 2014 UCLA
 (On the Correctness of Transactional Memory Algorithms.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Lesani M, Bell CJ, Chlipala A. (2016) Chapar: Certified causally consistent distributed key-value stores Acm Sigplan Notices. 51: 357-370
Eslamimehr M, Lesani M. (2016) AtomChase: Directed search towards atomicity violations 2015 Ieee 26th International Symposium On Software Reliability Engineering, Issre 2015. 12-23
Bender J, Lesani M, Palsberg J. (2015) Declarative fence insertion Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 367-385
Lesani M, Millstein T, Palsberg J. (2014) Automatic atomicity verification for clients of concurrent data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 550-567
Lesani M, Palsberg J. (2014) Decomposing opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8784: 391-405
Lesani M, Lain A. (2013) Semantics-preserving sharing actors Agere! 2013 - Proceedings of the 2013 Acm Workshop On Programming Based On Actors, Agents, and Decentralized Control. 69-79
Tetali SD, Lesani M, Majumdar R, et al. (2013) MrCrypt: Static analysis for secure cloud computations Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 271-286
Lesani M, Palsberg J. (2013) Proving non-opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8205: 106-120
Lesani M, Luchangco V, Moir M. (2012) A framework for formally verifying software transactional memory algorithms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7454: 516-530
Lesani M, Palsberg J. (2011) Communicating memory transactions Acm Sigplan Notices. 46: 157-167
See more...