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: Lesani:Mohsen
Contributed to:
2015
20142013
20112018
20162019Wrote 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.