CfPBoK
by
Vadim Zaytsev
João Saraiva
SLE 2008
🔍
SLE 2009
🔍
SLE 2011
💺
SLE 2012
🔍
SLE 2013
🔍
SLE 2014
🔍
SLE 2016
⭐
SLE 2017
⭐
SLE 2021
🔍
SLE 2023
⭐
💺
SLE 2024
⭐
🔍
SLE 2024 SI
⭐
SLE 2025
⭐
SLE 2026
⭐
⭐
🔍
Summary
8
papers in
7
bundles
Top 3 popular topics:
T5F: Performance
(
3
times)
T3B: Transformation Languages
(
2
times)
T5E: Empirical Evaluation
(
2
times)
Top 3 coauthors:
José Nuno Macedo
(
4
times)
Francisco Ribeiro
(
2
times)
João Paulo Fernandes
(
2
times)
Made
18
contributions (see below)
List of contributions
(
SLE 2008
)
Served on
PC
(
SLE 2009
)
Served on
PC
(
SLE 2011
)
Served as a
General Chair
(
SLE 2012
)
Served on
PC
(
SLE 2013
)
Served on
PC
(
SLE 2014
)
Served on
PC
(
SLE 2016
)
Coauthored
Parsing and Reflective Printing, Bidirectionally
(
Zirun Zhu
,
Yongzhe Zhang
,
Hsiang-Shang Ko
,
Pedro Martins
,
João Saraiva
,
Zhenjiang Hu
)
(
SLE 2017
)
Coauthored
Energy Efficiency across Programming Languages
(
Rui Pereira
,
Marco Couto
,
Francisco Ribeiro
,
Rui Rua
,
Jácome Cunha
,
João Paulo Fernandes
,
João Saraiva
)
(
SLE 2021
)
Served on
PC
(
SLE 2023
)
Coauthored
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
(
Francisco Ribeiro
,
José Nuno Macedo
,
Kanae Tsushima
,
Rui Abreu
,
João Saraiva
)
(
SLE 2023
)
Served as a
General Chair
(
SLE 2024
)
Coauthored
Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
(
Simão Cunha
,
Luís Silva
,
João Saraiva
,
João Paulo Fernandes
)
(
SLE 2024
)
Served on
PC
(
SLE 2024 SI
)
Coauthored
Zipper-based embedding of strategic attribute grammars
(
José Nuno Macedo
,
Emanuel Rodrigues
,
Marcos Viera
,
João Saraiva
)
(
SLE 2025
)
Coauthored
Property-based Testing of Attribute Grammars
(
José Nuno Macedo
,
Marcos Viera
,
João Saraiva
)
(
SLE 2026
)
Coauthored
Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency
(
Luís Maia
,
Simão Cunha
,
João Saraiva
)
(
SLE 2026
)
Coauthored
Ztrategic: Libraries and Tools for Software Language Specification, Transformation, and Testing
(
Emanuel Rodrigues
,
José Nuno Macedo
,
João Saraiva
)
(
SLE 2026
)
Served on
PC
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
