Dragana Milovančević
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
- Viktor Kuncakonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Proving and Disproving Equivalence of Functional Programming Assignments | PLDI 2023 | 2023-06-17 |
A tool implemented on top of the Stainless verifier automatically proves or disproves student Scala submissions by generating inductive equivalence proofs or… | ||
| Autograder for Functional Programming and Beyond | ScalaCon 2022 | 2022-10-04 |
Automated grader proves functional students correct by checking program equivalence against teacher references using the Stainless verification system and SMT… | ||
| nothing matches | ||