Chuqin Geng

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 12

Top Topics

Functional Programming

Novice Programmers

Programming Course

Open Ended Questions

Top Venues

Publications

Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
SAT-DIFF: A Tree Diffing Framework Using SAT Solving. CoRR (2024)
Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
Learning Minimal NAP Specifications for Neural Network Verification. CoRR (2024)
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
Towards Reliable Neural Specifications. ICML (2023)
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. SIGCSE (1) (2023)
Chuqin Geng, Yihan Zhang, Brigitte Pientka, Xujie Si
Can ChatGPT Pass An Introductory Level Functional Language Programming Course? CoRR (2023)
Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. CoRR (2023)
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. CoRR (2023)
Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. APLAS (2023)
Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
Scalar Invariant Networks with Zero Bias. CoRR (2022)
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
Novice Type Error Diagnosis with Natural Language Models. CoRR (2022)
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
Toward Reliable Neural Specifications. CoRR (2022)
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
Novice Type Error Diagnosis with Natural Language Models. APLAS (2022)