conftrace_

program analysis

40 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (6) static analysis (3) graph neural network (3) semantic reasoning (2) program repair (2) bug detection (2) code representation (2) code understanding (2) probabilistic programming (2) machine learning (2)

Papers

iLand: An Instruction-Level Dynamic Binary Instrumentation Framework for iOS OSDI 2026 Lifting Optimized Binaries to Canonical Compiler IR via Structure-Aware Retrieval and Iterative Verification ACL 2026 μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone OSDI 2026 depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers JMLR 2025 EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking EMNLP 2025 On Temporal Verification of Stateful P4 Programs NSDI 2025 POLO: An LLM-Powered Project-Level Code Performance Optimization Framework IJCAI 2025 Automatically Reasoning About How Systems Code Uses the CPU Cache OSDI 2024 LLMDFA: Analyzing Dataflow in Code with Large Language Models NeurIPS 2024 ProConSuL: Project Context for Code Summarization with LLMs EMNLP 2024 SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning NeurIPS 2024 Source Code is a Graph, Not a Sequence: A Cross-Lingual Perspective on Code Clone Detection NAACL 2024 StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation ICML 2024 Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion AAAI 2023 Can Large Language Models Reason about Program Invariants? ICML 2023 DiSh: Dynamic Shell-Script Distribution NSDI 2023 PERFOGRAPH: A Numerical Aware Program Graph Representation for Performance Optimization and Program Analysis NeurIPS 2023 Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022 CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation ICLR 2022 Cross-Lingual Adversarial Domain Adaptation for Novice Programming AAAI 2022 From Actions to Programs as Abstract Actual Causes AAAI 2022 On Distribution Shift in Learning-based Bug Detectors ICML 2022 Performance Interfaces for Network Functions NSDI 2022 Robust Learning against Relational Adversaries NeurIPS 2022 UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing OSDI 2022