Ana Linn Georges
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. | Simon Friis Vindum, Ana Linn Georges, Lars Birkedal |
| 2024 | CCS | SECOMP: Formally Secure Compilation of Compartmentalized C Programs. | Jrmy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Ana Linn Georges, Catalin Hritcu, Andrew Tolmach |
| 2017 | ESOP | LINCX: A Linear Logical Framework with First-Class Contexts. | Ana Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka |