Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nils Purschke
conf.researchr.org general profile
ICSE 2026 profile
SANER 2025 profile
Registered user since Tue 3 Dec 2024
Name:
Nils Purschke
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
Fri 7 Aug 20:55