CfPBoK
by
Vadim Zaytsev
Jeff Smits
SLE 2017
⭐
SLE 2017 SI
⭐
SLE 2020
⭐
SLE 2022
⭐
SLE 2025
🔍
🦽
Summary
4
papers in
4
bundles
Top 3 popular topics:
T1B: Static Semantics
(
4
times)
T4A: Workbenches
(
3
times)
T3C: DSLs
(
2
times)
Top 3 coauthors:
Eelco Visser
(
3
times)
Guido Wachsmuth
(
1
times)
Toine Hartman
(
1
times)
Made
6
contributions (see below)
List of contributions
(
SLE 2017
)
Coauthored
FlowSpec: Declarative Dataflow Analysis Specification
(
Jeff Smits
,
Eelco Visser
)
(
SLE 2017 SI
)
Coauthored
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
(
Jeff Smits
,
Guido Wachsmuth
,
Eelco Visser
)
(
SLE 2020
)
Coauthored
Gradually Typing Strategies
(
Jeff Smits
,
Eelco Visser
)
(
SLE 2022
)
Coauthored
Optimising First-Class Pattern Matching
(
Jeff Smits
,
Toine Hartman
,
Jesper Cockx
)
(
SLE 2025
)
Served as an
Artefact Evaluation Chair
(
SLE 2025
)
Served on
PC
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: July 2026.
