Eashan Hatti

Hello! My name is Eashan Hatti, and I’m currently a CS undergrad at Yale University. I’m primarily interested in PL, particularly semantics and formal verification. You can reach me at <first>.<last>@yale.edu.

Blogposts:

• You Could Have Invented Normalization-by-Evaluation

Projects:

• LHL: LHL is the first sound and complete program logic for compositional linearizability [Oliveira et al, 2024], which is a generalization of atomic linearizability, set linearizability, and interval linearizability. This makes it complete for concurrent objects – any interval-linearizable object (and thus any concurrent object) may be verified in this system.