SER&IP '21
Fri 4 Jun 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
SER&IP Program
Your Program
Fri 4 Jun
Track/Call
Organization
SER&IP '21 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2021
(
series
) /
SER&IP '21 (
series
) /
Junyi Jessy Li
ICSE 2021 profile
conf.research.org general profile
ASE 2022 profile
ESEC/FSE 2020 profile
ESEC/FSE 2023 profile
ICSE 2023 profile
Not registered as user yet
Name:
Junyi Jessy Li
Country:
United States
Affiliation:
University of Texas at Austin, USA
Contributions
2021
ICSE
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Thu 21 Nov 21:06