BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
3 × USA
Collaborated with:
J.Palsberg T.D.Millstein Farzin Houshmand J.Bender C.J.Bell A.Chlipala S.D.Tetali R.Majumdar Jason Ott Tyson Loveless Christopher Curtis P.Brisk
Talks about:
analysi (2) laboratori (1) distribut (1) chemistri (1) transact (1) synthesi (1) structur (1) communic (1) program (1) coordin (1)

Person: Mohsen Lesani

DBLP DBLP: Lesani:Mohsen

Contributed to:

OOPSLA 20152015
CAV 20142014
OOPSLA 20132013
PPoPP 20112011
OOPSLA 20182018
POPL 20162016
POPL 20192019

Wrote 7 papers:

OOPSLA-2015-BenderLP #declarative
Declarative fence insertion (JB, ML, JP), pp. 367–385.
CAV-2014-LesaniMP #automation #concurrent #data type #verification
Automatic Atomicity Verification for Clients of Concurrent Data Structures (ML, TDM, JP), pp. 550–567.
OOPSLA-2013-TetaliLMM #named #static analysis
MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.
PPoPP-2011-LesaniP #communication #memory management #transaction
Communicating memory transactions (ML, JP), pp. 157–168.
OOPSLA-2018-OttLCLB #named #programming
BioScript: programming safe chemistry on laboratories-on-a-chip (JO, TL, CC, ML, PB), p. 31.
POPL-2016-LesaniBC #consistency #distributed #named
Chapar: certified causally consistent distributed key-value stores (ML, CJB, AC), pp. 357–370.
POPL-2019-HoushmandL #analysis #coordination #named #replication #synthesis
Hamsaz: replication coordination analysis and synthesis (FH, ML), p. 32.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.