Aaron Eline - 2030 Software Engineering

Mon 15 - Fri 19 July 2024

co-located with FSE 2024

Registered user since Wed 28 Feb 2024

Name:Aaron Eline

Country:United States

Affiliation:Amazon

Contributions

2024

ESEC/FSE

How We Built Cedar: A Verification-Guided Approach

Show activities from other conferences

FSE 2024-profile
View general profile