João Saraiva
where else to find them
no profile links on file
what they talk about
where they keep going back
- SLE2 editions2023–2024
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Trading Runtime for Energy Efficiency | SLE 2024 | 2024-10-20 |
Empirical study runs 9 CLBG benchmarks across 20 programming languages, compiling 108 solutions and measuring with Intel energy counters and power‑capping… | ||
| GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models... | SLE 2023 | 2023-10-23 |
Uses GPT-3 to generate OCaml repairs by building rich prompts from source-code analysis (candidate locations via a magic function, inlining, and type… | ||
| Efficient Embedding of Strategic Attribute Grammars via Memoization | PEPM 2023 | 2023-01-16 |
Memoizing attribute values inside the zipper eliminates repeated recomputation and yields a practical embedding of attribute grammars combined with strategic… | ||
| nothing matches | ||