Abigail Pribisova

According to our database, Abigail Pribisova authored at least 2 papers between 2021 and 2026.

Collaborative distances:

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

2026

Misquoted No More: Securely Extracting F* Programs with IO.

Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, Théo Winterhalter

CoRR, February, 2026

2021

Spatially distributed infection increases viral load in a computational model of SARS-CoV-2 lung infection.

Melanie E. Moses, Steven A. Hofmeyr, Judy L. Cannon, Akil Andrews, Rebekah Gridley, Monica Hinga, Kirtus G. Leyba, Abigail Pribisova, Vanessa Surjadidjaja, Humayra Tasnim, Stephanie Forrest

PLoS Comput. Biol., 2021