Maria-Virginia Aponte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIROCCO | Formal Certification of async Protocols: The Case of Gathering in $\mathbb {R} ^2$ Using Weber Points. | Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain |
| 2020 | EuroSys | Provable multicore schedulers with Ipanema: application to work conservation. | Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller |
| 2012 | FM | Maximal and Compositional Pattern-Based Loop Invariants. | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
| 1993 | POPL | Extending Record Typing to Type Parametric Modules with Sharing. | Maria-Virginia Aponte |