Program - ASE 2026

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00		15		30		45		10:00	15	30			45			11:00			15		30			45			12:00		15	30	45	13:00	15	30	45	14:00			15			30			45			15:00			15			30		45	16:00	15	30	45		17:00		15			30	45
Boardroom	RSSR Opening 09:00 - 09:10	RSSR Can Our Systems Survive Their Own Evolution? 09:10 - 10:00									RSSR Model-centric approaches to assuring AI-based autonomy 10:30 - 11:20										RSSR Break-out groups: preparation 11:20 - 11:40			RSSR A Resilience-Oriented Orchestration Framework for Mission Continuity in ... 11:40 - 12:00				RSSR R²: Repairability-Preserving Recursive Repair for Multimodal Agentic Sy ... 12:00 - 12:20									CONFLANG A brief history of security configuration 14:00 - 15:20																CONFLANG Poliac: Production Observability for LLM-based Infrastructure as Code 15:20 - 15:40			CONFLANG How to represent CUE terms as graphs 15:40 - 16:00				CONFLANG Scopeannon: A Static Analyzer of Ansible’s Scope Ambiguities 16:30 - 16:50		CONFLANG Verifying the Stability of Terraform Executions 16:50 - 17:10		CONFLANG Déjà vu? Redundant Dependencies in Terraform 17:10 - 17:30
Forum 10	ASE Doctoral Symposium Opening 09:00 - 09:15		ASE Doctoral Symposium The Devil's Guide to Doing your PhD 09:15 - 10:00								ASE Doctoral Symposium Automated Explanation-Based Testing and Improvement of Trustworthiness ... 10:30 - 11:10								ASE Doctoral Symposium Studying, Identifying, and Fixing Hidden Technical Debt in AI-Intensive ... 11:10 - 11:50							ASE Doctoral Symposium Efficient Compiler Auto-tuning via Optimization Space Reduction 11:50 - 12:30											ASE Doctoral Symposium Evaluating and improving Quality of Experience in virtual environments 14:00 - 14:40								ASE Doctoral Symposium Understanding Human-AI Teaming for Software Engineering Practices 14:40 - 15:20								ASE Doctoral Symposium Human-centered LLM-based Agents to Support Agile Task Management in Sof ... 15:20 - 16:00							ASE Doctoral Symposium Safeguarding the Development and Deployment of Agentic AI Applications ... 16:30 - 17:10				ASE Doctoral Symposium Ask us Anything 17:10 - 17:25			ASE Doctoral Symposium Closing 17:25 - 17:30
Forum 11	JAWs 2 Editors in Conversation: What Makes a Strong TSE and TOSEM Article? 09:00 - 10:00											JAWs 2 Architecting Fairness-Aware LLM Interactions 10:35 - 10:40	JAWs 2 Structured Generative Autonomy: Combining LLM Flexibility with Assured ... 10:40 - 10:45	JAWs 2 Verification as an Architectural Layer for LLM Agents: A V-Model Design ... 10:45 - 10:50	JAWs 2 Model-Based Agentic Software Engineering 10:50 - 10:55	JAWs 2 Toward Bounding Coding-Agent Autonomy in Software Maintenance: A Pilot ... 10:55 - 11:00	JAWs 2 Journal Clinic I: Consultation Tables (Wise Crowds) 11:00 - 11:30					JAWs 2 Pre- and Post-Processing Pipeline for Local Small LMs in Requirements E ... 11:32 - 11:37	JAWs 2 When the Judge Is the Bottleneck: Measuring Where an Adversarial NL-to- ... 11:37 - 11:42	JAWs 2 Trustworthy Software Project Generation: A Case Study with an Interacti ... 11:42 - 11:47	JAWs 2 Contract-in-the-Loop: Context-Aware API Misuse Detection 11:47 - 11:52	JAWs 2 Skill or Threat? Risks and Scanner Gaps in the LLM Skill Ecosystem 11:52 - 11:57	JAWs 2 Journal Clinic II: Consultation Tables (Wise Crowds) 11:57 - 12:27											JAWs 2 Context Engineering for Uplift-Risk Decision Support: An Evidence-Packa ... 14:04 - 14:09	JAWs 2 Do Agent Skills Improve Agentic Code Review? 14:09 - 14:14	JAWs 2 Moderntic: Experience-Driven Agentic Modernization for Scalability-Read ... 14:14 - 14:19	JAWs 2 From Behavioral Differences to Structured Feedback: Human Review in AI- ... 14:19 - 14:24	JAWs 2 Journal Clinic III: Consultation Tables (Wise Crowds) 14:24 - 14:54						JAWs 2 Detecting Secret Agents 14:55 - 15:00	JAWs 2 Loop Engineering: Building Blocks, Adoption, and Impact 15:00 - 15:05	JAWs 2 Beyond Authorship: A Research Vision for Developer Criticality in AI-As ... 15:05 - 15:10	JAWs 2 BurnRiSc: Toward Non-Invasive Burnout Screening in Open Source from Pub ... 15:10 - 15:15	JAWs 2 Technostress in the Age of AI: A Preliminary Study with Software Profes ... 15:15 - 15:20	JAWs 2 Journal Clinic IV: Consultation Tables (Wise Crowds) 15:20 - 15:50							JAWs 2 From Workshop Paper to Journal Article: Minimum Specifications and Next ... 16:30 - 17:30
Forum 12									ASE Catering Break 10:00 - 10:30
Forum 13	APR What Are We Really Repairing? Lessons from Cloud Failures 09:00 - 10:00										APR Remediation Experience as a First-Class Citizen in Automated Program Repair 10:30 - 11:00						APR Test Cases Considered Harmful 11:00 - 11:20				APR FitGen: Validation and Guided Repair of LLM Generated Executable Fitnes ... 11:20 - 11:40			APR DafnyFix: Single-Transformation Automated Repair in Dafny 11:40 - 12:00				APR Whose Oracle Is It? The Authority Problem in Deployed Agentic Program R ... 12:00 - 12:20									APR Execution Features and Their Relations to Faults: A Replication on Defe ... 14:00 - 14:20				APR Failure Explanations: The Missing Abstraction between Debugging and Repair 14:20 - 14:40				APR AnchorRepair: A Reference-Guided Dual-Agent Framework for Code Translat ... 14:40 - 15:00				APR RAWL: Retrieval-Augmented Smart Contract Repair using Weisfeiler-Lehman ... 15:00 - 15:20
Forum 14	ASE Student Research Competition SRC Opening & Welcome 09:00 - 09:10	ASE Student Research Competition Making Vulnerability Proof-of-Concepts Trustworthy and Usable: From Emp ... 09:10 - 09:20		ASE Student Research Competition Order-Aware State Elimination for Algebraic Program Analysis 09:20 - 09:30	ASE Student Research Competition Toward Automatically Detecting Cross-Engine Asymptotic Complexity Diver ... 09:30 - 09:40	ASE Student Research Competition Adaptive Parallel Testing for Floating-Point Branch Coverage 09:40 - 09:50		ASE Student Research Competition Reconstructing Executable Programs from Informal Bug Reports 09:50 - 10:00			ASE Student Research Competition Code Detectors Have a Half-Life: Obsolescence and Metric Illusions in L ... 10:30 - 10:40		ASE Student Research Competition Correct According to Whom? Auditing What LLM-Generated Tests Actually Check 10:40 - 10:50		ASE Student Research Competition Measuring the Cost of Prompt Structure in LLM Code Generation 10:50 - 11:00		ASE Student Research Competition WiseSpec: Requirements-Driven Agents for Code Generation 11:00 - 11:10		ASE Student Research Competition MACO-AI: Multi-Agent Code Optimization via Annotations and Intrinsics 11:10 - 11:20		ASE Student Research Competition Where There's One Patch, There's Another: Taxonomy-Driven Discovery of ... 11:20 - 11:30	ASE Student Research Competition An Approach Toward Automated Generation of Contextual Privacy Policies ... 11:30 - 11:40		ASE Student Research Competition From Accessibility to Reachability: LLM-Driven Contrastive Accessibilit ... 11:40 - 11:50		ASE Student Research Competition Multi-Modal Boundary Testing of Vision–Language Models 11:50 - 12:00		ASE Student Research Competition Buffer / Judges' Discussion 12:00 - 12:30									ASE Student Research Competition Which Camera Perturbation Should We Test First? Offline-Guided Prioriti ... 14:00 - 14:10		ASE Student Research Competition Toward Authentic and Scalable Evaluation of Terminal Agents in Real-Wor ... 14:10 - 14:20		ASE Student Research Competition Danger Is a Counterfactual: Toward a Falsifiable Continuous Test Oracle ... 14:20 - 14:30		ASE Student Research Competition From Automated Program Repair to Automated Agent Repair: Why Failed Tra ... 14:30 - 14:40		ASE Student Research Competition PCLA-Bridge: The Reusability of CARLA-Trained Autonomous Driving Agents ... 14:40 - 14:50		ASE Student Research Competition Beyond Outcomes: Toward Process-Aware Software Agents 14:50 - 15:00		ASE Student Research Competition Final Judges' Deliberation / Buffer 15:00 - 15:30						ASE Student Research Competition SRC Closing & Awards 15:30 - 16:00
Forum 15	RASE Workshop Opening 09:00 - 09:15		RASE Combining Large-Scale Datasets, Program Analysis, and AI for Reliable a ... 09:15 - 10:00								RASE Toward Defensible System Behavior for AI-Generated Software Artifacts 10:30 - 10:45			RASE TaxVerif: Verification-Oriented COBOL Tax-Code Migration via Invariant ... 10:45 - 11:05				RASE NORMA: Automated AI Act Compliance Assessment for AI Training Datasets 11:05 - 11:20			RASE Can We Trust Strong Teachers? Auditing Knowledge Distillation for Binar ... 11:20 - 11:40			RASE Whose Specification Did You Test? The Hidden Interpretation Bias in LLM ... 11:40 - 11:55			RASE How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical ... 11:55 - 12:15										RASE Software Engineering Governance: Foundations for Trustworthy Automated ... 14:00 - 14:20				RASE HermesAngler: Enabling Dynamic Instrumentation of iOS React Native Apps 14:20 - 14:35			RASE Formal Analysis of Software Bills of Materials with Alloy 14:35 - 14:50			RASE Minimizing Vulnerability Prevalence in Maven Dependencies via Answer Se ... 14:50 - 15:10				RASE When Log Parsing Removes What Matters: Detecting Failures in Distribute ... 15:10 - 15:25			RASE When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross ... 15:25 - 15:45						RASE Discussion Panel 16:30 - 17:20						RASE Awards & Workshop Closing - chaired by RASE Chairs and AI4I-IAS (Valer ... 17:20 - 17:30
Forum 6		TRUST TRUST 26 Opening 09:10 - 09:20		TRUST Software Project Management with LLM-Based Automation: Coordination, Va ... 09:20 - 09:32	TRUST Closed-World Trustworthy Copilots for Legal and Regulatory Text 09:32 - 09:44		TRUST From Regulation to Innovation: Mining High-Impact AI Patents Grounded i ... 09:44 - 09:56				TRUST AgentChaosBench: Benchmarking External Fault Detection and Localization ... 10:30 - 10:42		TRUST Can Open-Weight LLMs Predict Test Outcomes from Traces? A Cross-Subject ... 10:42 - 10:54			TRUST Dynamic Deception: When Pedestrians Team Up to Fool Autonomous Cars 10:54 - 11:06		TRUST Explaining LLM Adaptation Decisions in Self-Adaptive Systems via Faithf ... 11:06 - 11:18			TRUST Metamorphic Stress Testing of Vision-Language Components for Time-Criti ... 11:18 - 11:30	TRUST Leveraging Large Language Models for Automated Discriminatory Test Gene ... 11:30 - 11:42		TRUST Fairness Guardrails for Autonomous Agents: A Trustworthiness-by-Design ... 11:42 - 11:50		TRUST On Resilience in Multi-agent Systems for Software Engineering 11:50 - 11:58		TRUST Automated Counterfactual Scenario Generation for Fairness Assessment of ... 11:58 - 12:10	TRUST Open Discussion and Closing 12:10 - 12:30
Forum 7	Harness4GenUI Introduction & Icebreaker 09:00 - 09:15		Harness4GenUI GenUI and User Centered Design and their Relationship with Automation D ... 09:15 - 10:00								Harness4GenUI What Endures When Everything Evolves? AFS-UI and the Search for Stable ... 10:30 - 11:15									Harness4GenUI Toward Frontier-Quality Declarative UI Generation at Small-Model Cost 11:15 - 11:35			Harness4GenUI The Driver Was Never the Problem: Cross-Platform Test Portability as a ... 11:35 - 11:55				Harness4GenUI Prompt-to-Feature Attribution for Explainable Software Generation 11:55 - 12:15			Harness4GenUI Interactive Activity 12:15 - 12:30							Harness4GenUI Demo Session: Generative UI for TaskGenAgent 14:00 - 14:05	Harness4GenUI Demo Session: GenAI for App Feedback 14:05 - 14:10	Harness4GenUI Demo Session: AFS-UI 14:10 - 14:20		Harness4GenUI Demo Session: QA 14:20 - 14:25		Harness4GenUI Panel Discussion 14:30 - 15:30												Harness4GenUI Closing 15:30 - 15:50					RSSR AIEngOrchestrator-HITL: Human-in-the-Loop Process Intelligence for Resi ... 16:30 - 16:50			RSSR MAVLink Proxy Defense with Intrusion Detection, Safety Quarantine, and ... 17:00 - 17:20					RSSR Break-out groups: summary 17:30 - 17:50		RSSR Closing 17:50 - 18:00
Forum 9	ASE New-Faculty Symposium Opening and Introductions 09:00 - 09:30				ASE New-Faculty Symposium Keeping the Flame Alive: Reflections on Building a Meaningful Research ... 09:30 - 10:00						ASE New-Faculty Symposium Research, People, and Me 10:30 - 11:00						ASE New-Faculty Symposium What Counts and What Matters: Careers, Criteria, and What is Actually W ... 11:00 - 11:30					ASE New-Faculty Symposium Panel 1: Reflections and Mentorship 11:30 - 12:00						ASE New-Faculty Symposium 2-on-1: Mentorship Round 1 12:00 - 12:30									ASE New-Faculty Symposium Career development and leadership growth 14:00 - 14:30						ASE New-Faculty Symposium On the Tenure Track: Lessons Learned So Far 14:30 - 15:00						ASE New-Faculty Symposium On Impact in SE Research 15:00 - 15:30						ASE New-Faculty Symposium Panel 2: Growth and Career 15:30 - 16:00					ASE New-Faculty Symposium 2-on-1: Mentorship Round 2 16:30 - 17:00			ASE New-Faculty Symposium Summary and Closing 17:00 - 17:30

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45		11:00		15		30		45		12:00			15		30	45	13:00	15	30	45	14:00	15	30		45		15:00	15		30		45		16:00	15	30		45		17:00		15		30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Forum 1											ASE Research Papers How Reasoning Shapes Social Bias in LLM-Generated Code? 10:30 - 10:45	ASE Research Papers Think Before You Code: Dual Reasoning for the NLSafety–Utility Trade-Of ... 10:45 - 11:00		ASE Research Papers Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC ... 11:00 - 11:15		ASE Research Papers SwiftGram: Dynamic Lexical Forking for Precise and Efficient Grammar-Co ... 11:15 - 11:30		ASE Research Papers AlphaCu: A Transformation-Driven Synthesis Framework for LLM-Based GPU ... 11:30 - 11:45		ASE Research Papers MultiKernelBench: A Multi-platform Benchmark for Kernel Generation 11:45 - 12:00		ASE Research Papers RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real- ... 12:00 - 12:15			ASE Research Papers Formal Verification-Integrated Reinforcement Learning for Automated ORM ... 12:15 - 12:30								ASE Research Papers ExeCRE: Execution-Consistency Guided Reliability Estimation for Self-Co ... 14:00 - 14:15	ASE Research Papers Translation Tag Team: Formal Rules and LLMs Translate More Macros Toget ... 14:15 - 14:30	ASE Research Papers Regression Accumulation in Multi-turn LLM Programming Conversations 14:30 - 14:45		ASE Research Papers When Comments Mislead: An Empirical Study of Outdated Comments in LLM-B ... 14:45 - 15:00		ASE Industry Showcase Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and R ... 15:00 - 15:15	ASE Research Papers Instruction Alignment for Binary Code Representation Learning 15:15 - 15:30		ASE Research Papers Post-hoc Attention Steering of Large Language Models for Robust Code Un ... 15:30 - 15:45		ASE Research Papers Lost in Translation, Found in Summary: Summary-Driven Supervision for C ... 15:45 - 16:00				ASE Research Papers Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep ... 16:30 - 16:45		ASE Research Papers AgentChaos: Chaos Engineering for Agent Systems via Programmatic Fault ... 16:45 - 17:00		ASE Journal First How Composite Metamorphic Relations Enhance Test Effectiveness of DNN T ... 17:00 - 17:15		ASE Research Papers When Ambiguity Meets Atypicality: Dual-Perspective Test Input Prioritiz ... 17:15 - 17:30
Forum 15											ASE Research Papers TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference 10:30 - 10:45	ASE Research Papers When Does AI Actually Help in Incident Response? Identifying Good First ... 10:45 - 11:00		ASE Industry Showcase Expanding Guard Reach: Online Learning-Driven Incremental Kernel Panic ... 11:00 - 11:15		ASE Research Papers GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident R ... 11:15 - 11:30		ASE Industry Showcase OpsAgent: An Evolving Multi-agent System for Incident Management in Mic ... 11:30 - 11:45		ASE Industry Showcase ActionNex: A Production-Grade System for Next-Best-Action Recommendatio ... 11:45 - 12:00		ASE Research Papers ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented D ... 12:00 - 12:15			ASE Industry Showcase Towards Reliable Alarm Flood Reduction in Data Center via Grammar-Guide ... 12:15 - 12:30								ASE Research Papers RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents usi ... 14:00 - 14:15	ASE Journal First Exploring Development Methods for Reactive Synthesis Specifications 14:15 - 14:30	ASE Tools and Datasets TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Lo ... 14:30 - 14:40	ASE Tools and Datasets ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Ca ... 14:40 - 14:50		ASE NIER Can Formal Specifications Be Synthesized from Tests Alone? 14:50 - 15:00	ASE Research Papers Formula Completion Suggestions for Alloy Models with Selection Guidance 15:00 - 15:15	ASE Industry Showcase Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Fa ... 15:15 - 15:30		ASE Research Papers All or Nothing: How Library Type Annotations Affect Client-Side Errors ... 15:30 - 15:45		ASE Research Papers MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from La ... 15:45 - 16:00				ASE Research Papers MicroAgent: Context-Augmented Multi-agent Framework for Automatic Micro ... 16:30 - 16:45		ASE Industry Showcase MicroWeaver: A Constraint-Guided Structure–Semantic Aware Approach to A ... 16:45 - 17:00		ASE Tools and Datasets The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Archit ... 17:00 - 17:10	ASE Industry Showcase DAL: Decoupled Aspect-Based Layering of I/O Processing for Automotive S ... 17:10 - 17:20		ASE Tools and Datasets CAS2UML: A Handwritten Sketch-to-PlantUML Dataset for Class and Activit ... 17:20 - 17:30
Forum 16											ASE Research Papers An Empirical Study of Data Access Practice in Android AR Apps to Unders ... 10:30 - 10:45	ASE NIER Software Engineering Meets the EU AI Act: Artifacts, Patterns, and Futu ... 10:45 - 10:55	ASE Research Papers When Extensions Lie: Large-Scale Study of Privacy Policy Compliance in ... 10:55 - 11:10		ASE Research Papers VeriSBOM: Secure and Verifiable SBOM Sharing via Zero-Knowledge Proofs 11:10 - 11:25		ASE Research Papers Evaluating Inference-Time Defenses against Package Hallucination in LLM ... 11:25 - 11:40		ASE Research Papers Post-quantum Cryptography in the Wild: Assessing the Readiness of Open- ... 11:40 - 11:55		ASE Research Papers Execution-as-Configuration: Security Smells in Model Configuration Arti ... 11:55 - 12:10			ASE Tools and Datasets AIGen: Automating AI Bill of Materials Generation through Hybrid MLOps ... 12:10 - 12:20		ASE Tools and Datasets AIRBORNE: Augmented fIne-grained softwaRe Bill Of mateRials geNerator f ... 12:20 - 12:30							ASE Research Papers Understanding the Code and Architectural Smells Generated by LLMs and A ... 14:00 - 14:15	ASE Industry Showcase ABACI: Automated Downstream Bug Resolution via Semantic-Aware Bisection ... 14:15 - 14:30	ASE Research Papers HyTri: Hybrid Triage of CI Failures via LLM Guided Semantic Reasoning a ... 14:30 - 14:45		ASE Research Papers Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Conf ... 14:45 - 15:00		ASE Research Papers Implicit, Yet Impactful: Understanding Hidden Dependencies in Java Projects 15:00 - 15:15	ASE Research Papers DepUpgrade: Automating Dependency Upgrade through State-Path Exploration 15:15 - 15:30		ASE Research Papers DAGGER: Dynamic Agentic Graph-Guided Efficient Reasoner for Container I ... 15:30 - 15:45		ASE Journal First Byam: Fixing Breaking Dependency Updates with Large Language Models 15:45 - 16:00				ASE Research Papers Assessing the Cross-Version Applicability of Java Library Vulnerability ... 16:30 - 16:45		ASE Research Papers RAVEN: Measuring Detection Instability in Anti-virus Engines under Sema ... 16:45 - 17:00		ASE Tools and Datasets JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a U ... 17:00 - 17:10	ASE Tools and Datasets AgentSysFilter: A Multi-agent Analysis Approach for Scenario-Aware Sysc ... 17:10 - 17:20		ASE Industry Showcase Vulnerability Tracking using Normalized Scope+Offset 17:20 - 17:30
Forum 2											ASE Research Papers ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probab ... 10:30 - 10:45	ASE Research Papers What Breaks When LLMs Code? Characterizing Operational Safety Failures ... 10:45 - 11:00		ASE Industry Showcase Maintaining Control States for Initialization-Aware GRPO in Industrial ... 11:00 - 11:15		ASE Research Papers From Plan to Action: How Well Do Agents Follow the Plan? 11:15 - 11:30		ASE Research Papers Safeguarding LLM Agents from Misalignment through Provenance Analysis 11:30 - 11:45			ASE Tools and Datasets FeatX: Editing Software by Editing Features for Repository-Level Code E ... 11:55 - 12:05		ASE Tools and Datasets Graphectory Viewer: A Tool for Process-Centric Analysis of Agentic Soft ... 12:05 - 12:15		ASE Journal First Assessing the adoption of security policies by developers in terraform ... 12:15 - 12:30								ASE Research Papers Piece by Piece: Automating Combination Interaction GUI Testing via Plan ... 14:00 - 14:15	ASE Research Papers AgentExecutor: Partial Code Execution via Agentic Context Generation 14:15 - 14:30	ASE Research Papers Evaluating the Maintainability of ViewModel Tests using Multi-modal DSL ... 14:30 - 14:45		ASE Tools and Datasets AutoFLC: An LLM-Based Flowchart Generation Tool for Legacy Code Repository 14:45 - 14:55		ASE Journal First Using Large Language Models to Test Voice User Interfaces 15:00 - 15:15	ASE Journal First VUI Testing of VPA Apps via Behavior Model-Enhanced LLM Agents 15:15 - 15:30		ASE Industry Showcase Doc2Test: An Industrial Multi-agent Framework for Document-Driven End-t ... 15:30 - 15:45		ASE Industry Showcase Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale 15:45 - 16:00				ASE Research Papers TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases 16:30 - 16:45		ASE Industry Showcase Fuzz4DB: A Practice of LLM-Agent-Guided Fuzzing for Database Feature-Le ... 16:45 - 17:00		ASE Research Papers KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Langua ... 17:00 - 17:15		ASE Research Papers Finding Typing-Related Bugs in JVM Implementations 17:15 - 17:30
Forum 6											ASE Journal First Issue-Oriented Agent-Based Framework for Automated Review Comment Gener ... 10:30 - 10:45	ASE Research Papers ExplainBench: Evaluating Code Explanations from Agents 10:45 - 11:00		ASE Industry Showcase Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and R ... 11:00 - 11:15		ASE Research Papers RepoProbe: Benchmarking Architecture-Aware Repository Comprehension wit ... 11:15 - 11:30		ASE Research Papers We Must Have Missed This Comment: Detecting and Repairing Stale Functio ... 11:30 - 11:45		ASE Journal First How Developer Coreness Influences the Patch-Review Process: A Mixed-Met ... 11:45 - 12:00		ASE Research Papers On the Reliability of Code Comprehension Proxies 12:00 - 12:15			ASE Research Papers Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labe ... 12:15 - 12:30								ASE Research Papers Mind the Gap: Do Widely-Used SAST Tools Really Cover the Language-Speci ... 14:00 - 14:15	ASE Research Papers Perception, Reasoning, and Action: A ReAct-Based Vulnerability Detectio ... 14:15 - 14:30	ASE Research Papers One Is Not Enough: The Untold Story of Multiple Security Patches for On ... 14:30 - 14:45		ASE Research Papers Are Reasoning Traces Faithful in LLM-Based Code Vulnerability Detection? 14:45 - 15:00		ASE Research Papers Harnessing Uncertainty in Code Language Models: Lessons from Vulnerabil ... 15:00 - 15:15	ASE Journal First UntrustVul: Automated Untrustworthy Alert Identification in Vulnerabili ... 15:15 - 15:30		ASE Industry Showcase No Isolated Evolution, No Blind Search: Memory-Guided Prompt Co-evoluti ... 15:30 - 15:45		ASE Industry Showcase AgenticSCR: An Autonomous Agentic Secure Code Review for Immature Vulne ... 15:45 - 16:00				ASE Journal First Less Noise, More Signal: the DRR Effect for Better Optimizations of a R ... 16:30 - 16:45		ASE Research Papers How Well Do LLMs Generate Taxonomies in the SE Domain? A Multi-perspect ... 16:45 - 17:00		ASE NIER The Ground Is Shifting: A Reflection on the Foundations of Software Mea ... 17:00 - 17:10	ASE NIER ECLAIR: A Causally-Grounded AI Framework for Scientific Discovery in Em ... 17:10 - 17:20		ASE Industry Showcase When Elo Lies: Hidden Biases in Codeforces-Based Evaluation of Large La ... 17:20 - 17:30
Forum 7											ASE Research Papers Documentation vs. Code Patterns: What Drives LLM-Based Exception Oracle ... 10:30 - 10:45	ASE Research Papers DynCA: An Effective Algorithm for 3-Wise Combinatorial Interaction Test ... 10:45 - 11:00		ASE Research Papers Escaping the Self-Repair Trap: Improving Test Oracle Generation via Dua ... 11:00 - 11:15		ASE Journal First JSTestCraft: Addressing Context Deficits in JavaScript Unit Test Genera ... 11:15 - 11:30		ASE Research Papers RustGTC: Constraint-Guided Test Generation for Rust APIs via Comment An ... 11:30 - 11:45		ASE Industry Showcase EvoLLM: High-Coverage, Readable, and Token-Efficient Unit Test Generati ... 11:45 - 12:00		ASE Tools and Datasets SplitCA: An Effective Tool for Generating 4-wise Covering Arrays for La ... 12:00 - 12:10		ASE Tools and Datasets PITMuS: A Tool for Automated Bug Dataset Generation via Source-Level Mu ... 12:10 - 12:20		ASE Tools and Datasets UltraInstinctVR: A Model-Based Tool for Automated System Testing of VR ... 12:20 - 12:30							ASE Research Papers Stop When It Matters: Detectability-Guided Microbenchmarking for Perfor ... 14:00 - 14:15	ASE Research Papers Multi-level Code Optimization via Mixture of Prompts 14:15 - 14:30	ASE Research Papers Less Is More: Tuning Configurable Systems with Imperfect Fidelity 14:30 - 14:45		ASE Industry Showcase Characterizing and Mitigating Productivity Loss in Large-Scale Model Tr ... 14:45 - 15:00		ASE Industry Showcase Understanding the Performance-Effectiveness Trade-Offs of AddressSaniti ... 15:00 - 15:15	ASE Industry Showcase Li-WaC: A Lightweight WebAssembly Container for Independently Upgradabl ... 15:15 - 15:30		ASE Industry Showcase DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving A ... 15:30 - 15:45		ASE Industry Showcase WiseSword: An Automated Computation Graph Partitioning Tool for Industr ... 15:45 - 16:00				ASE Research Papers ARMOR: A Robust Self-Supervised Framework for Root Cause Analysis in Mi ... 16:30 - 16:45		ASE Research Papers Source-Free Detection and Impact Analysis of Compiler Optimization Prob ... 16:45 - 17:00		ASE Industry Showcase CAPMix: Robust KPI Anomaly Detection for AIOps in Noisy and Dynamic Env ... 17:00 - 17:15		ASE Industry Showcase OpsLens: Runbook-Free Root Cause Analysis via Multi-agent Collaboration ... 17:15 - 17:30
Forum 8											ASE Industry Showcase If You Build It, Will They Come? Lessons from 20 Years of Industrial Us ... 10:30 - 10:45	ASE Research Papers PCodeTrans: Translate Decompiled Pseudocode to Trace-Level Equivalent S ... 10:45 - 11:00		ASE Research Papers Beyond Text Matching: Towards Reference-Free Evaluation for Human-Orien ... 11:00 - 11:15		ASE Research Papers The CodeInverter Suite: Structure- and Data-Aware Binary Decompilation ... 11:15 - 11:30		ASE Research Papers HyBinMAS: LLM-Powered Hybrid Analysis for Function Name Recovery of Str ... 11:30 - 11:45		ASE Research Papers BDiff: Block-Aware and Accurate Text-Based Code Differencing 11:45 - 12:00		ASE Research Papers Needle in the Repo: Diagnosing Maintainability Failures in AI-Generated ... 12:00 - 12:15			ASE Research Papers Code Transformation Rule Synthesis using LLMs: Potential and Limits 12:15 - 12:30									ASE Research Papers DesignFix: Context-Augmented Repair of Design Rule Violations 14:15 - 14:30	ASE Research Papers ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS 14:30 - 14:45		ASE Research Papers LaMAR: Latent Multi-agent Collaboration via KV-Cache Communication for ... 14:45 - 15:00		ASE Industry Showcase From Security Findings to Verified Fixes: Automated Repair of Infrastru ... 15:00 - 15:15	ASE Industry Showcase Catching Developers in the Flow: Low-Latency Agentic Program Repair at ... 15:15 - 15:30		ASE Tools and Datasets TraceGate: A Framework for Policy-Controlled Failure Evidence in LLM-As ... 15:30 - 15:40	ASE NIER Is Three the Magic Number? An Empirical Evaluation of LLM-Based Repair ... 15:40 - 15:50		ASE Tools and Datasets ReproBreak: A Dataset of Reproducible Web Locator Breaks 15:50 - 16:00			ASE Tools and Datasets FlightRecorder: Tracing Fine-Grained Development with AI Assistants 16:30 - 16:40	ASE NIER Do Not Copy/Paste: Soft Barriers for Copying in AI-Assisted Programming 16:40 - 16:50		ASE Industry Showcase Prompt Coach: An Empirical Evaluation of an Agentic Tutor for Learning ... 16:50 - 17:00	ASE NIER Agents That Teach: Towards Designing Incidental Learning Back into AI-A ... 17:00 - 17:10	ASE Tools and Datasets ScratchLog+: Live Analytics of Learners’ Exercise Progress 17:10 - 17:20
Plenary Room (Forum 1-3)			ASE Organization ASE Opening 08:30 - 09:00		ASE Keynotes Trust the Delta: Rethinking Software Validation in the AI Era 09:00 - 10:00																																				ASE Catering Conferene Reception 18:00 - 21:30

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00	15	30	45	10:00	15	30	45	11:00		15		30		45			12:00			15		30	45	13:00	15	30	45	14:00	15			30		45		15:00		15			30		45		16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
Festsaal																															ASE Catering Conference Dinner 18:30 - 22:30
Forum 1							ASE Research Papers PAIChecker: Uncovering and Checking PR-Issue Misalignment in SWE-Bench- ... 10:30 - 10:45	ASE Industry Showcase REAP: Automatic Curation of Coding Agent Benchmarks from Interactive Pr ... 10:45 - 11:00	ASE NIER SkillMOO: Multi-objective Optimization of Agent Skills for Software Eng ... 11:00 - 11:10	ASE Tools and Datasets RELY-SE: A Dashboard for Measuring Operational Reliability of AI Coding ... 11:10 - 11:20		ASE Research Papers Automated Table Reproduction via Code Generation 11:20 - 11:35		ASE Research Papers Free Is More: Empowering Software Agents via Issue-Free Trajectory Lear ... 11:35 - 11:50		ASE Research Papers LLM Agents Can See Code Repositories 11:50 - 12:05			ASE Research Papers ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation a ... 12:05 - 12:20			ASE NIER K-COBAgent: A Knowledge-Driven Multi-agent Framework for COBOL Moderniz ... 12:20 - 12:30							ASE Journal First Benchmarking Contextual Understanding for In-Car Conversational Systems 14:00 - 14:15	ASE Research Papers Understanding Bugs in Modern Agentic Frameworks: A Study of Symptoms, R ... 14:15 - 14:30			ASE Journal First DiffGAN: A Test Generation Approach for Differential Testing of Deep Ne ... 14:30 - 14:45		ASE Industry Showcase Search-Based Testing of Vision Language Models for In-Car Scene Underst ... 14:45 - 15:00		ASE Research Papers When Knowledge Changes: Metamorphic Testing of RAG Systems with Mutations 15:00 - 15:15		ASE Research Papers Automated Assertion Generation and Regression Testing for Machine Learn ... 15:15 - 15:30			ASE Journal First False-Positive Bug Reports in Deep Learning Compilers: Stages, Root Cau ... 15:30 - 15:45		ASE Research Papers CIPIHunter: Detecting Configuration-Induced Prediction Instability in D ... 15:45 - 16:00
Forum 15							ASE Research Papers Can Large Language Models Decompose User Stories into Tasks? Exploring ... 10:30 - 10:45	ASE Industry Showcase Bridging Stakeholder and Product Requirements: An Empirical Study of Re ... 10:45 - 11:00	ASE Industry Showcase From Backlog Items to Security Guidance: Towards Continuous Security Co ... 11:00 - 11:15		ASE Research Papers A Scalable Rule-Based Deep Reinforcement Learning Framework for the Nex ... 11:15 - 11:30		ASE Research Papers Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification ... 11:30 - 11:45		ASE Research Papers ReqEvolve: User-Oriented Software Self-Evolution through Automatic Requ ... 11:45 - 12:00			ASE NIER Specifying the Delegated-Autonomy Boundary: Requirements Engineering fo ... 12:00 - 12:10		ASE NIER End-to-End Regulatory Compliance Evolution Pipeline: From Legal Require ... 12:10 - 12:20		ASE Tools and Datasets Agent-HAnS: Maintaining Feature and Code Traceability in Agentic Develo ... 12:20 - 12:30							ASE Research Papers HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents 14:00 - 14:15	ASE Journal First Observability of web applications: an industrial case study 14:15 - 14:30			ASE Research Papers Enhancing Trace-Based Root Cause Analysis for Microservice Systems via ... 14:30 - 14:45		ASE Research Papers Bifrost: Empowering Pretrained Language Model with Fallibility Represen ... 14:45 - 15:00		ASE Industry Showcase LLM-Assisted Joint Ticket and Log Analysis for Incident Triage in Intel ... 15:00 - 15:15		ASE Industry Showcase AlarmClaw: Context-Enriched Alarm Management with Category-/Severity-Aw ... 15:15 - 15:30			ASE Research Papers Smart Brain: Semantic Anomaly Detection for Operational Time Series in ... 15:30 - 15:45		ASE Industry Showcase KRCA: An Efficient Root Cause Analysis System in Hyper-scale Microservi ... 15:45 - 16:00
Forum 16							ASE Journal First Scenario-Guided LLM-based Mobile App GUI Testing 10:30 - 10:45	ASE Research Papers Repository-Aware Metamorphic Relation Generation for Augmented Reality ... 10:45 - 11:00	ASE Research Papers PropGen: Automated Property Generation for Property-Based Testing of Mo ... 11:00 - 11:15		ASE Industry Showcase DragonCrawl: A Generative, Intent-Based Framework for Scalable Mobile E ... 11:15 - 11:30		ASE Research Papers Testing IFrame Rendering in Web Browsers 11:30 - 11:45		ASE Journal First LDMDroid: Leveraging LLMs for Detecting Data Manipulation Errors in And ... 11:45 - 12:00			ASE NIER UIXPOSE: Screen-Conditioned Runtime Discrepancy Analysis for Security-A ... 12:00 - 12:10		ASE Tools and Datasets E-CoDrive: A Co-Simulation Framework for Testing Energy-Critical Drivin ... 12:10 - 12:20		ASE Tools and Datasets Cam2Sim: Neural Scenario Reconstruction for Closed-Loop Autonomous Driv ... 12:20 - 12:30							ASE Research Papers GraphLedger: Repository-Level Vulnerability Detection via Graph-Based C ... 14:00 - 14:15	ASE Research Papers Breaking Customized LLMs for Coding: Automated Red Teaming for Instruct ... 14:15 - 14:30			ASE Industry Showcase IAM Policy Autopilot: Static Analysis for Policy Generation from Applic ... 14:30 - 14:45		ASE Research Papers A Comprehensive Evaluation of Code Language Models for Security Patch D ... 14:45 - 15:00		ASE Journal First LLMs as Hackers: Autonomous Linux Privilege Escalation Attacks 15:00 - 15:15		ASE Research Papers “Impossible to Hide Secret ...”: Uncovering Security and Privacy Issues ... 15:15 - 15:30			ASE Research Papers ReSEDA: Automatic and Precise Program-Level ReDoS Triage via Interproce ... 15:30 - 15:45		ASE Research Papers Benchmarking Automated Security Patch Backporting: How Far Are We? 15:45 - 16:00
Forum 2							ASE Industry Showcase Kozuchi Agent: A Language-Agnostic Open-Weight Agent for Software Repair 10:30 - 10:45	ASE Industry Showcase InfraAPR: An Agent-Based Repair Framework for Cloud Infrastructure-as-C ... 10:45 - 11:00	ASE Research Papers MultiFixer: A Coordinator-Proposer Based Multi-agent Framework for Fixi ... 11:00 - 11:15		ASE Research Papers From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-G ... 11:15 - 11:30		ASE Research Papers Probe to Generate: Program Variant-Guided Test Augmentation for Reposit ... 11:30 - 11:45		ASE Research Papers A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced ... 11:45 - 12:00			ASE Journal First PrevaRank: Ranking Plausible Patches by Historic Feature Frequencies 12:00 - 12:15			ASE Research Papers PSearch: Search-Based Patch Generation in the Era of LLM-Based Automate ... 12:15 - 12:30								ASE Research Papers Every Scenario Matters: Scenario-Guided White-Box Testing for Static Co ... 14:00 - 14:15	ASE Journal First Intent-Aware Defect Pattern Extraction from Singular Examples 14:15 - 14:30			ASE Research Papers Conflict Extraction in Probabilistic Datalog Analyses 14:30 - 14:45		ASE Research Papers Large Language Model Enabled Symbolic Execution for Automated Functiona ... 14:45 - 15:00		ASE Research Papers Orbis: Guiding Symbolic Execution Techniques to Maximize Option-Related ... 15:00 - 15:15		ASE Research Papers SIMD-Accelerated Sparse Bit-Vectors for Pointer Analysis 15:15 - 15:30			ASE Research Papers IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ 15:30 - 15:45		ASE Research Papers PELSE: Asymmetric-Evidence-Guided MCU Peripheral Model Synthesis 15:45 - 16:00
Forum 6							ASE Industry Showcase GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing 10:30 - 10:45	ASE Research Papers When Compression Becomes an Attack Surface: Black-Box Attacks on Prompt ... 10:45 - 11:00			ASE Research Papers To Think or Not to Think: Evaluating LLM Reasoning and Agents in Vulner ... 11:15 - 11:30		ASE Research Papers Decompiling the Web: Automated Semantic Recovery of Post-compilation Ab ... 11:30 - 11:45		ASE Journal First Context-Enhanced Vulnerability Detection Based on Large Language Models 11:45 - 12:00			ASE Research Papers CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection 12:00 - 12:15			ASE Research Papers Learning to Triage Vulnerability Reports from Program Analysis: An Empi ... 12:15 - 12:30								ASE Research Papers Characterizing the Landscape of Open-Source Satellite Software 14:00 - 14:15	ASE Research Papers Recovering Revisions of Pull Requests with Altered History 14:15 - 14:30			ASE Journal First An Exploratory Study on LLM-Generated Code and Comments in Code Reposit ... 14:30 - 14:45		ASE Research Papers RealAIGC: Towards More Realistic Evaluation of AI-Generated Code Detect ... 14:45 - 15:00		ASE Research Papers Looks Good, but Does It Run? A Large-Scale Empirical Study of the Execu ... 15:00 - 15:15		ASE Journal First Observing Fine-Grained Changes in Jupyter Notebooks During Development Time 15:15 - 15:30			ASE Research Papers ATLAS: Agentic Taxonomy of LArge-Scale Software Ecosystems 15:30 - 15:45		ASE Research Papers SustainSR: Interpretable OSS Sustainability Prediction via Symbolic Reg ... 15:45 - 16:00
Forum 7							ASE Research Papers Structure-Guided Semantic Deobfuscation of Android Identifiers 10:30 - 10:45	ASE Research Papers Latent Reuse in Agent Skills: Multi-modal Clone Detection at Ecosystem ... 10:45 - 11:00	ASE Research Papers On the Effects of Customized Configurations of Static Code Analysis Too ... 11:00 - 11:15		ASE Research Papers A Unified Model for Cross-Domain Clone Detection via Model Merging 11:15 - 11:30		ASE Research Papers LLM-Based Agents for Identifying Bug-Introducing Commits 11:30 - 11:45		ASE Tools and Datasets A Smart Assistant for Debugging 11:45 - 11:55		ASE Tools and Datasets LintCFG: DSL-Driven Linter Configuration Generation for Coding Standards 11:55 - 12:05		ASE Tools and Datasets SmellCC: A Tool for Automated Code Smells Remediation 12:05 - 12:15		ASE Journal First Smelly-shot is All You Need: An Empirical Study to Compare In-Context L ... 12:15 - 12:30									ASE Research Papers TDRepro: A Neurosymbolic Approach to Reproducing Timing-Dependent Flaky ... 14:15 - 14:30			ASE Research Papers Synthesizing File-Level Data for Unit Test Generation with Chain-of-Tho ... 14:30 - 14:45		ASE Research Papers Feature-Focused Test Generation 14:45 - 15:00		ASE Journal First Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test ... 15:00 - 15:15		ASE Tools and Datasets FlakeFighters: A PyTest Plugin to Detect Flaky Test Failures 15:15 - 15:25		ASE Tools and Datasets multiplex: A Modular LLM-Based Mutation Framework 15:25 - 15:35		ASE Research Papers Don’t Retest Everything: Auditable Regression Scoping for Safety-Critic ... 15:35 - 15:50		ASE Tools and Datasets TORI: A Tool for Oracle Quality Assessment 15:50 - 16:00
Forum 8							ASE Industry Showcase A Longitudinal Analysis of Software Development Evolution in a Financia ... 10:30 - 10:45	ASE Research Papers Fragmented Markers, Mixed Results: A Systematic Review of AI Coding Ass ... 10:45 - 11:00	ASE Industry Showcase Command Coding: A Methodological Framework for AI-Accelerated Software ... 11:00 - 11:15		ASE Research Papers To Ban or Not to Ban? How Open Source Projects Govern GenAI Contributions 11:15 - 11:30				ASE Journal First “Should I Give Up Now?” Investigating LLM Pitfalls in Software Engineering 11:45 - 12:00			ASE Research Papers A Low-Cost Human-in-the-Loop Investigation of Toxicity on GitHub at Scale 12:00 - 12:15			ASE Research Papers Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-W ... 12:15 - 12:30								ASE Industry Showcase Requirements-Augmented Generation for Trustworthy Acceptance Testing of ... 14:00 - 14:15	ASE NIER Empirical Computation: Prompting versus Programming 14:15 - 14:25		ASE Tools and Datasets BESSER-NN: Visual Neural Network Design and Automated Code Generation w ... 14:25 - 14:35		ASE NIER Distributional Program Analysis: Treating Large Language Models as Prog ... 14:35 - 14:45	ASE Tools and Datasets UIBenchKit: A Unified Toolkit for Design-to-Code Model Evaluation 14:45 - 14:55	ASE Industry Showcase IP-Preserving Enterprise System Modernization via LLM-Driven Specificat ... 14:55 - 15:05		ASE Research Papers SecChain: Operationalizing Security Guidelines for Multi-agent Smart Co ... 15:05 - 15:20		ASE Research Papers Smart Contract Synthesis via Multi-modal Specifications 15:20 - 15:35			ASE Tools and Datasets MergeSE: Post-Hoc Model Merging for Software Engineering Tasks without ... 15:35 - 15:45	ASE Industry Showcase Why Is This on My Bill? Documentation-Grounded Rule Learning for Itemiz ... 15:45 - 16:00
Plenary Room (Forum 1-3)	ASE Keynotes Beyond the Hype: What AI Really Did to Software Engineering 09:00 - 10:00																																							ASE Awards ASE Award 16:30 - 17:00					ASE Awards Usage, costs, and benefits of continuous integration in open-source pro ... 17:00 - 17:30

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00	15	30	45	10:00	15	30		45		11:00	15		30		45		12:00		15		30	45	13:00	15	30	45	14:00	15		30		45		15:00			15		30		45		16:00	15	30	45	17:00		15		30	45
Forum 1							ASE Industry Showcase DepWareTrans: Dependency-Aware Incremental Repository Migration across ... 10:30 - 10:45		ASE Research Papers Aligning User Requirement with Large Language Model in Code Generation 10:45 - 11:00		ASE Research Papers Pattern over Pixels: Measuring Pattern Completion Bias in Multimodal Co ... 11:00 - 11:15	ASE Industry Showcase Customizing an LLM for Enterprise Software Engineering 11:15 - 11:30		ASE Research Papers From Vibe to Spec: An Empirical Study to Demystify Specifications in Co ... 11:30 - 11:45		ASE Research Papers AEG-Edit: Bridging API Evolution and Code Semantics for Accurate API Us ... 11:45 - 12:00		ASE Research Papers Effective and Efficient Context Retrieval via Partial Dependency Graph ... 12:00 - 12:15		ASE Research Papers Towards Fully Automated Medical Imaging Code Generation via Validation- ... 12:15 - 12:30								ASE Journal First RAGVA: Engineering retrieval augmented generation-based virtual assista ... 14:00 - 14:15	ASE Research Papers Localizing Data Annotation Faults in Semantic Segmentation Systems 14:15 - 14:30		ASE Journal First Targeted Deep Learning System Boundary Testing 14:30 - 14:45		ASE Research Papers Tangent: An Empirical Study of Testing Practices for LLM-Based Agent Ap ... 14:45 - 15:00		ASE Journal First XMutant: XAI-based fuzzing for deep learning systems 15:00 - 15:15			ASE Research Papers Optimization-Free Repair of Code LLMs: A Closed-Form Fisher-Guided Baye ... 15:15 - 15:30		ASE Research Papers Evolution-Aware Regression Test Prioritization of ML-Enabled Systems us ... 15:30 - 15:45		ASE Research Papers Not as Sweet by Another Name: An Empirical Study of Format Robustness i ... 15:45 - 16:00				ASE Research Papers Toward Inclusive Programming Support for Novice Programmers with Dyslex ... 16:30 - 16:45	ASE Research Papers A Selective Undo/Redo Algorithm for Dependency-Constrained Operation Hi ... 16:45 - 17:00	ASE NIER Towards Multilingual AI-Assisted Software Engineering 17:00 - 17:10			ASE NIER Agentic Code Review in the Terminal: A Trajectory-Level Analysis of Beh ... 17:20 - 17:30
Forum 15							ASE Research Papers Generating Loop Invariants for Deductive Verification using Iterator Pr ... 10:30 - 10:45		ASE Research Papers Clarity: From Formal System Designs to Verified RL Controllers 10:45 - 11:00		ASE Industry Showcase ControlsDSL: A Language for Verifiable Cloud Configuration Controls 11:00 - 11:15	ASE Research Papers Certified Program Synthesis with a Multi-modal Verifier 11:15 - 11:30		ASE Industry Showcase KVerus: Scalable and Resilient Formal Verification Proof Generation for ... 11:30 - 11:45		ASE Research Papers Automated Lemma Discovery in Agentic Program Verification 11:45 - 12:00		ASE Tools and Datasets ProofPulse: Interactive Proof Coverage Analysis for Dafny 12:00 - 12:10	ASE Tools and Datasets DSpec2Test: Specification-Driven Test Generation in Dafny 12:10 - 12:20		ASE Tools and Datasets QUTest: A Native Testing Framework for Quantum Programs 12:20 - 12:30							ASE Research Papers Specification-Guided Synthesis of Deadlock-Free Communication Protocol ... 14:00 - 14:15	ASE Industry Showcase Kani: A Model Checker for Rust 14:15 - 14:30		ASE Research Papers Leveraging System-Level Observations to Inform Bayesian Learning of Mod ... 14:30 - 14:45		ASE Journal First Visual Consistency in Formal Modeling: An Empirical Evaluation 14:45 - 15:00		ASE Research Papers Mining Tactics for Automated Theorem Proving 15:00 - 15:15			ASE Research Papers Quick Bug Detection through Black-Box Checking: A Systematic Evaluation 15:15 - 15:30		ASE NIER Towards Diagnostic Explainability in Workflow Verification via Shapley ... 15:30 - 15:40	ASE Tools and Datasets VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs 15:40 - 15:50		ASE Tools and Datasets MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded ... 15:50 - 16:00			ASE Research Papers VARIES: Verification Harness Synthesis and Efficient Scheduling for Uns ... 16:30 - 16:45	ASE Research Papers Sound and Efficient Statistical Model Checking for Probabilities and Bo ... 16:45 - 17:00	ASE Industry Showcase FlowChecker: One Command to Model Check Control-Flow Rules in Industria ... 17:00 - 17:15		ASE Research Papers Inferring the Shape of Data Frames in R Programs using Abstract Interpr ... 17:15 - 17:30
Forum 16							ASE Journal First Efficient Black-Box Fault Localization for System-Level Test Code Using ... 10:30 - 10:45		ASE Research Papers COBug: A Bug Localization Pipeline for COBOL: Does It Work? An Explorat ... 10:45 - 11:00		ASE Journal First Improving IR-based Bug Localization with Semantics-Driven Query Reduction 11:00 - 11:15	ASE Journal First BugMentor: Generating Answers to Follow-up Questions from Software Bug ... 11:15 - 11:30		ASE Industry Showcase MERA: A Multi-expert LLM Framework for Severity Assessment of User Tick ... 11:30 - 11:45		ASE Industry Showcase Disassembly-Augmented Root Cause Analysis for C/C++ Segmentation Faults ... 11:45 - 12:00		ASE Journal First One Sentence Can Kill the Bug: Auto-replay Mobile App Crashes from One- ... 12:00 - 12:15										ASE Journal First Mutation-Guided Unit Test Generation with a Large Language Model 14:00 - 14:15	ASE Tools and Datasets Marv: An Interactive Tool for Visualising and Reviewing the Results of ... 14:15 - 14:25	ASE Research Papers ConfFuzz: Parameter-Aware Greybox Fuzzing for Configurable Cloud Systems 14:25 - 14:40		ASE Research Papers ExcavatorFuzz: LLM-Guided Path-Difficulty-Driven Directed Greybox Fuzzing 14:40 - 14:55		ASE Research Papers Hybrid Fuzzing in Input Generation Logic 14:55 - 15:10			ASE Research Papers Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling an ... 15:10 - 15:25		ASE Research Papers Gray-Box Fuzzing in Local Space 15:25 - 15:40		ASE Tools and Datasets InsightQL: A Unified Code Database for Fuzz Blocker Analysis 15:40 - 15:50		ASE Industry Showcase Mutation Testing of Simulink Cyber-Physical System Models: Challenges a ... 15:50 - 16:00			ASE Industry Showcase Understanding Real-World Ordering-Related Concurrency Bugs under Weak-M ... 16:30 - 16:45		ASE Industry Showcase Deployment Risk Assessment using Diff-Aware Features: A Case Study at P ... 17:00 - 17:10	ASE Tools and Datasets ThreatCraft: Automated Attack Scenario Generation via Hybrid Rule-Based ... 17:10 - 17:20		ASE Tools and Datasets The EVerest Dataset for Secure Software Engineering 17:20 - 17:30
Forum 2							ASE Journal First An empirical analysis of vulnerability detection tools for solidity sma ... 10:30 - 10:45		ASE Research Papers SmartPoC: Validating Smart Contract Vulnerability Findings through PoC ... 10:45 - 11:00		ASE Research Papers Zero-Knowledge VMs: Security and Usability in Practice 11:00 - 11:15	ASE Tools and Datasets GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks ... 11:15 - 11:25	ASE Research Papers MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via N ... 11:25 - 11:40		ASE Research Papers LARA: Static ReDoS Detection for Regular Expressions with Lookahead via ... 11:40 - 11:55		ASE Research Papers How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study 11:55 - 12:10		ASE Tools and Datasets AIALIB: A Threat Library for AI-Generated Code 12:10 - 12:20		ASE Tools and Datasets Cochise: A Reference Harness for Autonomous Penetration Testing 12:20 - 12:30							ASE Research Papers Testing Static Analyzers via Semantic-Preserving Mutators Learned from ... 14:00 - 14:15	ASE Research Papers PL4SA: Optimized Partial Library Selection for Efficient Static Analysis 14:15 - 14:30		ASE Research Papers Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution 14:30 - 14:45		ASE Industry Showcase Top-Down Multi-agent LLM System with Runtime Data for MISRA C Violation ... 14:45 - 15:00		ASE Research Papers Tracing the Invisible: Semantic Message Flow Discovery via Data Contrac ... 15:00 - 15:15			ASE Research Papers GPU-Accelerated Belief Propagation for Program Analysis 15:15 - 15:30		ASE Research Papers TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savel ... 15:30 - 15:45		ASE Research Papers Safe Multi-site Binary Instrumentation of Running x86-64 Programs 15:45 - 16:00				ASE Journal First From Exploration to Revelation: App-Level Context-Aware Deceptive Patte ... 16:30 - 16:45	ASE Research Papers A Few Pages of Markdown: Committed AI Configuration and Lower Quality C ... 16:45 - 17:00	ASE Research Papers How Quantum Bugs Live and Die: A Lifecycle-Based Empirical Study of Bug ... 17:00 - 17:15
Forum 6							ASE NIER FaultForge: A Business-Semantics-Driven Cross-Layer Fault Injection Fra ... 10:30 - 10:40	ASE Tools and Datasets DT-Drive: A Tool for Deterministic Replay-Based Testing and Debugging o ... 10:40 - 10:50		ASE Industry Showcase Continuous On-Commit Certification Testing of Railway Control Software: ... 10:50 - 11:00	ASE Research Papers Real-World Perturbation Testing of Autonomous Driving Systems 11:00 - 11:15	ASE Research Papers Property-Based Testing of Wafer Handling Robots via Model-Based Plannin ... 11:15 - 11:30		ASE Industry Showcase Test Suite Generation for Simulink Models: An Experience with Reactis 11:30 - 11:45		ASE Research Papers Where Does Balance Break? Boundary Discovery for Game Balance Testing u ... 11:45 - 12:00		ASE Research Papers QDoctor: Probe-Based Testing for Quantum Programs 12:00 - 12:15		ASE Research Papers Quantum Squeeziness: An Information Theoretical Metric for Quantum Soft ... 12:15 - 12:30								ASE Research Papers S2CAgent: A Self-Learning Agent Knowledge Graph Framework for Software ... 14:00 - 14:15	ASE Industry Showcase Closing the Gap: Automated Discovery of Secure Dockerfile Reference Sta ... 14:15 - 14:30		ASE Research Papers How Effective Are NPM Malicious Package Detectors? A Large-Scale Empiri ... 14:30 - 14:45		ASE Research Papers Defensive Capability Analysis for JavaScript Libraries 14:45 - 15:00		ASE Research Papers When Dependencies Depend: A Large-Scale Study on Conditional Dependenci ... 15:00 - 15:15			ASE Research Papers A Longitudinal Study of Android Apps Signing Key Protection 15:15 - 15:30		ASE Research Papers GANADI: Uncovering C/C++ OSS Reuse Genealogies via Pivotal Function-Bas ... 15:30 - 15:45						ASE Research Papers Evidence-Grounded Logic Vulnerability Detection for Smart Contracts via ... 16:30 - 16:45	ASE Industry Showcase Airdrop Scams in Practice: An Industry-Oriented Taxonomy, Benchmark, an ... 16:45 - 17:00	ASE Journal First PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts 17:00 - 17:15		ASE Research Papers Demystifying Solana Bots: From GitHub Blueprints to On-Chain Fingerprints 17:15 - 17:30
Forum 7							ASE Research Papers Not In My Git Yard: Catching Backdoors at Commit and Release Time 10:30 - 10:45		ASE Research Papers IntOAgent: A Practical Framework for Automated Detection and Triggering ... 10:45 - 11:00		ASE Research Papers Precise and Efficient Static Data Race Detection 11:00 - 11:15	ASE Research Papers From Thread to Pool: Modeling and Static Detection of Thread Pool Misus ... 11:15 - 11:30		ASE Research Papers SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Sl ... 11:30 - 11:45		ASE Tools and Datasets SAF: An AI-Agent-Ready and Browser-Accessible Static Analysis Framework ... 11:45 - 11:55	ASE Research Papers Trace-Driven Automated PoC Synthesis for On-Chain Attacks 11:55 - 12:10		ASE Tools and Datasets MASSIV: A Hybrid RAG for Automated Defeater Extraction in Autonomous Dr ... 12:10 - 12:20		ASE Tools and Datasets xDECAF: An Extensible Data Flow Diagram Analysis Framework for Informat ... 12:20 - 12:30							ASE Research Papers EffiHolmes: Differential Profiling-Guided Repository Level Time Ineffic ... 14:00 - 14:15	ASE Research Papers Assessing Uncertainty in Performance Modeling: Conformal Prediction vs. ... 14:15 - 14:30				ASE Tools and Datasets Baseliner: A Plugin-Oriented, Hardware-Agnostic GPU Benchmarking Library 14:45 - 14:55	ASE Tools and Datasets CppPerf: An Automated Pipeline and Dataset for Performance-Improving C+ ... 14:55 - 15:05		ASE Tools and Datasets EnergyTrackr: A Modular Energy Regressions Detection Tool 15:05 - 15:15		ASE Research Papers SimServing: Native-Execution Simulation for Evolution-Resilient LLM Ser ... 15:15 - 15:30		ASE Research Papers Discovering Performance Archetypes: Critical-Path-Aware Pattern Analysi ... 15:30 - 15:45		ASE Research Papers Bridging the Gap between Intent and Impact: An Empirical Study of GPU O ... 15:45 - 16:00				ASE Research Papers Barista: Synthesizing Typestate Specifications with LLM Agents 16:30 - 16:45	ASE Research Papers SpecFSM: Extracting and Repairing Finite State Machines from Protocol S ... 16:45 - 17:00	ASE Journal First Diagnosing Violations of State-based Specifications in iCFTL 17:00 - 17:15		ASE Research Papers Refine2Diff: Detecting Protocol Specification–Implementation Inconsiste ... 17:15 - 17:30
Forum 8							ASE Research Papers Learning the Lexical Structure of Black-Box Systems by Parsing Systemat ... 10:30 - 10:45		ASE Research Papers Planner-Fuzz: Overcoming Diagnostic Saturation in UAV Planners via Boun ... 10:45 - 11:00		ASE Research Papers SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consen ... 11:00 - 11:15	ASE Research Papers Breaking the Isolation: Coordinated Multi-agent Fuzzing for Smart Contr ... 11:15 - 11:30		ASE Research Papers RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via V ... 11:30 - 11:45		ASE Research Papers Maximal Format-Free Data Repair 11:45 - 12:00		ASE Research Papers CtxFuzz: Context-Aware Directed Fuzzing via Runtime Fuzzer-Agent Cooper ... 12:00 - 12:15		ASE Research Papers From Function to Repository: Towards Understanding and an Agentic Appro ... 12:15 - 12:30								ASE Research Papers Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition 14:00 - 14:15	ASE Research Papers From Runnable Code to Shippable Applications: Test-Driven Development f ... 14:15 - 14:30		ASE Industry Showcase DCAS: Decoupling CLI Agent Scaffolding to Internalize Planning across S ... 14:30 - 14:45		ASE Research Papers Generation of Web Apps with Agentic IDEs: An Empirical Assessment 14:45 - 15:00		ASE Research Papers Revisiting LLMs on New Feature Implementation in Real-World Software De ... 15:00 - 15:15			ASE Research Papers Compressing Code Context for LLM-Based Issue Resolution 15:15 - 15:30		ASE Research Papers RACE-Bench: A Reasoning-Augmented Benchmark for Repository-Level Code A ... 15:30 - 15:45		ASE Industry Showcase Debugging the Debuggers: Failure-Anchored Structured Recovery for Softw ... 15:45 - 16:00				ASE Research Papers PWCC: Probability-Weighted Combinatorial Coverage for Risk-Informed Sce ... 16:30 - 16:45	ASE Journal First Constrained Co-evolutionary Differential Metamorphic Testing for Autono ... 16:45 - 17:00	ASE Journal First Simulator Ensembles for Trustworthy Autonomous Driving Systems Testing 17:00 - 17:15		ASE Research Papers TrackTest: Trajectory Generation and Prioritization for Testing Multipl ... 17:15 - 17:30
Plenary Room (Forum 1-3)	ASE Keynotes Lost in Automated Specifications: A Time and Space Odyssey in System Te ... 09:00 - 10:00

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45	9:00			15	30		45	10:00	15	30			45			11:00			15		30		45			12:00		15		30	45	13:00	15		30	45	14:00	15		30		45	15:00	15		30		45	16:00	15	30	45	17:00	15	30	45
Forum 10					LiveWrite Welcome 09:00 - 09:40					LiveWrite Livewrite in Action! 09:40 - 10:00				LiveWrite Livewrite in Action! 10:30 - 12:30																											LiveWrite Livewrite in Action! 14:00 - 16:00														LiveWrite Debriefing 16:30 - 17:30
Forum 11					CPAchecker Opening Remarks 09:00 - 09:05	CPAchecker Bi-Abductive Analysis of Code with Pointers and Advanced Low-Level Oper ... 09:05 - 10:00								CPAchecker SV-LIB support in CPAchecker 10:30 - 11:00						CPAchecker Interpolation-Based Termination Analysis in CPAchecker 11:00 - 11:30					CPAchecker Optimizations for Distributed Summary Synthesis 11:30 - 12:00					CPAchecker Extensions of Distributed Summary Synthesis 12:00 - 12:30											CPAchecker Distributed Summary Synthesis Multi-processing 14:00 - 14:30			CPAchecker Trace Equations for Program Verification 14:30 - 15:00			CPAchecker Leveraging Function Contracts for Blame Analysis 15:00 - 15:30			CPAchecker ACF: Debugging Long-Running Systems with Tracing and Unit Test Execution 15:30 - 16:00					CPAchecker CPAchecker Development in 2026 16:30 - 17:00		CPAchecker Discussion and Closing 17:00 - 17:25
Forum 13					MAS-GAIN MAS-GAIN Opening Session 09:00 - 09:05	MAS-GAIN Decompose to Conquer: A Multi-Agent LLM Pipeline for Requirements Engin ... 09:05 - 09:30			MAS-GAIN SAGE: Source-Aligned Governance for Human–Agent Requirements Clarificat ... 09:30 - 09:45		MAS-GAIN A Workflow-Driven Multi-Agent Architecture for Requirements Engineering 09:45 - 10:00			MAS-GAIN Towards Declarative Composition of Heterogeneous AI Agents 10:30 - 10:55					MAS-GAIN Sufficiently Advanced Agents Are Indistinguishable from Erlang: An Oper ... 10:55 - 11:20					MAS-GAIN Does Architecture Matter? Comparing Multi-Agent Workflows for Filtering ... 11:20 - 11:45			MAS-GAIN Towards Reliable Agentic Infrastructure Provisioning with LLMs 11:45 - 12:10				MAS-GAIN MAS-GAIN Closing Session and Final Wrap-up 12:10 - 12:15
Forum 14					SWGeno The Gene Is Not the Gate: Conceptualizing the Semantic Genome of Quantu ... 09:00 - 09:15			SWGeno From Code to Knowledge: Enhancing Coding Agents via Reverse-Engineered ... 09:15 - 09:30	SWGeno ForkOps: Operating Fleets of Generated Software Variants 09:30 - 09:45		SWGeno RepoTune: Co-Evolving Vulnerability Detection with a Repository's Genome 09:45 - 10:00			SWGeno Seeing the Forest: A Taxonomy-Guided Analysis and Improvement of Malici ... 10:30 - 10:45			SWGeno The Bad AI Bubble. Implications for Security and Software Engineering R ... 10:45 - 11:30								SWGeno Vulnerability Proof-of-Concepts in Software Supply Chain: Real-World Us ... 11:30 - 11:45
Forum 15					ASYDE Opening 09:00 - 09:15			ASYDE Refinement for Correct Iterative Model-Based Systems Engineering of Cyb ... 09:15 - 09:29	ASYDE Systematic evaluation of security flaws in low-level code generated by LLMs 09:29 - 09:43		ASYDE Towards a Vertically Integrated Compiler Infrastructure to Improve Solv ... 09:43 - 10:00			ASYDE Constrained Automated Requirements Formalization for Rigorous Analysis ... 10:30 - 10:47			ASYDE Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware ... 10:47 - 11:04				ASYDE STAFF: Towards Translating Formal Verification Benchmarks Between Forma ... 11:04 - 11:21			ASYDE Controller Mimicking for On-The-Fly DES Reachability Control 11:21 - 11:38		ASYDE From Statistical Code Generation to Correct-by-Construction AI Programm ... 11:38 - 11:55			ASYDE WanderVision: Scenario-Based GUI Testing for Smart TVs via Vision-Langu ... 11:55 - 12:12		ASYDE Discussion and closing 12:12 - 12:30
Forum 16					POVC LLM-Driven Requirements Engineering: Automating Dependencies, Regulator ... 09:00 - 10:00									POVC Prompts Matter: On the Impact of Code Smell Remediation with Large Lang ... 10:30 - 11:00						POVC Geometry-Aware Prompt Context for Model Consistency Management 11:00 - 11:30					POVC Agent4RE: A Self-refining Multi-agent Framework for End-to-End Software ... 11:30 - 12:00					POVC Prompt Pipelines as Engineered Artifacts: Regression-Testing a Multi-Ag ... 12:00 - 12:30											POVC VibeCheck - Assessing the Quality of LLM-Generated Unit Tests: A Multi- ... 14:00 - 14:30			POVC TurnCost: Turns, Not Observations—Cache-Aware Loop Engineering for Codi ... 14:30 - 15:00			POVC Towards Trace-Guided Automated Program Repair 15:00 - 15:30			POVC Ranking Is Not Authority: Executable Context-Routing Contracts for Codi ... 15:30 - 16:00					POVC Your Prompt Is Only Half the Prompt: Silent Chat-Template Drift in Open ... 16:30 - 17:00
Forum 7					SECUTE Welcome 09:00 - 09:10		SECUTE Language Models as Penetration Testing Agents: Surprising Capabilities ... 09:10 - 10:00							SECUTE Using LLM Agents for Security Testing of Compiled Mobile Applications: ... 10:30 - 10:45			SECUTE The Role of Prompt Patterns in LLM-Based Smart Contract Vulnerability D ... 10:45 - 11:00			SECUTE AutoDriver: Purely Source-based Driver Generation for Standard Library ... 11:00 - 11:15			SECUTE Artifacts to Actors: Assessing the Maturity of Software Supply Chain Se ... 11:15 - 11:30		SECUTE Sentry: Towards a Sound Dynamic Analysis Framework for Hybrid Android A ... 11:30 - 11:40	SECUTE The Present and Future of Software Security Testing (Live Collaborative ... 11:40 - 12:25							SECUTE Closing 12:25 - 12:30
Forum 8				KLEE Opening Remarks 08:45 - 09:00	KLEE Deriving Test Oracles for Verification Infrastructure 09:00 - 10:00									KLEE Automatic Unit-Test Generation Based on Symbolic Execution 10:30 - 10:35	KLEE EAR: Debugging Libraries through API Call Traces 10:35 - 10:40	KLEE Interprocedural Symbolic Static Analysis for Go 10:40 - 10:45		KLEE FeatMaker: Automated Feature Engineering for Search Strategy of Symboli ... 10:50 - 11:10				KLEE Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerabil ... 11:10 - 11:30			KLEE Enhancing Symbolic Execution of Programs for Control Flow Path Feasibil ... 11:30 - 11:50			KLEE Enhancing Symbolic Execution with Self-Configuring Parameters 11:50 - 12:10			KLEE Triggering the Hidden: Oracle Design Meets KLEE for Backdoor Detection 12:10 - 12:30										KLEE Extended Lunch Poster Session 14:00 - 14:20		KLEE Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code 14:20 - 14:40		KLEE Enhancing Symbolic Execution with Machine-Checked Safety Proofs 14:40 - 15:00		KLEE Agentic Concolic Execution 15:00 - 15:20		KLEE LLM-Driven Generation of Summaries for Symbolic Execution 15:20 - 15:40		KLEE A Case Study in Firmware Verification: Applying Formal Methods to Intel ... 15:40 - 16:00				KLEE The Role of SAT Solving in Automated Reasoning 16:30 - 17:30				KLEE Closing Remarks 17:30 - 17:35
Forum 9																																						ATIQSER Welcome to ATIQSER 2026 14:00 - 14:10	ATIQSER What We Learned in 15 Years of Artifact Evaluation 14:10 - 15:00				ATIQSER doi-checker: A Tool for Validating References of Research Papers 15:00 - 15:20		ATIQSER ATIBA: Grounded Integrity and Quality Checking for Research Papers 15:20 - 15:40		ATIQSER RefVerifier: Semi-Automated Reference Claim Verification for Scientific ... 15:40 - 16:00

ASE 2026 Program

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

ASE 2026 Program

Switch Program View

Program Display Configuration

Mon 12 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change