Conferences · eligible papers
ASE
2022–2026 LIVE
2026 · 263 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Comprehensive Evaluation of Code Language Models for Security Patch Detection
日本大学: 関与なし（対象大学）
- A Few Pages of Markdown: Committed AI Configuration and Lower Quality Cost after Coding-Agent Adoption
日本大学: 関与なし（対象大学）
- A Longitudinal Study of Android Apps Signing Key Protection
日本大学: 関与なし（対象大学）
- A Low-Cost Human-in-the-Loop Investigation of Toxicity on GitHub at Scale
日本大学: 関与なし（対象大学）
- A Scalable Rule-Based Deep Reinforcement Learning Framework for the Next Release Problem
日本大学: 関与なし（対象大学）
- A Selective Undo/Redo Algorithm for Dependency-Constrained Operation Histories Based on Change Propagation
日本大学: 関与なし（対象大学）
- A Unified Model for Cross-Domain Clone Detection via Model Merging
日本大学: 関与なし（対象大学）
- A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced Divide-and-Conquer Repair
日本大学: 関与なし（対象大学）
- AEG-Edit: Bridging API Evolution and Code Semantics for Accurate API Usage in Code Generation
日本大学: 関与なし（対象大学）
- ARMOR: A Robust Self-Supervised Framework for Root Cause Analysis in Microservices under Missing Modality
日本大学: 関与なし（対象大学）
- ATLAS: Agentic Taxonomy of LArge-Scale Software Ecosystems
日本大学: 関与なし（対象大学）
- Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling and Structure-Aware Coverage Amplification
日本大学: 関与なし（対象大学）
- Adaptive Proof Refinement with LLM-Guided Strategy Selection
日本大学: 関与なし（対象大学）
- AgentChaos: Chaos Engineering for Agent Systems via Programmatic Fault Injection
日本大学: 関与なし（対象大学）
- AgentExecutor: Partial Code Execution via Agentic Context Generation
日本大学: 関与なし（対象大学）
- Aligning User Requirement with Large Language Model in Code Generation
日本大学: 関与なし（対象大学）
- All or Nothing: How Library Type Annotations Affect Client-Side Errors in Python
日本大学: 関与なし（対象大学）
- AlphaCu: A Transformation-Driven Synthesis Framework for LLM-Based GPU Kernel Generation
日本大学: 関与なし（対象大学）
- An Empirical Study of Data Access Practice in Android AR Apps to Understand User Privacy Risks
日本大学: 関与なし（対象大学）
- Are Reasoning Traces Faithful in LLM-Based Code Vulnerability Detection?
日本大学: 関与なし（対象大学）
- ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS
日本大学: 関与なし（対象大学）
- Assessing Uncertainty in Performance Modeling: Conformal Prediction vs. Bayesian Regression
日本大学: 関与なし（対象大学）
- Assessing the Cross-Version Applicability of Java Library Vulnerability Exploits
日本大学: 関与なし（対象大学）
- AutoSQL: Extracting SQL Templates from Imperative ORM Code in Large-Scale Repositories
日本大学: 関与なし（対象大学）
- Automated Assertion Generation and Regression Testing for Machine Learning Notebooks
日本大学: 関与なし（対象大学）
- Automated Lemma Discovery in Agentic Program Verification
日本大学: 関与なし（対象大学）
- Automated Table Reproduction via Code Generation
日本大学: 関与なし（対象大学）
- BDiff: Block-Aware and Accurate Text-Based Code Differencing
日本大学: 関与なし（対象大学）
- Barista: Synthesizing Typestate Specifications with LLM Agents
日本大学: 関与なし（対象大学）
- Benchmarking Automated Security Patch Backporting: How Far Are We?
日本大学: 関与なし（対象大学）
- Best-Effort GR(1) Synthesis: Exploiting Environmental Cooperation under Unrealizability
日本大学: 関与なし（対象大学）
- Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds
日本大学: 関与なし（対象大学）
- Beyond Text Matching: Towards Reference-Free Evaluation for Human-Oriented Binary Reverse Engineering
日本大学: 関与なし（対象大学）
- Bifrost: Empowering Pretrained Language Model with Fallibility Representation for Log-Based Fault Diagnosis
日本大学: 関与なし（対象大学）
- Breaking Customized LLMs for Coding: Automated Red Teaming for Instruction Backdoor Attacks
日本大学: 関与なし（対象大学）
- Breaking the Isolation: Coordinated Multi-agent Fuzzing for Smart Contracts with Multi-dimensional Objective Learning
日本大学: 関与なし（対象大学）
- Bridging the Gap between Intent and Impact: An Empirical Study of GPU Optimizations in Deep Learning Frameworks
日本大学: 関与なし（対象大学）
- CIPIHunter: Detecting Configuration-Induced Prediction Instability in Deep Learning Frameworks
日本大学: 関与なし（対象大学）
- CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection
日本大学: 関与なし（対象大学）
- COBug: A Bug Localization Pipeline for COBOL: Does It Work? An Exploratory Study
日本大学: 関与なし（対象大学）
- CTForge: Automatically Generating Test Suites for Software Configuration
日本大学: 関与なし（対象大学）
- Can Large Language Models Decompose User Stories into Tasks? Exploring the Role of Prompting Strategies and Models
日本大学: 関与なし（対象大学）
- Certified Program Synthesis with a Multi-modal Verifier
日本大学: 関与なし（対象大学）
- ChangeWiki: Repository-Level Change Summarization Augmented with Architecture Semantics
日本大学: 関与なし（対象大学）
- Characterizing the Landscape of Open-Source Satellite Software
日本大学: 関与なし（対象大学）
- CiL-Agent: Compiler-in-the-Loop LLM Agent for Memory-Safe C Program Repair
日本大学: 関与なし（対象大学）
- Clarity Is Not Assumed: Understanding LLM-Based Code Generation under Ambiguous Requirements
日本大学: 関与なし（対象大学）
- Clarity: From Formal System Designs to Verified RL Controllers
日本大学: 関与なし（対象大学）
- Code Transformation Rule Synthesis using LLMs: Potential and Limits
日本大学: 関与なし（対象大学）
- CodeFault: Predicting Fault Risks from Code Changes via Multi-modal Learning
日本大学: 関与なし（対象大学）
- Compressing Code Context for LLM-Based Issue Resolution
日本大学: 関与なし（対象大学）
- ConfFuzz: Parameter-Aware Greybox Fuzzing for Configurable Cloud Systems
日本大学: 関与なし（対象大学）
- Conflict Extraction in Probabilistic Datalog Analyses
日本大学: 関与なし（対象大学）
- Context-Aware Trust Verification for Identity-Based Software Signing
日本大学: 関与なし（対象大学）
- CtxFuzz: Context-Aware Directed Fuzzing via Runtime Fuzzer-Agent Cooperation
日本大学: 関与なし（対象大学）
- DAGGER: Dynamic Agentic Graph-Guided Efficient Reasoner for Container Image Dependency Optimization
日本大学: 関与なし（対象大学）
- Decompiling the Web: Automated Semantic Recovery of Post-compilation Abstraction Leaks
日本大学: 関与なし（対象大学）
- Defensive Capability Analysis for JavaScript Libraries
日本大学: 関与なし（対象大学）
- Demystifying Solana Bots: From GitHub Blueprints to On-Chain Fingerprints
日本大学: 関与なし（対象大学）
- DepUpgrade: Automating Dependency Upgrade through State-Path Exploration
日本大学: 関与なし（対象大学）
- DesignFix: Context-Augmented Repair of Design Rule Violations
日本大学: 関与なし（対象大学）
- Discovering Performance Archetypes: Critical-Path-Aware Pattern Analysis and Regression Detection
日本大学: 関与なし（対象大学）
- Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition
日本大学: 関与なし（対象大学）
- Documentation vs. Code Patterns: What Drives LLM-Based Exception Oracle Generation?
日本大学: 関与なし（対象大学）
- Don’t Retest Everything: Auditable Regression Scoping for Safety-Critical Systems
日本大学: 関与なし（対象大学）
- DynCA: An Effective Algorithm for 3-Wise Combinatorial Interaction Testing in Highly Configurable Systems
日本大学: 関与なし（対象大学）
- EMERGE: Checking Implementation Equivalence for LLMs via Rule Synthesis
日本大学: 関与なし（対象大学）
- Effective and Efficient Context Retrieval via Partial Dependency Graph for Repository-Level Code Generation
日本大学: 関与なし（対象大学）
- EffiHolmes: Differential Profiling-Guided Repository Level Time Inefficiency Fix Localization
日本大学: 関与なし（対象大学）
- Enhancing Trace-Based Root Cause Analysis for Microservice Systems via Code Change Understanding
日本大学: 関与なし（対象大学）
- Escaping the Self-Repair Trap: Improving Test Oracle Generation via Dual-Context Awareness
日本大学: 関与なし（対象大学）
- Evaluating Inference-Time Defenses against Package Hallucination in LLM-Generated Code
日本大学: 関与なし（対象大学）
- Evaluating the Maintainability of ViewModel Tests using Multi-modal DSLs: An Industrial Mixed-Methods Study
日本大学: 関与なし（対象大学）
- Every Scenario Matters: Scenario-Guided White-Box Testing for Static Code Checkers Powered by LLMs
日本大学: 関与なし（対象大学）
- Evidence-Grounded Logic Vulnerability Detection for Smart Contracts via Runtime Context Reasoning
日本大学: 関与なし（対象大学）
- Evolution-Aware Regression Test Prioritization of ML-Enabled Systems using Gradient-Based Behavior Vectors
日本大学: 関与なし（対象大学）
- Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC Synthesis
日本大学: 関与なし（対象大学）
- ExcavatorFuzz: LLM-Guided Path-Difficulty-Driven Directed Greybox Fuzzing
日本大学: 関与なし（対象大学）
- ExeCRE: Execution-Consistency Guided Reliability Estimation for Self-Correcting Code Generation
日本大学: 関与なし（対象大学）
- Execution-as-Configuration: Security Smells in Model Configuration Artifacts
日本大学: 関与なし（対象大学）
- ExplainBench: Evaluating Code Explanations from Agents
日本大学: 関与なし（対象大学）
- FAiLGen: Calibrating LLM for Failing Test Generation with Monte Carlo Tree Search
日本大学: 関与なし（対象大学）
- Feature-Focused Test Generation
日本大学: 関与なし（対象大学）
- Finding Typing-Related Bugs in JVM Implementations
日本大学: 関与なし（対象大学）
- Formal Verification-Integrated Reinforcement Learning for Automated ORM Schema Synthesis
日本大学: 関与なし（対象大学）
- Formula Completion Suggestions for Alloy Models with Selection Guidance
日本大学: 関与なし（対象大学）
- Fragmented Markers, Mixed Results: A Systematic Review of AI Coding Assistants and Developer Productivity
日本大学: 関与なし（対象大学）
- Free Is More: Empowering Software Agents via Issue-Free Trajectory Learning and Entropy-Aware RLVR Training
日本大学: 関与なし（対象大学）
- From Function to Repository: Towards Understanding and an Agentic Approach for Repo-Level Directed Input Generation
日本大学: 関与なし（対象大学）
- From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate
日本大学: 関与なし（対象大学）
- From Plan to Action: How Well Do Agents Follow the Plan?
日本大学: 関与なし（対象大学）
- From Runnable Code to Shippable Applications: Test-Driven Development for Full-Stack Web Application Generation
日本大学: 関与なし（対象大学）
- From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs
日本大学: 関与なし（対象大学）
- From Vibe to Spec: An Empirical Study to Demystify Specifications in Code Generation
日本大学: 関与なし（対象大学）
- Fully Automating Template Polyhedral Analysis by Leveraging LLMs
日本大学: 関与なし（対象大学）
- GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservices
日本大学: 関与なし（対象大学）
- GANADI: Uncovering C/C++ OSS Reuse Genealogies via Pivotal Function-Based Clustering to Enhance Supply Chain Security
日本大学: 関与なし（対象大学）
- GPU-Accelerated Belief Propagation for Program Analysis
日本大学: 関与なし（対象大学）
- Generating Loop Invariants for Deductive Verification using Iterator Profiles
日本大学: 関与なし（対象大学）
- Generation of Web Apps with Agentic IDEs: An Empirical Assessment
日本大学: 関与なし（対象大学）