Samantha Archer

According to our database, Samantha Archer authored at least 2 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

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

Proceedings of the Formal Methods - 27th International Symposium, 2026

2020

Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory.

Samantha Archer, Georgios Mappouras, A. Robert Calderbank, Daniel J. Sorin

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020