98 citations · 179 across the 10 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…
cs.PL2017★ 2 cited
Data-Driven Feedback Generation for Introductory Programming Exercises
Ke Wang, RIshabh Singh, Zhendong Su
This paper introduces the "Search, Align, and Repair" data-driven program repair framework to automate feedback generation for introductory programming exercises. Distinct from exi…