Milos Gligoric
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2021
on a stage with
- Aleksandar Miliceviconce
- Chris Rossbachonce
- Kush Jainonce
all 8 in the filters
who talks about the same things
- Loris D'Antoni17 talks
- Benjamin Delaware18 talks
- Todd Millstein11 talks
- Zhe Zhou13 talks
- Suresh Jagannathan16 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Programming and Execution Models for Parallel Bounded Exhaustive Testing | OOPSLA 2021 | 2021-10-17 |
Tempo presents a concrete system for parallel bounded-exhaustive testing: a small API (explore, choice, ignore), OpenMP CPU and CUDA GPU backends, and three… | ||
| Unifying Execution of Imperative Generators and Declarative Specifications | OOPSLA 2020 | 2020-11-15 |
Deuterium implements executable contracts as Java code combining an imperative generator that builds the solution backbone and a declarative spec in 2H that… | ||
| nothing matches | ||