Fatemeh Mohammadi
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
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Beyond Affine Loops: A Geometric Approach to Program Synthesis | SOAP 2025 | 2025-06-16 |
Claims it reduces loop synthesis to solving finite polynomial systems by computing a finite set of polynomial equations whose solutions enumerate all… | ||
| Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Program... | OOPSLA 2023 | 2023-10-23 |
Algorithm reduces template-based synthesis of polynomial imperative programs to Quadratic Programming by applying Farkas, Handelman, Putinar (SOS) and the Real… | ||
| nothing matches | ||