GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (20)
View all
Years
2023
2022
2021
2020
2019
2018
View all
Categories
Data
Development tools
End user applications
Infrastructure and cloud
Media
Operating systems
View all
Technologies
python (245)
javascript (205)
c (164)
c++ (160)
java (108)
android (50)
View all
Topics
web (81)
machine learning (55)
cloud (52)
graphics (39)
education (31)
data science (28)
View all
Software and Computational Systems Lab at LMU Munich
Software and Computational Systems Lab at LMU Munich is participating in
GSoC 2023
. View the
ideas list
and the
contribution guide
for this organization.
Visit Site
Software Verification, SAT & SMT solving
Category
Programming languages
Years
2023
2019
2018
Technologies
python
javascript
java
Topics
software analysis
software verification
benchmarking
smt solver
result presentation
program analysis
formal methods
SAT & SMT solving
Past Projects
2019
2018
Design and Create CLion plugin for CPAchecker execution
Tharsanan Kurukulasingam
CPAChecker is a framework which can be used as a software verification tool for C programs. We can use CPAchecker locally by command line interface...
More Details
Code Submission
Implement Cache Allocation Technology in BenchExec
Aditya Arora
In this project we aim to incorporate Intel cache allocation software package (intel-cmt-cat) in BenchExec for cache allocation on a per core basis...
More Details
Code Submission