Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sven Kirchner
conf.researchr.org general profile
ICSE 2026 profile
SANER 2025 profile
Registered user since Sat 30 Nov 2024
Name:
Sven Kirchner
Contributions
2026
FormaliSE
Author of Autofy: Automated Synthesis of Formally Verified Code within the Research Track-track
2025
SANER
Author of SpeedGen: Enhancing Code Efficiency through Large Language Model-Based Performance Optimization within the Research Papers-track
Share
x
Sat 11 Jul 10:39