The USTC software security laboratory hosts a group of faculty, postdoc researchers and graduate students from the Department of Computer Science and Technology, University of Science and Technology of China, with their main research efforts focusing on language-based software safety and security, or in a broader sense, on the theory and practice of programming languages. Its current research topics include:
- program logics and tools for reasoning about pointer programs;
- certifying compilers;
- semantic models and reasoning tools for languages using software transactional memory;
- domain-specific languages and their logics;
- operating system kernel verification, and more.
In the past, the laboratory had been working on:
- algebraic specification;
- constructional proof of software and chemical reaction-based computation model;
- semantics of Gamma and other concurrent languages;
- properties of non-terminated rewriting system and its category theoretical semantics;
- design and implementation of typed low-level languages;
- compilers for vectorial FORTRAN 77 and concurrent C;
- translation of a Perl compiler from C to Java, and more.
The laboratory is led by Professor Yiyun Chen and Professor Yu Zhang.