Publications

Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness

Áron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, and Clark Barrett

27th International Symposium on Formal Methods (FM 2026), May 2026

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

Samantha Archer, Georgios Mappouras, Robert Calderbank, and Daniel Sorin

2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020), June 2020

PDF

Word-Level Model Checking with IC3 in Pono

Áron Ricardo Perez-Lopez, Samantha Archer, and Clark Barrett

Student Forum Workshop at Formal Methods in Computer-Aided Design 2024 (FMCAD 2024), October 2024

SymLeak: Quantifying Side Channel Leakage with Symbolic Execution

Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel

Student Forum Workshop at Formal Methods in Computer-Aided Design 2024 (FMCAD 2024), October 2024

PDF

Quantifying Software Leakage via Transmitters with Leakage Functions

Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel

6th Young Architect Workshop (YArch) at 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024), April 2024

PDF