Software and Computational Systems Lab at LMU Munich GSoC projects
Every Google Summer of Code project accepted at Software and Computational Systems Lab at LMU Munich, grouped by program year. Open a project to see its contributor, mentors, technologies, and source code.
Back to Software and Computational Systems Lab at LMU MunichGSoC 2025
2 projects- Verifier Selection using LLMs
Patrik Felbinger
- CPA-Daemon: Behavior Driven Tests
Wenyi Shi
GSoC 2024
3 projects- Overlay Handling with fuse-overlayfs
Haoran Yang
GSoC 2023
4 projects- Scaling Formal Verification: Parallel Analysis of Functions
George Granberry
GSoC 2019
2 projects- Design and Create CLion plugin for CPAchecker execution
Tharsanan Kurukulasingam
- Implement Cache Allocation Technology in BenchExec
Aditya Arora
GSoC 2018
1 project- Upgrade of AngularJS, Refactoring UI and automated testing for CPAchecker.
Lokesh Kishor Nandanwar