Mohsen Lesani
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA3 editions2018–2025
on a stage with
- Adam Chlipalaonce
- Amit Sabneonce
- Anders Kaseorgonce
all 22 in the filters
who talks about the same things
- Narges Shadab2 talks
- Armando Solar-Lezama18 talks
- Nadia Polikarpova24 talks
- Amal Ahmed25 talks
- Işıl Dillig21 talks
- Lindsey Kuper15 talks
| title | conference | date |
|---|---|---|
| Hambazi: Spatial Coordination Synthesis for Augmented Reality | OOPSLA 2025 | 2025-10-16 |
HAMBAZI implements well-organized replicated data types for multi-user AR using an escrow-style credit scheme plus a replication protocol and an SMT solver… | ||
| TensorRight: Automated Verification of Tensor Graph Rewrites | POPL 2025 | 2025-01-19 |
TensorRight presents an automated verifier that proves tensor-graph rewrites correct for tensors of arbitrary rank and size by encoding rules in a new core… | ||
| C4: verified transactional objects | OOPSLA 2022 | 2022-12-05 |
C4 claims a mechanized, compositional way to prove both linearizability and strict serializability and to stitch those proofs together for mixed… | ||
| TLC: Temporal Logic of Distributed Components | ICFP 2020 | 2020-08-23 |
TLC is a temporal program logic that verifies both safety and liveness of layered distributed components and proves soundness against an operational semantics… | ||
| BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip | OOPSLA 2018 | 2018-11-07 |
A domain-specific language, BioScript targets digital microfluidic biochips and pairs a BioScript type system (models EPA’s 68 reactivity groups as union types… | ||
| nothing matches | ||