Lutz Strassburger
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Danko Ilikonce
- Wendlasida Ouedraogoonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Demo Paper : Coqlex, an approach to generate verified lexers | ML 2021 | 2021-08-26 |
Coqlex generates lexers in Coq from a list of regular expressions plus actions, proves correctness of the regex engine, match/score computation and lexer… | ||
| nothing matches | ||