Posts by Collection

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

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

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

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

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

Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees

Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel

53rd International Symposium on Computer Architecture (ISCA 2026), June 2026

talks

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

teaching

Math 112L: Laboratory Calculus II (Teaching Assistant)

Lab Section Instructor and Teaching Assistant

Undergraduate course — Duke University, Mathematics Department, January 2017

Math 105L: Laboratory Calculus and Functions I (Teaching Assistant)

Lab Section Instructor and Teaching Assistant

Undergraduate course — Duke University, Mathematics Department, August 2017

Math 106L: Laboratory Calculus and Functions II (Teaching Assistant)

Lab Section Instructor and Teaching Assistant

Undergraduate course — Duke University, Mathematics Department, January 2018

Math 112L: Laboratory Calculus II (Teaching Assistant)

Lab Section Instructor and Teaching Assistant

Undergraduate course — Duke University, Mathematics Department, January 2019

ECE 350L: Digital Systems (Teaching Assistant)

Lab Section Instructor and Teaching Assistant

Undergraduate course — Duke University, Electrical & Computer Engineering Department, August 2019

ECE 350L: Digital Systems (Teaching Assistant)

Lab Section Instructor and Teaching Assistant

Undergraduate course — Duke University, Electrical & Computer Engineering Department, January 2020

workshops

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

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

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

Synthesizing Execution Contracts from RTL for Formally Verified Hardware Side-Channel Defenses

Xiaofu Li, William Zhu, Samantha Archer, and Caroline Trippel

8th Young Architect Workshop (YArch) at 53rd International Symposium on Computer Architecture (ISCA 2026), June 2026