Andreea Costea
where else to find them
linkedin:andreea-costea-27bb7a42
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Ilya Sergeyonce
- Kiran Gopinathanonce
- Sewen Thyonce
who talks about the same things
- Ralf Jung18 talks
- Kiran Gopinathan7 talks
- Ranjit Jhala19 talks
- Derek Dreyer35 talks
- Cătălin Hriţcu16 talks
- Cezar-Constantin Andrici8 talks
| title | conference | date |
|---|---|---|
| Mind the Boundary: Detecting Undefined Behavior Across Rust’s FFI | PriSC 2026 | 2026-01-11 |
Claims that Rust type assumptions are turned into dynamic checks from Rust types that run at FFI boundaries, a harness that uses MIRI-guided PBT to drive… | ||
| Adventure of a Lifetime: Extract Method Refactoring for Rust | OOPSLA 2023 | 2023-10-23 |
An automated pipeline hoists a candidate function then applies staged repairs to satisfy Rust ownership and lifetimes, implemented as an IntelliJ Rust plugin… | ||
| nothing matches | ||