关注
Ke Du
标题
引用次数
引用次数
年份
Rustviz: Interactively visualizing ownership and borrowing
M Almeida, G Cole, K Du, G Luo, S Pan, Y Pan, K Qiu, V Reddy, H Zhang, ...
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
82022
An Iris Instance for Verifying CompCert C Programs
W Mansky, K Du
Proceedings of the ACM on Programming Languages 8 (POPL), 148-174, 2024
22024
RustViz: Interactively Visualizing Ownership and Borrowing
V Reddy, M Almeida, Y Zhu, K Du, C Omar
arXiv preprint arXiv:2011.09012, 2020
22020
RustViz: Interactively Visualizing Ownership and Borrowing
G Luo, V Reddy, M Almeida, Y Zhu, K Du, C Omar
arXiv preprint arXiv:2011.09012, 2020
22020
Verification of an Airport Taxiway Path-Finding Algorithm
S He, K Du, J Wilhelm, JB Jeannin
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-10, 2020
12020
系统目前无法执行此操作，请稍后再试。
文章 1–5