ML and AI for code static analysisa project by mvarlese The idea is to explore the technologies and the various components to realize some AI to predict pitfalls in source code which can potentially generate run-time misbehaviours. |
Dictu Languagea project by bdowns328 |
SMTGCCa project by fkastl |