Georgian-Vlad Saioc
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Anders Mølleronce
- Farnaz Behrangonce
- Julien Langeonce
all 6 in the filters
who talks about the same things
- Julien Lange5 talks
- Anders Møller6 talks
- Umang Mathur20 talks
- Andreas Pavlogiannis18 talks
- Alceste Scalas5 talks
- Parosh Aziz Abdulla9 talks
| title | conference | date |
|---|---|---|
| DR.FIX: Automatically Fixing Data Races at Industry Scale | PLDI 2025 | 2025-06-16 |
Dr.Fix combines program analysis with LLM-driven generation (GPT40) and a vector database of 272 past bug–fix examples to auto-propose patches for Go data… | ||
| Automated Verification of Parametric Channel-Based Process Communication | OOPSLA 2024 | 2024-10-20 |
A toolchain named Ginger translates Go fragments into a compact core language Virgo, encodes them as Hoare triples and checks partial-deadlock freedom using… | ||
| nothing matches | ||