Natalie Neamtu

According to our database, Natalie Neamtu authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

VeruSAGE: A Study of Agent-Based Verification for Rust Systems.

Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu

CoRR, December, 2025

2023

Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.

Natalie Neamtu, Haobin Ni, Robbert van Renesse

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023