Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Laura Kovács
conf.researchr.org general profile
ICSE 2025 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2022 profile
Not registered as user
Name:
Laura Kovács
Country:
Austria
Affiliation:
TU Wien
Contributions
2025
FormaliSE
Author of LLM-based Generation of Weakest Preconditions and Precise Array Invariants within the Research Track-track
2024
POPL
Author of Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs within the POPL-track
2023
VMCAI
Author of Satisfiability Modulo Custom Theories in Z3 (Tool Paper) within the VMCAI 2023-track
2022
SPLASH
Author of This Is the Moment for Probabilistic Loops within the OOPSLA-track
Static Analysis Symposium
Author of Solving Invariant Generation for Unsolvable Loops within the SAS-track
Share
x
Sat 24 May 09:38
