Software and Computational Systems Lab at LMU Munich

Years

2016

2017

2018

2019

2020

2021

View all

Categories

Cloud

Data and Databases

End User Applications

Graphics / Video / Audio / Virtual Reality

Operating Systems

Other

View all

Technologies

python (212)

javascript (186)

c (155)

c++ (142)

java (100)

android (47)

View all

Topics

web (69)

machine learning (46)

cloud (37)

graphics (31)

education (29)

web development (27)

View all

Made with by nishantwrp

Software and Computational Systems Lab at LMU Munich

Software Analysis, Software Verification, and Benchmarking

javapythonjavascript

software analysissoftware verificationbenchmarkingsmt solverresult presentation