Milijana Surbatovich
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
all 4 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Brandon Lucia7 talks
- Limin Jia17 talks
- Azalea Raad27 talks
- Viktor Vafeiadis23 talks
- Mae Milano10 talks
- Deian Stefan14 talks
| title | conference | date |
|---|---|---|
| Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow | PLDI 2026 | 2026-06-15 |
Wavelet is a formally verified compiler that translates a capability-annotated imperative IR into asynchronous dataflow graphs, mechanized in Lean and checked… | ||
| Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust | USENIX Security '25 | 2025-08-13 |
Vest generates Rust zero-copy parsers and in-place serializers from an RFC-like DSL, proves memory safety plus soundness, completeness, non-malleability and… | ||
| A Type System for Safe Intermittent Computing | PLDI 2023 | 2023-06-17 |
Curricle is a Rust-based information-flow type system that classifies variables as item-potent or non-item-potent, adds access-mode inference to decide when… | ||
| Towards a Formal Foundation of Intermittent Computing | OOPSLA 2020 | 2020-11-15 |
Provides a formal correctness definition: an intermittent execution is correct if it is observationally equivalent to some continuous execution, and it proves… | ||
| How Risky Are Real Users' IFTTT Applets? | SOUPS 2020 | 2020-08-10 |
Study collects and analyzes 732 applets from 28 participants using a browser extension and surveys to add context beyond public IFTTT listings. An automated… | ||
| nothing matches | ||