Michael Schröder
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 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Static Inference of Regular Grammars for Ad Hoc Parsers | OOPSLA 2025 | 2025-10-16 |
Automatic system PANINI uses a lambda-Σ IR, refinement-type inference and a novel abstract-interpretation quantifier-elimination to turn string verification… | ||
| Grammar Inference for Ad Hoc Parsers | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
A system translates ad hoc string code (split/map/trim pipelines) into a small lambda IR, runs refinement-type inference to produce verification templates, and… | ||
| Toward Grammar Inference via Refinement Types (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Prototype system converts Python ad hoc parsers into a small lambda IR called Panini IR and infers precise refinement types, then solves unknowns using a… | ||
| nothing matches | ||