Knowledge-Centric Software Lab
A group of researchers interested in solving hard problems in program analysis
Pinned Loading
-
se-course
se-course PublicA Course on Managing Complexity, Security, and Safety of Large Software
Java
Repositories
Showing 10 of 23 repositories
- sidis-toolbox Public
A toolbox for performing both Statically-Informed Dynamic (SID) analysis and Dynamically-Informed Static (DIS) analysis
kcsl/sidis-toolbox's past year of commit activity - LoopModel Public
kcsl/LoopModel's past year of commit activity - math-puzzles-app Public
kcsl/math-puzzles-app's past year of commit activity - math-puzzle-server Public
kcsl/math-puzzle-server's past year of commit activity
Top languages
Loading...
Most used topics
Loading...