GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (14)
View all
Years
2025
2024
2023
2022
2021
2020
View all
Categories
Artificial Intelligence
Data
Development tools
End user applications
Infrastructure and cloud
Media
View all
Technologies
python (277)
javascript (220)
c++ (170)
c (167)
java (116)
android (52)
View all
Topics
web (90)
machine learning (65)
cloud (60)
graphics (41)
ai (32)
education (32)
View all
Software and Computational Systems Lab at LMU Munich
View the official
contribution guidelines
for Software and Computational Systems Lab at LMU Munich
Visit Site
Algorithms and Tooling for Software Verification
Category
Programming languages
Years
2025
2024
2023
2019
2018
Technologies
python
javascript
java
grpc
Quarkus
Topics
software analysis
software verification
benchmarking
smt solver
result presentation
program analysis
formal methods
SAT & SMT solving
cloud
Past Projects
2025
2024
2023
2019
2018
Exporting and Validating Correctness Witnesses for Memory Safety in CPAchecker
Nupur Singhi
Problem: CPAchecker lacks robust support for exporting and validating correctness witnesses for memory safety properties (null pointers, buffer...
More Details
Code Submission
Verifier Selection using LLMs
Patrik Felbinger
The growing use of large language models (LLMs) in code understanding has paved the way for significant advancements in software verification. In...
More Details
Code Submission
Timestamps in logs in BenchExec
Taito Ohsumi
This project aims to enhance the BenchExec benchmarking framework by resolving issues with output handling and log management. Key improvements...
More Details
Code Submission
CPA-Daemon: Behavior Driven Tests
Wenyi Shi
CPA-Daemon is a microservice (currently gRPC service) for continuous verification of C programs with CPAchecker. Clients could craft gRPC requests...
More Details
Code Submission
