Adriana Laura Voinea
where else to find them
no profile links on file
what they talk about
where they keep going back
- Erlang2 editions2025–2026
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Welcome | Erlang 2026 | 2026-08-24 |
Welcome message outlines the workshop logistics and outcomes: 11 submissions were received, program and steering committees get thanked, sponsors helped bring… | ||
| Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and(…) | PROPL 2025 | 2025-10-13 |
Prototype language embeds AST holes with prompt-boundaries so an LLM only edits a specific subtree, enforced by an interpreter that limits generation and makes… | ||
| Closing Remarks | Erlang 2025 | 2025-10-12 |
Brief closing that thanks authors presenters and attendees and acknowledges the ICFP organizers while naming sponsors Airline Ecosystem Foundation Ericson Dash… | ||
| Welcome to Erlang’25 | Erlang 2025 | 2025-10-12 |
Workshop opens with concrete counts and a packed schedule: eight submissions, five accepted, and three projected. Sessions present mechanized formal semantics… | ||
| Mailboxer: Static Detection of Erlang Communication Errors | Erlang 2025 | 2025-10-12 |
Mailboxer is a prototype static checker for Erlang that uses mailbox types (via the Pat backend) to find real communication bugs: it catches message tag typos… | ||
| nothing matches | ||