1

Dataflow-Guided Neuro-Symbolic Language Models for Type Inference

Optimizing Personalized Federated Learning through Adaptive Layer-Wise Learning

Towards Diverse Program Transformations for Program Simplification

Enhancing Deployment-time Predictive Model Robustness for Code Analysis and Optimization

Accelerating Tensor-train Decomposition on Graph Neural Networks

Leveraging Compilation Statistics for Compiler Phase Ordering

Effects of Momentum in Implicit Bias of Gradient Flow for Diagonal Linear Networks

Introducing Compiler Semantics into Large Language Models as Programming Language Translators: A Case Study of C to x86 Assembly

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback

UPBEAT: Test Input Checks of Q# Quantum Libraries