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
) /
Ruzica Piskac
ASE 2025 profile
conf.research.org general profile
ASE 2019 profile
ASE 2022 profile
ECOOP 2015 profile
FSE 2024 profile
FSE 2025 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP/SPLASH 2025 profile
ICSE 2024 profile
ISSTA 2022 profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2026 profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Wed 25 Jun 2014
Name:
Ruzica Piskac
Country:
United States
Affiliation:
Yale University
Personal website:
http://www.cs.yale.edu/~piskac/
Contributions
2025
ASE
Efficient and Verifiable Proof Logging for MaxSAT Solving
Show activities from other conferences
Share
Using general profile
x
Tue 4 Nov 16:18