List of works - Chang Xu - Paulina

List of works by Chang Xu

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints

scientific article published on 30 November 2023

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models

scientific article published on 18 October 2024

Programming by Example Made Easy

scientific article published on 07 July 2023

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

scientific article published on 16 October 2023

Towards Life-long Software Self-validation in Production

scientific article published on 18 July 2024

Validating JIT Compilers via Compilation Space Exploration

scientific article published on 03 October 2023

Paulina is supported by:

About Paulina

Help