中国科学技术大学系统软件与软件安全研究组由张昱带领,长期开展程序语言设计与实现、程序分析与验证、系统优化等研究与教学。

yuzhang@ustc.edu.cn   SysYFCodeGenOpt

本项目提供SysYF语言的中间表示(IR)优化以及代码生成的编译器实践框架和选题。SysYF语言是全国编译系统设计赛要求实现的SysY语言的扩展语言,SysYF IR兼容LLVM IR。该项目由中国科学技术大学张昱老师研究组设计和开发,旨在引导更多学...

llvm-ustc-proj

本项目提供LLVM及相关编译基础设施的学习实践框架和选题。该项目由中国科学技术大学张昱老师研究组s4plus设计和开发,旨在引导更多学生和社会人员学习和实践编译器相关知识,开展语言设计与实现、程序分析、编译优化等研发,让越来越多的人有能力运用程序语言...

LLVM-c1interpreter

暂无描述

Flex-Bison-examples

暂无描述

AST-checker

暂无描述

ANTLR4-c1recognizer

暂无描述

ms-models-2021

暂无描述

CodingSpecChecker

本项目是第十七届全国软件与应用学术会议(NASAC 2018)"违反编码规范的缺陷检测"命题型软件原型系统竞赛 参赛作品,由中国科学技术大学系统软件与软件安全研究组(https://s4plus.ustc.edu.cn/)成员完成。

mindspore

MindSpore is a new open source deep learning training/inference framework that could be used for mobile, edge and cloud scena...