Jenna DiVincenzo
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| PLMW Panel | PLMW @ POPL 2025 | 2025-01-19 |
Career-panelists compare concrete career moves and tactics: experiences range from working at an employee‑owned consultancy with ~110 engineers to junior… | ||
| Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification | TPSA 2025 | 2025-01-19 |
Claims a formal semantics for optimistic verification by defining gradual exact logic as a consistent lifting of exact triples over a collecting semantics… | ||
| Sound Gradual Verification with Symbolic Execution | POPL 2024 | 2024-01-14 |
Provides a formal, machine-checked semantics for symbolic execution and for optimized runtime-check generation, proves that gradual verification implemented… | ||
| Gradual Verification of Recursive Heap Data Structures | OOPSLA 2020 | 2020-11-15 |
Practical system that extends a base static verifier with gradual formulas and optimistic strengthening, inserting runtime checks when a missing spec was… | ||
| nothing matches | ||