30 citations · 40 across the 6 of their papers we have counts for
6 papers
Interval Parsing Grammars for File Format Parsing
Jialun Zhang, Greg Morrisett, Gang Tan
File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns su…
Repairing Bugs in Python Assignments Using Large Language Models
Jialu Zhang, José Cambronero, Sumit Gulwani +4
Students often make mistakes on their introductory programming assignments as part of their learning process. Unfortunately, providing custom repairs for these mistakes can require…
Automated Feedback Generation for Competition-Level Code
Jialu Zhang, De Li, John C. Kolesar +2
Competitive programming has become a popular way for programmers to test their skills. Large-scale online programming contests attract millions of experienced programmers to compet…
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
Jialu Zhang, Todd Mytkowicz, Mike Kaufman +2
Program merging is standard practice when developers integrate their individual changes to a common code base. When the merge algorithm fails, this is called a merge conflict. The…
Succinct Explanations With Cascading Decision Trees
Jialu Zhang, Yitan Wang, Mark Santolucito +1
The decision tree is one of the most popular and classical machine learning models from the 1980s. However, in many practical applications, decision trees tend to generate decision…
Statically Verifying Continuous Integration Configurations
Mark Santolucito, Jialu Zhang, Ennan Zhai +1
Continuous Integration (CI) testing is a popular software development technique that allows developers to easily check that their code can build successfully and pass tests across…