Samantha Archer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper). | Aron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, Clark W. Barrett |
| 2026 | ISCA | Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees. | Samantha Archer, Mohammad Rahmani Fadiheh, Caroline Trippel |
| 2020 | DSN | Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory. | Samantha Archer, Georgios Mappouras, A. Robert Calderbank, Daniel J. Sorin |