SSBSE 2024
Mon 15 Jul 2024
Porto de Galinhas, Brazil, Brazil
co-located with
FSE 2024
Toggle navigation
Attending
Venue: Hotel Armação
SSBSE Registration
Program
SSBSE Program
Your Program
Mon 15 Jul
Tracks
SSBSE 2024
Research Papers
RENE/NIER
SSBSE Challenge
Hot off the Press
Keynote
Organization
SSBSE 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Organizing Committee
Program Committee
RENE/NIER
SSBSE Challenge
Hot off the Press
Contributors
People Index
Search
Series
Series
SSBSE 2024
SSBSE 2023
SSBSE 2022
SSBSE 2021
Sign in
Sign up
FSE 2024
(
series
) /
SSBSE 2024
(
series
) /
Aaron Eline
FSE 2024 profile
conf.research.org general profile
SPLASH 2022 profile
SPLASH 2024 profile
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
Share
FSE 2024-profile
View general profile
x
Sun 22 Dec 11:22