s4plus - s4plus

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

yuzhang@ustc.edu.cn https://s4plus.ustc.edu.cn/

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

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

暂无描述

暂无描述

暂无描述

暂无描述

forked from ms-models-2021

暂无描述

1 0 1

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

forked from mindspore

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