Mahsa Shirmohammadi
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2026
on a stage with
all 6 in the filters
who talks about the same things
- James Worrell6 talks
- Anton Varonka2 talks
- Sharon Shoham13 talks
- Ohad Kammar19 talks
- Michael Carbin14 talks
- Prakash Saivasan3 talks
| title | conference | date |
|---|---|---|
| Determination Problems for Orbit Closures and Matrix Groups | POPL 2026 | 2026-01-11 |
Gives a concrete algorithm: a polynomial-space procedure that decides, given an algebraic variety and a number s, whether the variety equals the orbit closure… | ||
| On Learning Polynomial Recursive Programs | POPL 2024 | 2024-01-14 |
Introduces P-finite automata, a generalisation of weighted automata whose transition weights are polynomials in the input position and which over a unary… | ||
| nothing matches | ||