2030 Software Engineering
Mon 15 - Fri 19 July 2024
co-located with
FSE 2024
Toggle navigation
Attending
Venue: FSE 2024, Porto de Galinhas, Brazil
Venue: Hotel Armação
Program
2030 Software Engineering Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
2030 Software Engineering Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
2030 Software Engineering - 2025
2030 Software Engineering
Sign in
Sign up
FSE 2024
(
series
) /
2030 Software Engineering (
series
) /
John Kastner
FSE 2024 profile
conf.research.org general profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Tue 27 Feb 2024
Name:
John Kastner
Country:
United States
Affiliation:
Amazon Web Services
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
Sat 23 Nov 01:52