☰

Mohsen Lesani, Ph.D. - Publications

Affiliations: 
2014 Computer Science 0201 University of California, Los Angeles, Los Angeles, CA 
Area:
compilers; embedded systems; programming languages; software engineering; information security
Tree Info Similar researchers PubMed Report error

8 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2017 Eslamimehr M, Lesani M, Edwards G. Efficient detection and validation of atomicity violations in concurrent programs Journal of Systems and Software. 137: 618-635. DOI: 10.1016/J.Jss.2017.06.001  0.644
2016 Eslamimehr M, Lesani M. AtomChase: Directed search towards atomicity violations 2015 Ieee 26th International Symposium On Software Reliability Engineering, Issre 2015. 12-23. DOI: 10.1109/ISSRE.2015.7381795  0.433
2015 Bender J, Lesani M, Palsberg J. Declarative fence insertion Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 367-385. DOI: 10.1145/2814270.2814318  0.572
2014 Lesani M, Millstein T, Palsberg J. 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. DOI: 10.1007/978-3-319-08867-9_37  0.633
2014 Lesani M, Palsberg J. Decomposing opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8784: 391-405.  0.551
2013 Lesani M, Palsberg J. Proving non-opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8205: 106-120. DOI: 10.1007/978-3-642-41527-2_8  0.558
2012 Lesani M, Luchangco V, Moir M. 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. DOI: 10.1007/978-3-642-32940-1_36  0.353
2011 Lesani M, Palsberg J. Communicating memory transactions Acm Sigplan Notices. 46: 157-167. DOI: 10.1145/2038037.1941577  0.57
Show low-probability matches.