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. The potential area where this idea could have positive implications are: 
|
Dictu Languagea project by bdowns328 Project DescriptionDictu is a new scripting language with features and capabilities of other major languages without giving up speed but also providing a familiar syntax and user experience. The hackweek effort would be a hard push towards features pushing Dictu closer to mainstream adoption. 
|
SMTGCCa project by fkastl Project DescriptionThere's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help. 
|