GSoC Organizations
Clear all filters
Years
2022
2021
2020
2019
2018
2017
View all
Categories
Data
Development tools
End user applications
Infrastructure and cloud
Media
Operating systems
View all
Technologies
python (232)
javascript (201)
c (162)
c++ (153)
java (104)
android (50)
View all
Topics
web (80)
cloud (51)
machine learning (50)
graphics (36)
education (31)
web development (27)
View all
Software and Computational Systems Lab at LMU Munich
Visit Site
Software Analysis, Software Verification, and Benchmarking
Category
Programming languages
Years
2019
2018
Technologies
python
javascript
java
Topics
software analysis
software verification
benchmarking
smt solver
result presentation
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