Anders Møller
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
all 7 in the filters
who talks about the same things
- Julien Lange5 talks
- Benjamin Barslev Nielsen3 talks
- Andreas Pavlogiannis18 talks
- Georgian-Vlad Saioc2 talks
- Benno Stein3 talks
- Michael Sammler16 talks
| title | conference | date |
|---|---|---|
| Automated Verification of Parametric Channel-Based Process Communication | OOPSLA 2024 | 2024-10-20 |
A toolchain named Ginger translates Go fragments into a compact core language Virgo, encodes them as Hoare triples and checks partial-deadlock freedom using… | ||
| Reducing Static Analysis Unsoundness with Approximate Interpretation | PLDI 2024 | 2024-06-24 |
Introduces approximate interpretation, a dynamic phase that force-executes each function once to emit determinacy hints and feeds them into an extended… | ||
| Detecting Locations in JavaScript Programs Affected by Breaking Library Changes | OOPSLA 2020 | 2020-11-15 |
This OOPSLA 2020 talk presents the tool TAPIR that can help JavaScript developers when their application dependencies have breaking changes.
Detecting… | ||
| Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization | OOPSLA 2020 | 2020-11-15 |
Streamliner is an ahead-of-time optimizer that inlines Java Stream pipelines by using a precise must-points-to pointer analysis, aggressive inlining, stack… | ||
| nothing matches | ||