Andreas Podelski
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2024
on a stage with
all 9 in the filters
who talks about the same things
- Dominik Klumpp5 talks
- Azadeh Farzan11 talks
- Andreas Pavlogiannis18 talks
- Sharon Shoham13 talks
- Krishnendu Chatterjee11 talks
- Michael Sammler16 talks
| title | conference | date |
|---|---|---|
| Closing Remarks | PLDI 2024 Workshop Honoring Andreas Podelski | 2024-06-25 |
Proposes combining partial order reduction with parameterized verification by using cesan abstraction to summarize unmodeled threads, and studies whether to… | ||
| Short talks: Past, Present and Future of AI | N40AI 2024 | 2024-01-20 |
A rapid history of abstract interpretation that traces concrete claims and engineering outcomes: presents the formal method used to analyze Airbus C code with… | ||
| Commutativity Simplifies Proofs of Parameterized Programs | POPL 2024 | 2024-01-14 |
Extends commutativity-based reductions to parameterized programs and encodes each reduction by transforming the thread template into another parameterized… | ||
| Stratified Commutativity in Verification Algorithms for Concurrent Programs | POPL 2023 | 2023-01-15 |
Defines a formal framework for abstract commutativity relations with a simple soundness condition and an automatic method to derive such relations from a… | ||
| nothing matches | ||