Mohsen Lesani
Mohsen Lesani
E-mail confirmado em cs.ucr.edu - Página inicial
TítuloCitado porAno
MrCrypt: static analysis for secure cloud computations
SD Tetali, M Lesani, R Majumdar, T Millstein
ACM Sigplan Notices 48 (10), 271-286, 2013
692013
Chapar: certified causally consistent distributed key-value stores
M Lesani, CJ Bell, A Chlipala
ACM SIGPLAN Notices 51 (1), 357-370, 2016
562016
Fuzzy trust aggregation and personalized trust inference in virtual social networks
M Lesani, N Montazeri
Computational Intelligence 25 (2), 51-83, 2009
542009
Communicating memory transactions
M Lesani, J Palsberg
ACM SIGPLAN Notices 46 (8), 157-168, 2011
352011
Applying and inferring fuzzy trust in semantic web social networks
M Lesani, S Bagheri
Canadian Semantic Web, 23-43, 2006
312006
A framework for formally verifying software transactional memory algorithms
M Lesani, V Luchangco, M Moir
International Conference on Concurrency Theory, 516-530, 2012
242012
Fuzzy trust inference in trust graphs and its application in semantic web social networks
M Lesani, S Bagheri
2006 World Automation Congress, 1-6, 2006
222006
Decomposing opacity
M Lesani, J Palsberg
International Symposium on Distributed Computing, 391-405, 2014
172014
Putting opacity in its place
M Lesani, V Luchangco, M Moir
Workshop on the theory of transactional memory, 137-151, 2012
132012
Semantics-preserving sharing actors
M Lesani, A Lain
Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013
112013
Declarative fence insertion
J Bender, M Lesani, J Palsberg
ACM SIGPLAN Notices 50 (10), 367-385, 2015
102015
On the correctness of transactional memory algorithms
M Lesani
UCLA, 2014
92014
Proving non-opacity
M Lesani, J Palsberg
International Symposium on Distributed Computing, 106-120, 2013
62013
BioScript: programming safe chemistry on laboratories-on-a-chip
J Ott, T Loveless, C Curtis, M Lesani, P Brisk
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 128, 2018
42018
Automatic atomicity verification for clients of concurrent data structures
M Lesani, T Millstein, J Palsberg
International Conference on Computer Aided Verification, 550-567, 2014
42014
Concurrent Programming Paradigms, A Comparison in Scala
M Lesani, M Odersky, R Guerraoui
42009
Hamsaz: replication coordination analysis and synthesis
F Houshmand, M Lesani
Proceedings of the ACM on Programming Languages 3 (POPL), 74, 2019
32019
Specifying transactional memories with nontransactional operations
M Lesani, V Luchangco, M Moir
Workshop on the Theory of Transactional Memory (WTTM), 2013
32013
Successful cooperation between heterogeneous fuzzy Q-learning agents
AA Bitaghsir, A Moghimi, M Lesani, MM Keramati, MN Ahmadabadi, ...
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 2004
32004
Efficient detection and validation of atomicity violations in concurrent programs
M Eslamimehr, M Lesani, G Edwards
Journal of Systems and Software 137, 618-635, 2018
22018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20