Yutian Zhu (朱雨田)'s Homepage
Contact
- Email:
zhuyt###ios**ac*cn - Github: https://github.com/zhuyutian57
About me
I am currently a Ph.D student in the group. My main research interests are:
- Memory safety verification(C/Rust)
- Separation Logic
Education
- Sept. 2020 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2015 - Jun. 2019: Software Engineering(Bachelor's degree) at Changchun University of Science and Technology (CUST)
Tools
-
SESL: A Symbolic Executor based on Array Separation Logic
-
COMSPEN: A solver for Separation Logic with Compositional Inductive Definitions
Publications
- Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu. Separation Logic with Heap Variables: A Decision Procedure and Its Application. The Symposium on Software Engineering: Theories, Tools, and Applications (SETTA), 2025.