Write a Blog >>
AST 2022
Tue 17 - Wed 18 May 2022
Midspace Room
co-located with
ICSE 2022
Toggle navigation
Attending
Virtual: AST Midspace Room
Venue: David Lawrence Convention Center
Virtual: Midspace
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
AST Program
Your Program
Tue 17 May
Wed 18 May
Track/Call
Organization
AST 2022 Committees
Track Committees
Organizing Committee
AST Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
AST 2025
AST 2024
AST 2023
AST 2022
AST 2021
AST 2020
Sign in
Sign up
ICSE 2022
(
series
) /
AST 2022 (
series
) /
Emily First
ICSE 2022 profile
conf.research.org general profile
ESEC/FSE 2023 profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
PLDI 2023 profile
SPLASH 2020 profile
SPLASH 2021 profile
Registered user since Mon 2 Nov 2020
Name:
Emily First
Affiliation:
University of Massachusetts Amherst
Contributions
2022
ICSE
Diversity-Driven Automated Formal Verification
Show activities from other conferences
Share
ICSE 2022-profile
View general profile
x
Sat 23 Nov 11:05