conftrace_

program analysis

33 papers

Explore in graph

Co-occurring keywords

large language model (13587) static analysis (30) semantic reasoning (56) bug detection (23) code understanding (52) probabilistic programming (87) machine learning (436) program synthesis (233) bayesian inference (1907) domain adaptation (4595)

Papers

Lifting Optimized Binaries to Canonical Compiler IR via Structure-Aware Retrieval and Iterative Verification ACL 2026
depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers JMLR 2025
On Temporal Verification of Stateful P4 Programs NSDI 2025
POLO: An LLM-Powered Project-Level Code Performance Optimization Framework IJCAI 2025
EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking EMNLP 2025
SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning NIPS 2024
Source Code is a Graph, Not a Sequence: A Cross-Lingual Perspective on Code Clone Detection NAACL 2024
ProConSuL: Project Context for Code Summarization with LLMs EMNLP 2024
Automatically Reasoning About How Systems Code Uses the CPU Cache OSDI 2024
LLMDFA: Analyzing Dataflow in Code with Large Language Models NIPS 2024
DiSh: Dynamic Shell-Script Distribution NSDI 2023
Can Large Language Models Reason about Program Invariants? ICML 2023
Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion AAAI 2023
PERFOGRAPH: A Numerical Aware Program Graph Representation for Performance Optimization and Program Analysis NIPS 2023
On Distribution Shift in Learning-based Bug Detectors ICML 2022
From Actions to Programs as Abstract Actual Causes AAAI 2022
Robust Learning against Relational Adversaries NIPS 2022
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022
Cross-Lingual Adversarial Domain Adaptation for Novice Programming AAAI 2022
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing OSDI 2022
Performance Interfaces for Network Functions NSDI 2022
Self-Supervised Bug Detection and Repair NIPS 2021
Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis NSDI 2020
Neural Attribution for Semantic Bug-Localization in Student Programs NIPS 2019
Neural Code Comprehension: A Learnable Representation of Code Semantics NIPS 2018