Qiancheng Fu

According to our database, Qiancheng Fu authored at least 11 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Efficient Decision Procedures for Variants of GKAT (Artifact).

Qiancheng Fu, Cheng Zhang, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi

Dataset, January, 2026

Efficient Decision Procedures for Variants of GKAT (Artifact).

Qiancheng Fu, Cheng Zhang, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi

Dataset, January, 2026

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.

Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi

Proceedings of the Programming Languages and Systems, 2026

2025

Efficient Decision Procedures for Variants of GKAT (Artifact).

Qiancheng Fu, Cheng Zhang, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi

Dataset, December, 2025

Dependent Session Types for Verified Concurrent Programming.

Qiancheng Fu, Hongwei Xi, Ankush Das

CoRR, October, 2025

Probabilistic Refinement Session Types.

Qiancheng Fu, Ankush Das, Marco Gaboardi

Proc. ACM Program. Lang., 2025

2023

SSRNet: Scalable 3D Surface Reconstruction Network.

Ganzhangqin Yuan, Qiancheng Fu, Zhenxing Mi, Yiming Luo, Wenbing Tao

IEEE Trans. Vis. Comput. Graph., December, 2023

A Two-Level Linear Dependent Type Theory.

Qiancheng Fu, Hongwei Xi

CoRR, 2023

A Dependently Typed Language with Dynamic Equality.

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

A Calculus of Inductive Linear Constructions.

Qiancheng Fu, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

Geo-Neus: Geometry-Consistent Neural Implicit Surfaces Learning for Multi-view Reconstruction.

Qiancheng Fu, Qingshan Xu, Yew Soon Ong, Wenbing Tao

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022