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
) /
Bhakti Shah
FSE 2024 profile
conf.research.org general profile
ICFP 2023 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Thu 12 Jan 2023
Name:
Bhakti Shah
Affiliation:
University of St. Andrews
Personal website:
https://bhaktishh.github.io
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:50