Benno Stein
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 1 in the filters
on a stage with
- Bor-Yuh Evan Changonce
- Manu Sridharanonce
who talks about the same things
- Bor-Yuh Evan Chang11 talks
- Benjamin Barslev Nielsen3 talks
- Anders Møller6 talks
- Manu Sridharan6 talks
- Sebastian Erdweg13 talks
- Ben Greenman9 talks
| title | conference | date |
|---|---|---|
| Interactive Abstract Interpretation with Demanded Summarization | PLDI 2024 | 2024-06-24 |
Presents demanded summarization, an algorithm and engine that makes summary‑based abstract interpretation incremental and compositional while supporting… | ||
| nothing matches | ||