Statically Verifying Continuous Integration Configurations. - Mark Santolucito; Jialu Zhang 002; Ennan Zhai; Ruzica Piskac (CoRR, 2018)

Succinct Explanations With Cascading Decision Trees. - Jialu Zhang 002; Mark Santolucito; Ruzica Piskac (CoRR, 2020)

Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? - Jialu Zhang 002; Todd Mytkowicz; Mike Kaufman; Ruzica Piskac; Shuvendu K. Lahiri (CoRR, 2021)

Static detection of silent misconfigurations with deep interaction analysis. - Jialu Zhang 002; Ruzica Piskac; Ennan Zhai; Tianyin Xu (Proc. ACM Program. Lang., 2021)

Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). - Jialu Zhang 002; Todd Mytkowicz; Mike Kaufman; Ruzica Piskac; Shuvendu K. Lahiri (ISSTA, 2022)

Automated Feedback Generation for Competition-Level Code. - Jialu Zhang 002; De Li; John Charles Kolesar; Hanyuan Shi; Ruzica Piskac (ASE, 2022)

Learning CI Configuration Correctness for Early Build Feedback. - Mark Santolucito; Jialu Zhang 002; Ennan Zhai; Jürgen Cito; Ruzica Piskac (SANER, 2022)

Repairing Bugs in Python Assignments Using Large Language Models. - Jialu Zhang 002; José Cambronero; Sumit Gulwani; Vu Le 002; Ruzica Piskac; Gustavo Soares; Gust Verbruggen (CoRR, 2022)

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. - Jialu Zhang 002; José Pablo Cambronero; Sumit Gulwani; Vu Le 002; Ruzica Piskac; Gustavo Soares; Gust Verbruggen (Proc. ACM Program. Lang., 2024)