Mohsen Ghaffari
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| An Introduction to Distributed, Massively Parallel, and Local Computation Algorithms | Sublinear Algorithms Boot Camp 2024 | 2024-05-21 |
Introduces three concrete models and concrete translations: synchronous message‑passing measures rounds, giving Johansson’s randomized coloring that finishes… | ||
| Formal Specification and Testing for Reinforcement Learning | ICFP 2023 | 2023-09-04 |
Defines a declarative DSL called BDL domain-specific language that encodes TD backup diagrams, gives a denotational semantics, and generates executable specs… | ||
| nothing matches | ||