Florian Frohn
where else to find them
what they talk about
where they keep going back
- SAS2 editions2020–2023
on a stage with
- Jürgen Giesl2×
- Marcel Harkonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses | SAS 2023 | 2023-10-22 |
ADCL presents a calculus that learns n-parameterized accelerated clauses (transitive closures of recursive CHCs) and implements it in the tool LoAT, using four… | ||
| Termination of Polynomial Loops | SAS 2020 | 2020-11-18 |
Decides termination for a concrete class: triangular weakly non-linear loops admit computable poly-exponential closed forms for variable values, substitution… | ||
| nothing matches | ||