AIware 2025
Wed 19 - Thu 20 November 2025
co-located with
ASE 2025
Toggle navigation
Attending
Attending: Registration
Venue: Grand Walkerhill Seoul
About Seoul
Accommodations
Transportation
Program
AIware Program
Your Program
Wed 19 Nov
Thu 20 Nov
Tracks
AIware 2025
Keynotes
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
Organization
AIware 2025 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Contributors
People Index
Search
Series
Series
AIware 2025
AIware 2024
Sign in
Sign up
ASE 2025
(
series
) /
AIware 2025
(
series
) /
Daniel Kroening
ASE 2025 profile
conf.research.org general profile
ECOOP and ISSTA 2021 profile
FSE 2025 profile
PLDI 2025 profile
Not registered as user
Name:
Daniel Kroening
Country:
United States
Affiliation:
Amazon
Contributions
2025
ASE
VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models
Show activities from other conferences
Share
Using general profile
x
Tue 4 Nov 16:42