Software and Computational Systems Lab at LMU Munich

GSoC Organizations

Years

2016

2017

2018

2019

2020

View all

Categories

Cloud

Data and Databases

End User Applications

Graphics / Video / Audio / Virtual Reality

Operating Systems

View all

Technologies

python (186)

javascript (167)

c (138)

c++ (129)

java (93)

View all

Topics

web (58)

machine learning (40)

cloud (33)

education (27)

graphics (27)

View all

Made with and Gatsby

Software and Computational Systems Lab at LMU Munich

Software Analysis, Software Verification, and Benchmarking

javapythonjavascript

software analysissoftware verificationbenchmarkingsmt solverresult presentation