Christoph Reichenbach
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Alexandru Duraonce
- Emma Söderbergonce
- Görel Hedinonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis | SLE 2024 | 2024-10-20 |
New demand algorithm called the relax stack algorithm combines circular, non‑circular and agnostic attributes and uses a static meta-analysis over the… | ||
| JavaDL: Automatically Incrementalizing Java Bug Pattern Detection | OOPSLA 2021 | 2021-10-17 |
JavaDL is a Datalog-based language that merges fact extraction with analysis so AST nodes are first-class facts and rules use syntactic patterns and semantic… | ||
| A Domain-Specific Language for Filtering in Application-Level Gateways | GPCE 2020 | 2020-11-16 |
A compact declarative DSL implements application-level packet filters, automatically synthesizes a validator and filter, and uses static verification via an… | ||
| TACAI: An Intermediate Representation based on Abstract Interpretation | SOAP 2020 | 2020-06-15 |
An OPAL extension builds an abstract‑interpretation IR called Takai with three configurable domains (L0, L1, L2) and produces SSA‑like code; computing Takai… | ||
| Tool Talk: WALA | SOAP 2020 | 2020-06-15 |
WALA is a cross-language analysis pipeline that converts per-language ASTs into a common CAST -> IR -> SDG and builds call graphs so a single graph engine can… | ||
| International Workshop on the State Of the Art in Program Analysis (SOAP) | SOAP 2020 | 2020-06-15 |
Workshop runs experiments and tools rather than sweeping theory: expect concrete numbers, deployments and what actually worked. Highlights: diff-time… | ||
| nothing matches | ||