Computer Systems & Security Group, USTC
Projects
Zap: Securing and Optimizing Lightweight JavaScript VMs
The Zap project aims to secure and optimize modern lightweight JavaScript VMs.
Shard: Design and Implementation of Next Generations GPGPU Compilers
The Shard project investigates the design and implementation of next generations GPGPU compiler.
ChemSmith: Detecting Bugs in Quantum Chemical Computation Software
The ChemSmith project investigates methodology for detecting bugs in quantum chemical computation software, via an oracle-guided fuzzing approach.
SecFFI: Foreign Function Interface Security
The SecFFI project investigates the security of foreign function interfaces (FFIs), such as Java JNIs, Python FFIs, or Julia ccalls, which are ubiquitous in many multilingual languages and software systems.
Plato: Rust Security Study
The Plato project investigates the security of Rust, an emerging programming language which are efficient without sacrificing security.
SmartSec: Practical Smart Contract Security
The SmartSec project investigates state-of-the-art techniques to enhance smart contract security.
SafeAssembly: WebAssembly Security Study
The SafeAssembly project investigates the security of WebAssembly ecosystem, it includes topics such as WebAssembly virtual machine，WebAssembly compiler，WebAssembly API(WASI) and so on.
PGO: Profile-guided Optimizations for Android
The PGO project investigates the effects of profile-guided optimizations for Android.
RaScript: Declarative Programming Framework for IoT Resource Management
RaScript project investigates the design and implementation of declarative programming framework for IoT Resource Management
Drake: Modern Compiler for Edge Computing
The Drake project investigates the design and implementation of modern compiler for edge computing.