Conferences · eligible papers
ASE
2022–2026 LIVE
2026 · 263 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- S2CAgent: A Self-Learning Agent Knowledge Graph Framework for Software Supply Chain Analysis
日本大学: 関与なし（対象大学）
- SIMD-Accelerated Sparse Bit-Vectors for Pointer Analysis
日本大学: 関与なし（対象大学）
- SPSYN: Synthesizing DeFi Price-Manipulation Exploits via Semantic Recovery and State-Guided Search
日本大学: 関与なし（対象大学）
- Safe Multi-site Binary Instrumentation of Running x86-64 Programs
日本大学: 関与なし（対象大学）
- SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning
日本大学: 関与なし（対象大学）
- Safeguarding LLM Agents from Misalignment through Provenance Analysis
日本大学: 関与なし（対象大学）
- Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code
日本大学: 関与なし（対象大学）
- SecChain: Operationalizing Security Guidelines for Multi-agent Smart Contract Generation
日本大学: 関与なし（対象大学）
- Self-Discovering Security Oracles: Meta-learning Vulnerability Detection Strategies through Adversarial Self-Play
日本大学: 関与なし（対象大学）
- SimServing: Native-Execution Simulation for Evolution-Resilient LLM Serving Configuration Tuning
日本大学: 関与なし（対象大学）
- Smart Brain: Semantic Anomaly Detection for Operational Time Series in Large Scale Service Systems
日本大学: 関与なし（対象大学）
- Smart Contract Synthesis via Multi-modal Specifications
日本大学: 関与なし（対象大学）
- SmartPoC: Validating Smart Contract Vulnerability Findings through PoC Generation and Execution
日本大学: 関与なし（対象大学）
- Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards
日本大学: 関与なし（対象大学）
- Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
日本大学: 関与なし（対象大学）
- Spec2V: Planning-Guided Specification-to-Verilog Generation Framework with Verification-Driven Debugging
日本大学: 関与なし（対象大学）
- SpecFSM: Extracting and Repairing Finite State Machines from Protocol Specification Documents
日本大学: 関与なし（対象大学）
- SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients
日本大学: 関与なし（対象大学）
- Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
日本大学: 関与なし（対象大学）
- Stop When It Matters: Detectability-Guided Microbenchmarking for Performance Regression Testing
日本大学: 関与なし（対象大学）
- Structure-Guided Semantic Deobfuscation of Android Identifiers
日本大学: 関与なし（対象大学）
- SustainSR: Interpretable OSS Sustainability Prediction via Symbolic Regression
日本大学: 関与なし（対象大学）
- SwiftGram: Dynamic Lexical Forking for Precise and Efficient Grammar-Constrained Decoding
日本大学: 関与なし（対象大学）
- Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging
日本大学: 関与なし（対象大学）
- TDRepro: A Neurosymbolic Approach to Reproducing Timing-Dependent Flaky Test Failures
日本大学: 関与なし（対象大学）
- TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases
日本大学: 関与なし（対象大学）
- TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference
日本大学: 関与なし（対象大学）
- Tangent: An Empirical Study of Testing Practices for LLM-Based Agent Applications
日本大学: 関与なし（対象大学）
- TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
日本大学: 関与なし（対象大学）
- Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks
日本大学: 関与なし（対象大学）
- Testing IFrame Rendering in Web Browsers
日本大学: 関与なし（対象大学）
- Testing Static Analyzers via Semantic-Preserving Mutators Learned from Real-World Refactoring Practice
日本大学: 関与なし（対象大学）
- The CodeInverter Suite: Structure- and Data-Aware Binary Decompilation with Efficient LLMs
日本大学: 関与なし（対象大学）
- TheBotCompany: Self-Organizing Multi-agent Systems for Continuous Software Development
日本大学: 関与なし（対象大学）
- Think Before You Code: Dual Reasoning for the NLSafety–Utility Trade-Off in LLM Code Generation
日本大学: 関与なし（対象大学）
- To Ban or Not to Ban? How Open Source Projects Govern GenAI Contributions
日本大学: 関与なし（対象大学）
- To Think or Not to Think: Evaluating LLM Reasoning and Agents in Vulnerability Detection
日本大学: 関与なし（対象大学）
- Toward Inclusive Programming Support for Novice Programmers with Dyslexia: Insights from a Comparative Study
日本大学: 関与なし（対象大学）
- Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering
日本大学: 関与なし（対象大学）
- Towards Verifiable Fairness Testing: Auditable Coverage over Data-Supported Input Domains
日本大学: 関与なし（対象大学）
- Trace-Driven Automated PoC Synthesis for On-Chain Attacks
日本大学: 関与なし（対象大学）
- Tracing the Invisible: Semantic Message Flow Discovery via Data Contracts in Real-World Distributed Systems
日本大学: 関与なし（対象大学）
- TrackTest: Trajectory Generation and Prioritization for Testing Multiple Object Tracking System
日本大学: 関与なし（対象大学）
- Translation Tag Team: Formal Rules and LLMs Translate More Macros Together Than Apart
日本大学: 関与なし（対象大学）
- Understanding Bugs in Modern Agentic Frameworks: A Study of Symptoms, Root Causes, and Triggering Conditions
日本大学: 関与なし（対象大学）
- Understanding the Code and Architectural Smells Generated by LLMs and Autonomous Agents
日本大学: 関与なし（対象大学）
- VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries
日本大学: 関与なし（対象大学）
- VeriSBOM: Secure and Verifiable SBOM Sharing via Zero-Knowledge Proofs
日本大学: 関与なし（対象大学）
- Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution
日本大学: 関与なし（対象大学）
- We Must Have Missed This Comment: Detecting and Repairing Stale Function References in Linux Kernel Comments
日本大学: 関与なし（対象大学）
- WebCQ: Cooperative Multi-agent Deep Reinforcement Learning for Scalable Web GUI Testing
日本大学: 関与なし（対象大学）
- What Breaks When LLMs Code? Characterizing Operational Safety Failures of Agentic Code Assistants
日本大学: 関与なし（対象大学）
- When Ambiguity Meets Atypicality: Dual-Perspective Test Input Prioritization for DNNs
日本大学: 関与なし（対象大学）
- When Comments Mislead: An Empirical Study of Outdated Comments in LLM-Based Code Completion
日本大学: 関与なし（対象大学）
- When Compression Becomes an Attack Surface: Black-Box Attacks on Prompt-Compressed LLM Agents
日本大学: 関与なし（対象大学）
- When Dependencies Depend: A Large-Scale Study on Conditional Dependencies and Their Security Implications in C/C++
日本大学: 関与なし（対象大学）
- When Does AI Actually Help in Incident Response? Identifying Good First Messages in Cloud Service Incidents
日本大学: 関与なし（対象大学）
- When Extensions Lie: Large-Scale Study of Privacy Policy Compliance in Browser Extensions
日本大学: 関与なし（対象大学）
- When Knowledge Changes: Metamorphic Testing of RAG Systems with Mutations
日本大学: 関与なし（対象大学）
- Where Does Balance Break? Boundary Discovery for Game Balance Testing under a Finite Simulation Budget
日本大学: 立命館大学
- WiDepFuzz: Finding Wi-Fi Protocol Bugs in Mobile Hotspot via Field Dependency Model
日本大学: 関与なし（対象大学）
- Zero-Knowledge VMs: Security and Usability in Practice
日本大学: 関与なし（対象大学）
- “Impossible to Hide Secret ...”: Uncovering Security and Privacy Issues in LLM-Native IDEs
日本大学: 関与なし（対象大学）