{"id":52,"date":"2021-04-08T09:10:45","date_gmt":"2021-04-08T09:10:45","guid":{"rendered":"https:\/\/cyprusconferences.org\/mpu2022\/?page_id=52"},"modified":"2026-10-21T13:32:44","modified_gmt":"2026-10-21T13:32:44","slug":"program","status":"publish","type":"page","link":"https:\/\/cyprusconferences.org\/issre2026\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

[et_pb_section fb_built=”1″ _builder_version=”4.26.0″ background_enable_image=”off” background_blend=”luminosity” custom_padding=”32px||10px|||” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ global_colors_info=”{}”][dsm_text_divider header=”Program” _builder_version=”4.26.0″ _module_preset=”default” header_level=”h1″ global_colors_info=”{}”][\/dsm_text_divider][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ custom_padding=”27px|||||” global_colors_info=”{}”][et_pb_row disabled_on=”off|off|off” _builder_version=”4.27.7″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.27.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_code _builder_version=”4.27.9″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″] ISSRE 2026 Programme<\/title><!-- [et_pb_line_break_holder] --> <\/p>\n<style><!-- [et_pb_line_break_holder] --> :root {<!-- [et_pb_line_break_holder] --> --ink:#142038; --muted:#667085; --line:#dce2ea; --soft:#f7f8fa;<!-- [et_pb_line_break_holder] --> --blue:#175cd3; --blue-soft:#eff6ff; --green:#067647; --green-soft:#ecfdf3;<!-- [et_pb_line_break_holder] --> --amber:#b54708; --amber-soft:#fffaeb;<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --> * { box-sizing:border-box; }<!-- [et_pb_line_break_holder] --> html { scroll-behavior:smooth; }<!-- [et_pb_line_break_holder] --> body { margin:0; overflow-x:hidden; background:#fff; color:var(--ink); font-family:Arial,Helvetica,sans-serif; -webkit-font-smoothing:antialiased; }<!-- [et_pb_line_break_holder] --> a { color:inherit; }<!-- [et_pb_line_break_holder] --> main { width:min(1440px,calc(100% - 40px)); margin:0 auto; padding:64px 0 40px; }<!-- [et_pb_line_break_holder] --> .site-header { max-width:820px; }<!-- [et_pb_line_break_holder] --> .eyebrow,.day-label,.room,.kind { color:var(--blue); font-size:12px; font-weight:700; letter-spacing:.08em; text-transform:uppercase; }<!-- [et_pb_line_break_holder] --> h1 { margin:10px 0 8px; font-size:clamp(38px,6vw,64px); line-height:1; letter-spacing:-.045em; }<!-- [et_pb_line_break_holder] --> .site-header p,.day-heading p { margin:0; color:var(--muted); font-size:16px; }<!-- [et_pb_line_break_holder] --> .day-nav { display:flex; flex-wrap:wrap; gap:8px; margin:40px 0 56px; padding-bottom:12px; border-bottom:1px solid var(--line); }<!-- [et_pb_line_break_holder] --> .day-nav button { appearance:none; padding:10px 16px; border:1px solid transparent; border-radius:7px; background:transparent; color:var(--muted); font:700 14px\/1 Arial,Helvetica,sans-serif; cursor:pointer; }<!-- [et_pb_line_break_holder] --> .day-nav button:hover,.day-nav button:focus-visible { border-color:var(--line); background:var(--soft); color:var(--ink); outline:none; }<!-- [et_pb_line_break_holder] --> .day-nav button:focus-visible { box-shadow:0 0 0 3px rgb(23 92 211 \/ 18%); }<!-- [et_pb_line_break_holder] --> .day-nav button[aria-selected=\"true\"] { border-color:var(--ink); background:var(--ink); color:#fff; }<!-- [et_pb_line_break_holder] --> .badge-legend { margin:-32px 0 56px; padding:16px 18px; border:1px solid var(--line); border-radius:10px; background:var(--soft); }<!-- [et_pb_line_break_holder] --> .badge-legend h2 { margin:0 0 10px; font-size:15px; letter-spacing:0; }<!-- [et_pb_line_break_holder] --> .badge-legend-content { display:flex; flex-wrap:wrap; align-items:center; gap:8px; }<!-- [et_pb_line_break_holder] --> .badge-legend-note { margin:2px 0 0; color:var(--muted); font-size:12px; line-height:1.5; }<!-- [et_pb_line_break_holder] --> .programme-day { scroll-margin-top:80px; margin-bottom:88px; }<!-- [et_pb_line_break_holder] --> .programme-day[hidden] { display:none; }<!-- [et_pb_line_break_holder] --> .day-heading { display:flex; align-items:flex-end; justify-content:space-between; gap:24px; margin-bottom:24px; }<!-- [et_pb_line_break_holder] --> h2 { margin:7px 0 5px; font-size:clamp(28px,3vw,40px); letter-spacing:-.035em; }<!-- [et_pb_line_break_holder] --> .status { flex:0 0 auto; padding:7px 10px; border-radius:999px; background:var(--green-soft); color:var(--green); font-size:12px; font-weight:700; }<!-- [et_pb_line_break_holder] --> .status.pending { background:var(--amber-soft); color:var(--amber); }<!-- [et_pb_line_break_holder] --> .day-content { display:grid; gap:0; overflow:hidden; border:1px solid var(--line); border-radius:10px; box-shadow:0 1px 2px rgb(16 24 40 \/ 5%); }<!-- [et_pb_line_break_holder] --> .day-content>:last-child { border-bottom:0; }<!-- [et_pb_line_break_holder] --> .time-block { display:grid; grid-template-columns:150px minmax(0,1fr); overflow:hidden; border:0; border-bottom:1px solid var(--line); border-radius:0; box-shadow:none; }<!-- [et_pb_line_break_holder] --> .time-block>header { display:flex; align-items:flex-start; justify-content:flex-start; flex-direction:column; gap:6px; padding:18px 14px; border-right:1px solid var(--line); border-bottom:0; background:#fff; }<!-- [et_pb_line_break_holder] --> .time-block>header time { font-size:14px; font-weight:700; font-variant-numeric:tabular-nums; }<!-- [et_pb_line_break_holder] --> .time-block>header span { color:var(--muted); font-size:12px; font-weight:700; letter-spacing:.06em; text-transform:uppercase; }<!-- [et_pb_line_break_holder] --> .tracks { display:grid; grid-template-columns:repeat(4,minmax(0,1fr)); }<!-- [et_pb_line_break_holder] --> .session-card { min-width:0; padding:17px 16px; border-right:1px solid var(--line); }<!-- [et_pb_line_break_holder] --> .session-card:last-child { border-right:0; }<!-- [et_pb_line_break_holder] --> .session-card h4 { margin:8px 0 12px; font-size:16px; line-height:1.3; overflow-wrap:anywhere; }<!-- [et_pb_line_break_holder] --> .session-card h4 a { text-decoration:none; }<!-- [et_pb_line_break_holder] --> .session-card h4 a:hover,.session-card h4 a:focus-visible { color:var(--blue); text-decoration:underline; }<!-- [et_pb_line_break_holder] --> .kind { display:block; margin-top:8px; color:var(--muted); font-size:12px; }<!-- [et_pb_line_break_holder] --> .morning-cell { background:#ecfdff; }<!-- [et_pb_line_break_holder] --> .full-cell { background:#f4f3ff; }<!-- [et_pb_line_break_holder] --> .afternoon-cell { background:var(--blue-soft); }<!-- [et_pb_line_break_holder] --> .doctoral-cell { background:#fff8eb; }<!-- [et_pb_line_break_holder] --> .unavailable { display:flex; min-height:120px; flex-direction:column; justify-content:center; background:#fafbfc; color:#98a2b3; }<!-- [et_pb_line_break_holder] --> .unavailable .room { color:#98a2b3; }<!-- [et_pb_line_break_holder] --> .unavailable strong { margin-top:8px; font-size:14px; }<!-- [et_pb_line_break_holder] --> .paper-details { border-top:1px solid var(--line); }<!-- [et_pb_line_break_holder] --> .paper-details summary { display:flex; align-items:center; justify-content:space-between; gap:12px; padding-top:12px; cursor:pointer; color:var(--ink); font-size:13px; font-weight:700; list-style:none; }<!-- [et_pb_line_break_holder] --> .paper-details summary::-webkit-details-marker { display:none; }<!-- [et_pb_line_break_holder] --> .paper-details summary span { color:var(--blue); font-size:12px; }<!-- [et_pb_line_break_holder] --> .paper-details[open] summary span { font-size:0; }<!-- [et_pb_line_break_holder] --> .paper-details[open] summary span::after { content:'Hide details'; font-size:12px; }<!-- [et_pb_line_break_holder] --> .paper-list { display:grid; gap:0; margin:12px 0 0; padding:0; list-style:none; }<!-- [et_pb_line_break_holder] --> .paper { display:grid; grid-template-columns:62px minmax(0,1fr); gap:10px; padding:12px 0; border-top:1px solid var(--line); }<!-- [et_pb_line_break_holder] --> .paper:first-child { border-top:0; }<!-- [et_pb_line_break_holder] --> .paper-time { color:var(--muted); font-size:12px; font-weight:700; line-height:1.4; font-variant-numeric:tabular-nums; }<!-- [et_pb_line_break_holder] --> .paper-copy { min-width:0; }<!-- [et_pb_line_break_holder] --> .paper-topline { display:flex; flex-wrap:wrap; gap:5px 8px; margin-bottom:6px; color:var(--muted); font-size:12px; }<!-- [et_pb_line_break_holder] --> .paper-type { color:var(--blue); font-weight:700; }<!-- [et_pb_line_break_holder] --> .paper-title-row { display:flex; flex-wrap:wrap; align-items:baseline; gap:7px 8px; }<!-- [et_pb_line_break_holder] --> .paper-title-row>strong { font-size:14px; line-height:1.35; overflow-wrap:anywhere; }<!-- [et_pb_line_break_holder] --> .paper-badges { display:inline-flex; flex-wrap:wrap; gap:4px; }<!-- [et_pb_line_break_holder] --> .paper-badge { display:inline-flex; align-items:center; width:max-content; max-width:100%; min-height:20px; padding:3px 6px; border:1px solid transparent; border-radius:4px; font-size:10px; font-weight:700; line-height:1.2; letter-spacing:.01em; }<!-- [et_pb_line_break_holder] --> .distinguished-badge { border-color:#e4b24b; background:#fff7df; color:#7a4d00; }<!-- [et_pb_line_break_holder] --> .ae-badge { border-color:#b8d5ff; background:#eef5ff; color:#174d9a; }<!-- [et_pb_line_break_holder] --> .ae-badge span { margin-right:3px; font-weight:800; }<!-- [et_pb_line_break_holder] --> .data-badge { border-color:#a9dec2; background:#edfdf4; color:#17633a; }<!-- [et_pb_line_break_holder] --> .authors { display:block; margin-top:6px; color:var(--muted); font-size:12px; line-height:1.45; overflow-wrap:anywhere; }<!-- [et_pb_line_break_holder] --> .plenary-card { padding:22px; background:var(--blue-soft); }<!-- [et_pb_line_break_holder] --> .plenary-card span { display:block; margin-bottom:7px; color:var(--blue); font-size:12px; font-weight:700; letter-spacing:.07em; text-transform:uppercase; }<!-- [et_pb_line_break_holder] --> .plenary-card strong { font-size:18px; }<!-- [et_pb_line_break_holder] --> .plenary-card .plenary-room { margin-bottom:10px; color:var(--ink); font-size:13px; letter-spacing:0; text-transform:none; }<!-- [et_pb_line_break_holder] --> .plenary-agenda { display:grid; gap:18px; }<!-- [et_pb_line_break_holder] --> .plenary-agenda-item+ .plenary-agenda-item { padding-top:18px; border-top:1px solid #c9dcfb; }<!-- [et_pb_line_break_holder] --> .plenary-citation { max-width:900px; margin:8px 0 0; color:#475467; font-size:14px; line-height:1.55; }<!-- [et_pb_line_break_holder] --> .shared-row { display:grid; grid-template-columns:150px 1fr; align-items:stretch; padding:0; border:0; border-bottom:1px solid var(--line); border-radius:0; color:#475467; background:#f8fafc; font-size:13px; }<!-- [et_pb_line_break_holder] --> .shared-row time { padding:13px 14px; border-right:1px solid var(--line); font-variant-numeric:tabular-nums; }<!-- [et_pb_line_break_holder] --> .shared-row strong { padding:13px 16px; text-align:center; }<!-- [et_pb_line_break_holder] --> .lunch-row { background:#f2f4f7; }<!-- [et_pb_line_break_holder] --> .social-row { background:var(--amber-soft); color:#7a2e0e; }<!-- [et_pb_line_break_holder] --> .programme-note { margin:14px 0 0; color:var(--muted); font-size:12px; line-height:1.55; }<!-- [et_pb_line_break_holder] --> .online-list { grid-template-columns:repeat(2,minmax(0,1fr)); gap:0 24px; margin-top:0; padding:8px 20px; border:1px solid var(--line); border-radius:12px; }<!-- [et_pb_line_break_holder] --> .online-paper { grid-template-columns:1fr; }<!-- [et_pb_line_break_holder] --> footer { margin-top:16px; padding:22px 0; border-top:1px solid var(--line); color:var(--muted); font-size:12px; }<!-- [et_pb_line_break_holder] --> @media (max-width:980px) {<!-- [et_pb_line_break_holder] --> .day-content { overflow:visible; border:0; border-radius:0; box-shadow:none; gap:14px; }<!-- [et_pb_line_break_holder] --> .time-block { display:block; border:1px solid var(--line); border-radius:10px; }<!-- [et_pb_line_break_holder] --> .time-block>header { align-items:center; justify-content:space-between; flex-direction:row; padding:13px 14px; border-right:0; border-bottom:1px solid var(--line); background:var(--soft); }<!-- [et_pb_line_break_holder] --> .tracks { grid-template-columns:1fr; }<!-- [et_pb_line_break_holder] --> .session-card,.session-card:nth-child(2n) { border-right:0; border-bottom:1px solid var(--line); }<!-- [et_pb_line_break_holder] --> .session-card:last-child { border-bottom:0; }<!-- [et_pb_line_break_holder] --> .shared-row { grid-template-columns:150px 1fr; border:1px solid var(--line); border-radius:10px; overflow:hidden; }<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --> @media (max-width:700px) {<!-- [et_pb_line_break_holder] --> main { width:min(100% - 28px,1440px); padding-top:36px; }<!-- [et_pb_line_break_holder] --> .day-nav { margin:28px 0 42px; }<!-- [et_pb_line_break_holder] --> .day-nav button { flex:1 1 calc(50% - 4px); }<!-- [et_pb_line_break_holder] --> .badge-legend { margin:-20px 0 42px; }<!-- [et_pb_line_break_holder] --> .programme-day { margin-bottom:64px; }<!-- [et_pb_line_break_holder] --> .day-heading { align-items:flex-start; flex-direction:column; gap:14px; }<!-- [et_pb_line_break_holder] --> .shared-row { grid-template-columns:1fr; gap:5px; }<!-- [et_pb_line_break_holder] --> .shared-row time { border-right:0; border-bottom:1px solid var(--line); }<!-- [et_pb_line_break_holder] --> .shared-row strong { text-align:left; }<!-- [et_pb_line_break_holder] --> .online-list { grid-template-columns:1fr; padding:8px 16px; }<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] -->.session-chair { margin:0 0 12px; color:var(--ink); font-size:13px; font-weight:600; line-height:1.4; }<!-- [et_pb_line_break_holder] -->.session-chair span { display:block; margin-bottom:2px; color:var(--muted); font-size:12px; font-weight:400; }<!-- [et_pb_line_break_holder] -->.session-chair.inline span { display:inline; margin:0 4px 0 0; }<!-- [et_pb_line_break_holder] -->.plenary-card .session-chair { margin-top:10px; }<!-- [et_pb_line_break_holder] --> @media print {<!-- [et_pb_line_break_holder] --> main { width:100%; padding:20px; }<!-- [et_pb_line_break_holder] --> .day-nav { display:none; }<!-- [et_pb_line_break_holder] --> .programme-day[hidden] { display:block; }<!-- [et_pb_line_break_holder] --> .programme-day { break-before:page; margin-bottom:30px; }<!-- [et_pb_line_break_holder] --> .programme-day:first-of-type { break-before:auto; }<!-- [et_pb_line_break_holder] --> .time-block,.session-card,.paper { break-inside:avoid; }<!-- [et_pb_line_break_holder] --> details:not([open])>.paper-list { display:grid; }<!-- [et_pb_line_break_holder] --> .paper-details summary span { display:none; }<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --> <\/style>\n<p><!-- [et_pb_line_break_holder] --><\/head><!-- [et_pb_line_break_holder] --><body><!-- [et_pb_line_break_holder] --> <main><!-- [et_pb_line_break_holder] --> <\/p>\n<header class=\"site-header\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"eyebrow\">ISSRE 2026 \u00b7 Detailed Conference Programme<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<h1>20\u201323 October 2026<\/h1>\n<p><!-- [et_pb_line_break_holder] --> <pee>St. Raphael Resort \u00b7 Limassol, Cyprus<\/pee><!-- [et_pb_line_break_holder] --> <\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<nav class=\"day-nav\" role=\"tablist\" aria-label=\"Programme days\"><!-- [et_pb_line_break_holder] --> <button type=\"button\" id=\"tab-day-1\" role=\"tab\" aria-selected=\"true\" aria-controls=\"day-1\" tabindex=\"0\">20 Oct<\/button><!-- [et_pb_line_break_holder] --> <button type=\"button\" id=\"tab-day-2\" role=\"tab\" aria-selected=\"false\" aria-controls=\"day-2\" tabindex=\"-1\">21 Oct<\/button><!-- [et_pb_line_break_holder] --> <button type=\"button\" id=\"tab-day-3\" role=\"tab\" aria-selected=\"false\" aria-controls=\"day-3\" tabindex=\"-1\">22 Oct<\/button><!-- [et_pb_line_break_holder] --> <button type=\"button\" id=\"tab-day-4\" role=\"tab\" aria-selected=\"false\" aria-controls=\"day-4\" tabindex=\"-1\">23 Oct<\/button><!-- [et_pb_line_break_holder] --> <\/nav>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<section class=\"badge-legend\" aria-labelledby=\"badge-legend-title\"><!-- [et_pb_line_break_holder] --> <\/p>\n<h2 id=\"badge-legend-title\">Programme badges<\/h2>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"badge-legend-content\"><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge distinguished-badge\">Distinguished Paper \u00b7 Track<\/span><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge ae-badge code-badge\"><span>Code<\/span> Available<\/span><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge ae-badge code-badge\"><span>Code<\/span> Reviewed<\/span><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge ae-badge code-badge\"><span>Code<\/span> Reproducible<\/span><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge ae-badge data-badge\"><span>Data<\/span> Available<\/span><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge ae-badge data-badge\"><span>Data<\/span> Reviewed<\/span><!-- [et_pb_line_break_holder] --> <span class=\"paper-badge ae-badge data-badge\"><span>Data<\/span> Reproducible<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"badge-legend-note\">Artifact Evaluation badges identify the code and data materials granted Available, Reviewed, or Reproducible status.<\/pee><!-- [et_pb_line_break_holder] --> <\/section>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<section class=\"programme-day\" id=\"day-1\" role=\"tabpanel\" aria-labelledby=\"tab-day-1\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-heading\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div><span class=\"day-label\">Day 1 \u00b7 Tuesday, 20 October<\/span><\/p>\n<h2>Workshops & Doctoral Consortium<\/h2>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"status\">Schedule available<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-content\">\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>09:00\u2013 10:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card workshop-card morning-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/www.wosar.net\/\">WoSAR <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/resaise.github.io\/2026\/\">ReSAISE <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/sites.google.com\/view\/aisq-2026\/home\">AISQ <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card doctoral-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Atrium B<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Doctoral Consortium<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><strong>Session 1 \u00b7 Research proposals<\/strong><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>3 agenda items <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">09:00\u201309:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Opening + Warm up (Self introduction, some polling questions)<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --><\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">09:30\u201310:00<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Toward Reliable Detection of Android Lifecycle Violations with Static Analysis and Domain-Adapted Code Models<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Muhammad Tehmasib Ali Tashfeen \u00b7 Wichita State University<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --><\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">10:00\u201310:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>From Disclosure to Exploit: Data Availability, Patch Behaviour and Exploitability Prediction in the Vulnerability Lifecycle<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Eid Albedah \u00b7 University of London<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row break-row\"><time>10:30\u2013 11:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>11:00\u2013 12:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card workshop-card morning-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/www.wosar.net\/\">WoSAR <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/resaise.github.io\/2026\/\">ReSAISE <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/sites.google.com\/view\/aisq-2026\/home\">AISQ <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card doctoral-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Atrium B<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Doctoral Consortium<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><strong>Session 2 \u00b7 Research proposals (continued)<\/strong><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>3 agenda items <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Dependability of Embedded Perception in Autonomous Driving<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Alexandra Arzberger \u00b7 Technische Hochschule N\u00fcrnberg Georg Simon Ohm<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --><\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:30\u201312:00<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>The Cognitive Cost of Vibe Coding – Making Developer Comprehension Observable in AI-Assisted Software Engineering<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ricardo Saraiva \u00b7 Universidade de Coimbra<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --><\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:00\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Upholding Normative Requirements in Robotics and Autonomous Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">A L Partis \u00b7 York University<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row lunch-row\"><time>12:30\u201314:00<\/time><strong>Lunch Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>14:00\u2013 15:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card workshop-card afternoon-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/qa4agents.github.io\/\">QA4Agents <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/resaise.github.io\/2026\/\">ReSAISE <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/sites.google.com\/view\/aisq-2026\/home\">AISQ <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card doctoral-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Atrium B<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Doctoral Consortium<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><strong>Session 3 \u00b7 Research tools and artifacts<\/strong><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>2 agenda items <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:45<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Building Tools, Finding Questions: Experiences with Artifacts in Dependability Research (invited talk)<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Roberto Natella \u00b7 GSSI<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --><\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:45\u201315:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Tool\/Artifact Presentations I<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row break-row\"><time>15:30\u2013 16:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>16:00\u2013 17:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card workshop-card afternoon-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/qa4agents.github.io\/\">QA4Agents <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card unavailable\"><span class=\"room\">Megaron Beta<\/span><strong>No session<\/strong><\/article>\n<article class=\"session-card workshop-card full-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Workshop<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><a href=\"https:\/\/sites.google.com\/view\/aisq-2026\/home\">AISQ <span aria-hidden=\"true\">\u2197<\/span><\/a><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card workshop-card doctoral-cell\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Atrium B<\/span><!-- [et_pb_line_break_holder] --> <span class=\"kind\">Doctoral Consortium<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4><strong>Session 4 \u00b7 Research tools and artifacts (continued)<\/strong><\/h4>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>2 agenda items <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:45<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Tool\/Artifact Presentations II<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --><\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:45\u201317:00<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Reflections and Closing<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"programme-note\">Workshop names link to their respective websites. Links open in the same tab for reliable iPad behaviour.<\/pee><!-- [et_pb_line_break_holder] --> <\/section>\n<section class=\"programme-day\" id=\"day-2\" role=\"tabpanel\" aria-labelledby=\"tab-day-2\" hidden><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-heading\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div><span class=\"day-label\">Day 2 \u00b7 Wednesday, 21 October<\/span><\/p>\n<h2>Main Conference<\/h2>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"status\">Schedule available<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-content\">\n<section class=\"time-block plenary\">\n<header><time>09:00\u2013 10:30<\/time><\/header>\n<div class=\"plenary-card\"><span class=\"plenary-room\">Room: Panorama<\/span><span>Plenary session<\/span><strong>Welcome & Keynote by Laurie Williams<\/strong><!-- [et_pb_line_break_holder] --><pee class=\"session-chair inline\"><span>Session chair:<\/span>Domenico Cotroneo<\/pee> <!-- [et_pb_line_break_holder] --> <\/div>\n<\/section>\n<div class=\"shared-row break-row\"><time>10:30\u2013 11:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>11:00\u2013 12:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Continuous integration<\/h4>\n<p><!-- [et_pb_line_break_holder] --><pee class=\"session-chair\"><span>Session chair<\/span>Fabrizio Pastore<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Cross-Platform CI\/CD Configuration Migration based on LLMs: How Far Are We?<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jiajun Wu, Chong Wang, Chen Zhang, Wunan Guo, Jianfeng Qu, Yewen Tian and Yang Liu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Making Deployments Safe at Meta: Health Checks for Continuous Change-Safety<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Industry Track Distinguished Paper\">Industry Track Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Prakash Kl, Anton Korenkov, Uttam Thakore and Christopher Hegre<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Pomona: Continuous Code Quality Improvement via Small, Agentic Pull Requests at Bloomberg<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">David Williams, Angelos Evripiotis, Serkan Kirbas, Sergey Magidovich, Harry Morgan, Peter Wainwright and Federica Sarro<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>The Reliability Debt at Rust\/C Boundaries: Practical FFI Contract Checking in Industrial CI Pipelines<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Xiaolei Ren and Wei He<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Making Bounded C\/C++ Verification Practical in Continuous Integration: A Verdict-Aware Learned-Rule Hybrid Selector under Reliability Budgets<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Xiaolei Ren and Wei He<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Automated program repair<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Xiao-Yi Zhang<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>APR-Router: Complexity-Aware Cascade Routing for Cost-Effective LLM-Based Program Repair<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Zhixiang Zhang, Zhicheng Bao, Xiaoyu Li, Jiaojiao Jiang, Qinghua Lu, Yulei Sui and Liming Zhu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RENE<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Hype Meets Reality: Large Language Models as Mutators in Search-based Automated Program Repair of Simulink-Stateflow Models<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ayesha Irshad, Pablo Valle, Jon Ayerdi and Aitor Arrieta<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>TraceGate: Policy-Based Disclosure of Structured Crash Evidence for LLM-Assisted Debugging<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Nicolas Schuler, B\u00e1lint M\u00e1t\u00e9, Vincenzo Scotti and Raffaela Mirandola<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>MPTA-Repair: Multi-Property Clock Bound Repair for Networks of Timed Automata via Iterative Space Optimization<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Guangtong Zhou, Run Chang and Ji Wu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>LongRepair: Enhancing Multi-Hunk Automated Program Repair via Reasoning-Oriented Imitation and Reinforcement Learning<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yuexi Yang, Guochang Li, Zhen Qin, Chen Zhi, Weize Li, Haijing Nan and Shuiguang Deng<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>ML-based systems (1)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Evgenia Smirni<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Concept-Based Fairness Testing for Deep Vision Models<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Zhiyu Wang, Xuancheng Ge, Liyan Tao, Sihan Xu, Lingling Fan and Xiangrui Cai<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Exposing Hidden Intersectional Bias in LLMs<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Badr Souani, Ezekiel Soremekun, Mike Papadakis, Setsuko Yokoyama, Sudipta Chattopadhyay and Yves Le Traon<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>GePS-Guided AG-CAM: An Adaptive Approach for Jailbreaking Aligned LLMs via Defense Diagnosis<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jun-Hao Zhou, Xu Guo and Jian-Tao Zhou<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>On the Robustness of Large Language Models and Guardrails Against Cybersecurity Jailbreaks<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Matteo Civitillo, Mattia Vincenzotto, Xin Ye, Vincenzo Scotti, Giovanni Quattrocchi and Matteo Camilli<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>From Shortcut Testing to Adaptive Reweighting: Improving Fairness in Large Pre-trained Models<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Xikuan Wang, Lingfeng Zhang, Zhaohui Wang, Jingran Yang, and Min Zhang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Binary and firmware code analysis for security<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Ilir Gashi<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">TAR<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Quantifying Programs\u2019 Robustness Against Multi-Fault Control-Flow Attacks by Static Analysis<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">S\u00e9bastien Michelland, Antoine Gicquel, Damien Hardy and Erven Rohou<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>ReqSource: Request-Aware Source Refinement for Binary Firmware Taint Analysis<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yudong Huang, Yisen Wang, Haofeng Yan, Tianchan Yang, Zirui Jiang and Tieming Liu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>TopoRL: Topology-Aware Reinforcement Learning for Robustness Evaluation of Binary Similarity Detection<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ceyuan Yi, Lei Zhang and Liang Liu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>BranchCARET Model Checking of Self Modifying Code<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Tayssir Touili and Olzhas Zhangeldinov<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>MARD: A Multi-Agent Framework for Robust Android Malware Detection<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Xueying Zeng, Youquan Xian, Sihao Liu, Xudong Mou, Yanze Li, Lei Cui and Bo Li<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row lunch-row\"><time>12:30\u201314:00<\/time><strong>Lunch Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>14:00\u2013 15:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>AIOps (1)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Zexin Wang<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>4 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>BTSB: Business-Level Time Series Anomaly Detection Benchmark<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Hang Cui, Cenjie Hu, Zexin Wang, Juncheng Hu, Haotian Si, Zihan Liu, Yuxuan Li, Jingjing Li, Dan Pei, Changhua Pei and Gaogang Xie<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>CoLMAD: Collaborating with Large Language Models for Scalable and Adaptive Time Series Anomaly Detection<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Shenglin Zhang, Xiaoyu Feng, Wenwei Gu, Yongqian Sun, Yu Kang, Hailin Zhang, Jiacheng Zhang, Yong Xu, Yuxin Wu, Dan Pei, Lauren Zhang, Cong Chen and Yingnong Dang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>ChainCraft: Bridging Causal Discovery and LLM Reasoning for Failure Prediction in Microservices<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yongxin Zhao, Yongqian Sun, Jingyu Wang, Junhua Kuang, Shenglin Zhang, Wenwei Gu, Boxuan Zhao, Li Shi, Wei Li, Liping Zhang and Dan Pei<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>CANOPY: LLM-Driven Tree-ReAct for Microservice RCA with Evidence Sharing and Information-Gain-Guided Probing<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Qian Sun, Yifan Wu and Ying Li<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>LLM-based testing<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Carmine Cesarano<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>LLM-Driven Test Case Generation via Requirement Item Extraction and Stepwise Prompting<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Wenrui Mou, Zhehao Kang, Bo Hu and Bang Wang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>An Incremental Unit Testing Strategy for Clojure Programs: A Comparative Study of Manual and LLM-Generated Tests<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Raissa Barreira, Auri Vincenzi and Jos\u00e9 Carlos Maldonado<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Graceful Restart Testing for Distributed Systems via LLM-Based Test Transformation<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Shuai Wang, Yinfang Chen, Darko Marinov and Yongle Zhang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>LLM-based Integration Test Suite Augmentation for Microservice-based Systems in the Space Domain<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Mauricio Ernesto Rodriguez Alas and Fabrizio Pastore<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">15:12\u201315:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>SE-GTR: Smell Evidence-Guided Repair of Automatically Generated Unit Tests<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Seungho Kim and Scott Uk-Jin Lee<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>ML-based systems (2)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Jos\u00e9 D’Abruzzo Pereira<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>4 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Sharp Edges vs. Probabilistic Failure Boundaries: an Exploratory Study in Deep Learning System Testing<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Matteo Camilli and Raffaela Mirandola<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>RepTran: Search-Based Repair of Transformer Models<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yuta Ishimoto, Paolo Arcaini, Fuyuki Ishikawa, Masanari Kondo, Naoyasu Ubayashi and Yasutaka Kamei<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>A MAPE-K Instantiation for Dependable Normative Adaptation in Intelligent Agents<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">A L Partis, Radu Calinescu, Ana Cavalcanti, Sinem Getir Yaman, Alvaro Miyazawa and Ioannis Stefanakos<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:03<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">FA<\/span><span>9 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Understanding Anti-Patterns in Agent Skills<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Van-Hoang Le, Asif Gill and Huy-Trung Nguyen<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Bug & vulnerability analysis<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Roberto Natella<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>A Comprehensive Study of Secure Multi-Party Computation Framework Bugs<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Peiyang Li and Bo Jiang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Toward a Theory of Software Supply Chain Security Metric Success<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Alexis Butler, Dan O’Keeffe and Santanu Kumar Dash<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Vulnerability Metadata Availability Gap<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Eid Albedah, Ilir Gashi and Jacob M. Howe<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>When Agents Fail: A Comprehensive Study of Bugs in LLM Agents with Automated Labeling<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Research Track Distinguished Paper\">Research Track Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Niful Islam, Ragib Shahriar Ayon, Deepak George Thomas, Shibbir Ahmed and Mohammad Wardat<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">15:12\u201315:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>JetTyped: A Study of Cross-Language Type Bugs in Android’s JavaScriptEngine<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Abhishek Tiwari, Jyoti Prakash, Dimitrios Dafnis and Mikkel Baun Kj\u00e6rgaard<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row break-row\"><time>15:30\u2013 16:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>16:00\u2013 17:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>AIOps (2)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Zexin Wang<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>OpsMem: Dual-Memory Reasoning with Cross-Memory Resonance for Failure Diagnosis<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yongqian Sun, Rongchen Gao, Yu Luo, Wenwei Gu, Shenglin Zhang, Qingyi Guo, Qiuai Fu, Yaoliang Wu and Dan Pei<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>OpsLLM: Construction of Large Language Model for Software Operations with Multi-stage Learning<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jingkai He, Pengfei Chen, Chenghui Wu, Shuang Liang, Ye Li, Gou Tan, Xidao Wen, Chuanfu Zhang, Fang Situ and Qi Zhou<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:36\u201316:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Divide and Diagnose: Enhancing Multimodal Failure Diagnosis by Mixture-of-Experts for Microservice Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Bingkun He, Yifan Wu, Weilin Jin, Tong Jia and Ying Li<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">IND TALK\/TOOL<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Rethinking Software Validation in the Age of AI-Accelerated Development<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Carlos Arguelles, Carlos Puyuelo Rosas, and Adi Venkatesh<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">17:12\u201317:21<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY SHORT<\/span><span>9 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Automated Retrospective Evaluation of Al-Assisted Incident Investigation Agents in Cloud Operations: An Industrial Experience<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Afeez Abiodun Fakunle and Aniket Malatpure<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Software Testing<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Nuno Laranjeiro<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Search-Based Software Aging Testing for Android Applications<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yuge Nie, Yulei Chen, Huayao Wu and Yuming Zhou<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Fault Injection in OpenAPI Specifications for Evaluating Black-Box Testing Effectiveness<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Hamza Bin Mazhar, Yuqing Wang and Mika M\u00e4ntyl\u00e4<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:36\u201316:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>The Polyglot’s Dilemma: Conformance Testing a Dozen Specs in as Many Languages<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">A. Jesse Jiryu Davis, Jeremy Mikola and Jeffrey Yemin<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Behavioral Fingerprinting of ERC Tokens at Scale: A Conformance Test Suite as an Ecosystem Sensor<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yli\u00e8s Falcone<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">17:12\u201317:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">IND TALK\/TOOL<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Multi-Level Conformance Testing of ERC Tokens with ERCx<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ylies Falcone<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>ML-based systems (3)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Jo\u00e3o R. Campos<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>4 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>PromptStitch: Two-Stage Prompt Extraction via Template Matching and Suffix Optimization<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Weibin Wu, Sitan Han, Haoxuan Hu, Chenxi Wu and Weijun Su<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Modeling Memory-Dependent Reliability of LLMs: A Hidden Markov Model<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Robab Aghazadeh Chakherlou, Siddartha Khastgir, Peter Popov and Xingyu Zhao<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:36\u201316:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Reliability Characterization for N-version Object Detection<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Shunsuke Nagao and Fumio Machida<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Engineering Reliability into LLM Multi-Agent Systems: An Industrial Experience<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Marco Becattini, Matteo Minin, Lorenzo Cioni, Nuno Laranjeiro, Roberto Verdecchia and Enrico Vicario<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Reliability against physical faults<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Darko Marinov<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Assessing the impact of transpilation on the reliability of quantum circuit results<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Macario Polo, Elena Desdentado and Coral Calero<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Resilience for Free: Exploiting Performance-Neutral Redundancy in HPC<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Zhengyang He, Bohan Zhang and Guanpeng Li<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:36\u201316:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Resilient Page Table Management under ECC-uncorrectable Memory Errors<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Research Track Distinguished Paper\">Research Track Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Kazuki Takeda and Hiroshi Yamada<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>SIEVE: Hybrid Hardware\/Software Detection of Multi-Bit Errors in Random-Access Memory<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Robin Thunig, Christoph Borchert, Urs Kober and Horst Schirmeier<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">17:12\u201317:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>From Noisy Telemetry to Actionable Warnings: GPU Failure Prediction in Industrial Clusters<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yongqian Sun, Run Zhu, Wenwei Gu, Mengyao Li, Shenglin Zhang, Guanjin Wang, Yang Zhang, Xin Wu, Linlin Han, Feng Wang, Xiaozhou Liu and Yu Zhang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row social-row\"><time>18:00\u201319:30<\/time><strong>Welcome Reception<\/strong><\/div>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"programme-note\">Presentation durations: 18 minutes for full papers and 9 minutes for FAPH and short industry papers.<\/pee><!-- [et_pb_line_break_holder] --> <\/section>\n<section class=\"programme-day\" id=\"day-3\" role=\"tabpanel\" aria-labelledby=\"tab-day-3\" hidden><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-heading\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div><span class=\"day-label\">Day 3 \u00b7 Thursday, 22 October<\/span><\/p>\n<h2>Main Conference<\/h2>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"status\">Schedule available<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-content\">\n<section class=\"time-block plenary\">\n<header><time>09:00\u2013 10:30<\/time><\/header>\n<div class=\"plenary-card\"><span class=\"plenary-room\">Room: Panorama<\/span><span>Plenary session<\/span><strong>Awards & Keynote by Don Syme<\/strong><!-- [et_pb_line_break_holder] --><pee class=\"session-chair inline\"><span>Session chair:<\/span>Sigrid Eldh<\/pee> <!-- [et_pb_line_break_holder] --> <\/div>\n<\/section>\n<div class=\"shared-row break-row\"><time>10:30\u2013 11:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>11:00\u2013 12:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>LLM code generators (1)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Jo\u00e3o R. Campos<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Beyond Vibe Coding: Generalisation-Aware Evaluation of Multimodal Code Comprehension Prediction<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ricardo Saraiva, Haytham Hijazi, Henrique Madeira and Paulo de Carvalho<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>From Discussion to Execution: Replicating Buggy and Correct Data Science Code<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ragib Shahariar Ayon, Mohammad Wardat and Shibbir Ahmed<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201312:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Escaping Collocation Traps: Periodic Multi-Color Watermarking for AI Code Generation<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yilin Yang, Yulei Sui and Hye-young Paik<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Robustness and Trade-offs for Code LLMs on Protected Code<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jin Wen, Yuejun Guo, Yujie Ma, Qiang Hu and Maxime Cordy<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Lightweight, Rubric-Guided Trajectory Evaluation for Production AI Agents<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Linh-An Phan, Mingxue Wang, Guangyu Wu, Feng Pan, Zhaoyu Pang and Yanbin Zhang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>RCA and Failure Management<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Fumio Machida<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Prism: Knowledge Management for Root-Cause Analysis and Mitigation in Serverless Computing<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yongqian Sun, Jingya Wang, Yujia Wu, Shenglin Zhang, Wenwei Gu, Ziyi Liu, Ruowei Fu, Qingjie Zhao, Weikai Wang, Xidao Wen and Dan Pei<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Where to Look First: Incident Memory for Alert-Time Triage of Microservice Applications<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Minsung Lim and Euiseong Seo<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RENE<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>From Benchmark Accuracy to Diagnostic Boundaries: A Time-Aware Replication of DEST<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"RENE Distinguished Paper\">RENE Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Hang Cui, Cenjie Hu, Changhua Pei, Juncheng Hu, Haotian Si, Zihan Liu, Ke Xiang, Yuxuan Li, Quan Zhou, Xiaohui Nie, Zexin Wang, Jingjing Li, Dan Pei and Gaogang Xie<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">IND TALK\/TOOL<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>SLACHECK: From Live Observability Data to a Committable SLA Envelope<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jeremy Mechouche, Elimane Yassine Seidou and Wassim Badraoui<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>The Coherence Trap: Layer-Decomposed Failure-Mode Discovery in a Deployed Agentic LLM System<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Christoforos Kontzias, Manan Mehta and Raghav Sharma<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Software and systems engineering<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Jos\u00e9 D’Abruzzo Pereira<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>6 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>LLM-Assisted CVE Triage for IoT Gateways: A Human-in-the-Loop Empirical Study<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Diego Gomes, Fernando Aires and Marco Vieira<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>A Clustering-based Hybrid Ranking for Defect Prediction in Industrial Power Grid Software Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Chaosheng Yao, Lei Cui, Zheheng Liang, Xiaoye Zhang and Jiaxin Lin<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Towards Seamless Zero-Downtime Upgrades of Safety-Related Automation Functions on Standard Industrial Hardware<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Joachim Fr\u00f6hlich and Christoph St\u00fcckj\u00fcrgen<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">J1C2<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Elicit, specify, require, revise: enhancing requirements engineering process using gamification<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Naomi Unkelos\u2011Shpigel<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:21<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">FA<\/span><span>9 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>A User-Driven Engineering Process for the Support4Resilience Toolbox<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Evangelia Vanezi, Ioanna Theophilou, Efi Siapiti, Konstantinos Larkou, Georgia Kapitsaki, Georgia Charalambous, Cecilie Haraldseid and Birte Fagerdal<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:21\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY SHORT<\/span><span>9 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>SPRING: Stored Procedure Retry for Idempotent Native Guarantees in Snowpark<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Saber Mirzaei, Urjeet Shrestha, Nova Qi, Zihao Ye and Yuxiong He<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Fuzzing and symbolic execution<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Horst Schirmeier<\/pee><!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>State Back-off Control for Reliable Progress in Dynamic Symbolic Execution<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Muxian Wang, Shikun Zhang, Qing Gao and Wei Ye<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>NeuroMerge: ML-Guided State Merging for Efficient Symbolic Execution<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Shenghan Zhang, Shitong Zhu, Yu Hao, Xingyu Li, Keyu Man, Zheng Zhang, Qing Deng, Zhiyun Qian and Srikanth Krishnamurthy<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Enumetrics: Enhancing Coverage-guided Fuzzing with Enumeration-aware Feedback<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Tiziano Colagrossi, Daniele Cono D’Elia and Leonardo Querzoni<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RENE<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Better Distributional Fit Does Not Improve Reachable Coverage Estimation in Fuzzing<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Nelum Attanayake, Danushka Liyanage, Hoang Nguyen, Suranga Seneviratne, Clement Canonne and Rahul Gopinath<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">TAR<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Fuzzing Graal Compiler<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jan Papesch, Jan Kofro\u0148, Gerg\u00f6 Barany and Martin Blicha<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row lunch-row\"><time>12:30\u201314:00<\/time><strong>Lunch Break<\/strong><\/div>\n<section class=\"time-block plenary\">\n<header><time>14:00\u2013 15:30<\/time><\/header>\n<div class=\"plenary-card\"><span class=\"plenary-room\">Room: Panorama<\/span><span>Plenary session<\/span><\/p>\n<div class=\"plenary-agenda\">\n<div class=\"plenary-agenda-item\"><strong>Test-of-Time Retrospective talk<\/strong><pee class=\"plenary-citation\">S. He, J. Zhu, P. He and M. R. Lyu, \u201cExperience Report: System Log Analysis for Anomaly Detection,\u201d ISSRE 2016.<\/pee><!-- [et_pb_line_break_holder] --><pee class=\"session-chair inline\"><span>Session chair:<\/span>Marco Vieira<\/pee> <\/div>\n<div class=\"plenary-agenda-item\"><strong><u><a href=\"https:\/\/cyprusconferences.org\/issre2026\/panel\/\">Panel on Agentic AI<\/a><\/u><\/strong><pee class=\"plenary-citation\">Moderator: Preeti Chauhan<!\u2013- [et_pb_br_holder] -\u2013>Panelists: Fenareti Lampathaki, Janet Lin, Michalis Sirivianos, and Angelos Stavrou<\/pee><\/div>\n<\/div>\n<\/div>\n<\/section>\n<div class=\"shared-row break-row\"><time>15:30\u2013 16:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>16:00\u2013 17:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>LLM code generators (2)<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Diego Clerissi<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>4 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Unreliable in Practice? A Comprehensive Study of Errors in LLM-Generated Code<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Rodrigo Pato Nogueira, Marco Vieira and Jo\u00e3o R. Campos<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>CARE: Pre-Execution Command Verification for Shell-Executing LLM Agents<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yu Liu, Wenxiao Zhang, Zhiwei Yang, Zhongyi Zhang, Hanqi Feng, Xinyu Wang, Peng Qiu, Yanbing Liu, Barnabas Poczos and Jin B. Hong<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>AEC: Mitigating Silent Failures in LLM-Assisted Exploit Migration<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Haorui Yang, Xin Liu, Luxing Yin, Jie Wang, Guodong Ye and Rui Zhou<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">17:12\u201317:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Autonomous Exploitation of Python Vulnerabilities with AI Agents<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Fr\u00e9d\u00e9ric Bogaerts, Naghmeh Ivaki and Jos\u00e9 Fonseca<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card unavailable\"><span class=\"room\">Megaron Alpha<\/span><strong>No session<\/strong><\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Safety assurance<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Naghmeh Ivaki<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>CUBICS: A modular approach for continuous safety assurance using Subjective Logic<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Benjamin Herd, Jessica Kelly and Mario Trapp<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Safety Reference Benchmarks with Avoidability Criteria for Evaluating Autonomous Driving Systems<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Duong Dinh Tran, Peter Riviere, Takashi Tomita and Toshiaki Aoki<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:36\u201316:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Mikael Yeghiazaryan, Ayoosh Bansal, Artyom Khachatryan, Tianyi Zhu, Hunmin Kim, Naira Hovakimyan and Lui Sha<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">J1C2<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>LLMs as judges: Toward the LLM-assisted review of GSN-compliant assurance cases<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Gerhard Yu, Mithila Sivakumar, Alvine B. Belle, Soude Ghari, Song Wang and Timothy C. Lethbridge<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">17:12\u201317:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>An Agentic RAG and Evaluation Framework for Assurance Case Generation: Industrial Use Case for the EU Cyber Resilience Act Compliance<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Fariz Ikhwantri, Iker Lasa Ojanguren, Dusica Marijan, Maria I. Maslioukova, Jose Arias Marin and Pavlos Kosmides<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Metamorphic testing and debugging<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Fabrizio Pastore<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:00\u201316:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Compositional Constructive Metamorphism for Testing Constraint Checking Implementations<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Wenze Jin, Huiyan Wang and Chang Xu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:18\u201316:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Program Reversal for Error Reachability Analysis<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Ad\u00e9la \u0160t\u011bpkov\u00e1, Martin Jon\u00e1\u0161 and Jan Strej\u010dek<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:36\u201316:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Dr. DD: 1-Minimal Isolation of Failure Causes via Deferred Restarts<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Aarush Kumbhakern, Feiyang Chen, Danushka Liyanage, Xi Wu, Mohammad Amin Alipour and Rahul Gopinath<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">16:54\u201317:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Revealing Transaction Bugs in DBMS Engines with Metamorphic Testing<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Kaiming Zhang and Mingyue Jiang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">17:12\u201317:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>RotDroid: Cross-Orientation State Equivalence Testing for Detecting GUI Rotation Bugs in Android Apps<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Research Track Distinguished Paper\">Research Track Distinguished Paper<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Mengdi Qin and Bo Jiang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row social-row\"><time>18:00<\/time><strong>Tour & Conference Dinner<\/strong><\/div>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"programme-note\">Presentation durations: 18 minutes for full papers and 9 minutes for FAPH and short industry papers.<\/pee><!-- [et_pb_line_break_holder] --> <\/section>\n<section class=\"programme-day\" id=\"day-4\" role=\"tabpanel\" aria-labelledby=\"tab-day-4\" hidden><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-heading\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div><span class=\"day-label\">Day 4 \u00b7 Friday, 23 October<\/span><\/p>\n<h2>Main Conference<\/h2>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"status\">Schedule available<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"day-content\">\n<section class=\"time-block plenary\">\n<header><time>09:30\u2013 10:30<\/time><\/header>\n<div class=\"plenary-card\"><span class=\"plenary-room\">Room: Panorama<\/span><span>Plenary session<\/span><strong>Keynote by Paolo Tonella<\/strong><!-- [et_pb_line_break_holder] --><pee class=\"session-chair inline\"><span>Session chair:<\/span>Leonardo Mariani<\/pee> <\/div>\n<\/section>\n<div class=\"shared-row break-row\"><time>10:30\u2013 11:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>11:00\u2013 12:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>ML for bug and vulnerability detection<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Domenico Cotroneo<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>4 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Detecting Dependency Bugs in Deep Learning Stacks via LLM-Powered Dependency Graph Construction<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Qixiang Wang, Zhong Li and Tian Zhang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Calibration Without Comprehension: Diagnosing the Limits of Fine-Tuning LLMs for Vulnerability Detection in Systems Software<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Research Track Distinguished Paper\">Research Track Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Arastoo Zibaeirad and Marco Vieira<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Using Source Code Data Structures to Detect Vulnerable Code Units with Deep Graph Convolutional Neural Networks<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Jos\u00e9 D’Abruzzo Pereira, Lu\u00eds Vieira and Nuno Louren\u00e7o<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>AutoTrace: From Patches to Triggers via Agentic Interprocedural Exploration<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Arastoo Zibaeirad, Marco Vieira and Thomas Zimmermann<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Reliability in HPC systems<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>George Papadopoulos<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>AgentLog: Evidence-Adaptive LLM Agent for Log Anomaly Detection in Production HPC Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yiyun Zhang, Songlei Jian, Huijun Wu, Wenzhe Zhang, Yuan Yuan, Linbo Qiao and Kai Lu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>KnowLution: A Multi-Agent Framework for Execution-Oriented Autonomous Operations in Production Supercomputers<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yuqi Li, Liquan Xiao, Yongqian Sun, Xiuhong Tan, Aiwen Yu, Jinghua Feng, Lei Tao, Tongqing Zhou and Yuan Yuan<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>SLoFI: Low-Privilege Fault Injection for Reliability Testing in Production Supercomputers<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yongqian Sun, Shaoyu Hu, Lei Tao, Xijie Pan, Yuan Yuan, Wenwei Gu, Shenglin Zhang, Yuqi Li and Jian Zhang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Challenges and Trade-offs of ML-Based GPU Error Prediction: A Case Study on Summit<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yiyang Lu, Woong Shin, Ahmad Maroof Karimi, Feiyi Wang, Evgenia Smirni and Jie Ren<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>THXInLog: Robust Semantic-Temporal Framework for Log Anomaly Detection in Production Supercomputers<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yuqi Li, Liquan Xiao, Yongqian Sun, Xiuhong Tan, Jinghua Feng, Yiqiang Li, Lei Tao, Tongqing Zhou and Yuan Yuan<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Software verification<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Sigrid Eldh<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>An Empirical Study of LLM-Generated Specifications for VeriFast<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Wen Fan, Minh Tran, Sanya Dod, Xin Hu, Marilyn Rego, Danning Xie, Jenna DiVincenzo and Lin Tan<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Automated Fault Localization for Verification-Aware Languages: A Study on Dafny<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">\u00c1lvaro Silva, Isabel Amaral, Alexandra Mendes and Jo\u00e3o Pascoal Faria<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Toward Verified Code from Natural Language: Understanding Pipeline Design for Formally Verified Rust Program Generation<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Lianhe Hu, Cheng Wen, Jialun Cao, Shengchao Qin, Dugang Liu, Zhiwu Xu, Zhuohua Li, Haokun Li and Weidi Sun<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RENE<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>A First Look at Learned Splitting Heuristics for Parallel String Solvers<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Chenghao Gao and Peisen Yao<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada\/SPARK<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Industry Track Distinguished Paper\">Industry Track Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Tobias Philipp<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Gamma<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Reliability of autonomous systems<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Leonardo Mariani<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:00\u201311:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>BayScen: Standards-Grounded Scenario Generation for Autonomous Vehicle Testing via Bayesian Networks and Capability Abstraction<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reproducible\"><span>Code<\/span> Reproducible<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reproducible\"><span>Data<\/span> Reproducible<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Borhaneddine Hamadou, Chokri Mraidha and Nikolaos Matragkas<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:18\u201311:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>IMPACT: Camera and LiDAR Contributions to End-to-End Autonomous Driving Risks<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Alexandra Arzberger and Ramin Tavakoli Kolagari<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:36\u201311:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>On the Effectiveness of Open-Loop DNN Repair in End-to-End Autonomous Driving Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Deyun Lyu, Paolo Arcaini, Zhenya Zhang, Masaaki Inoue, Nayuta Yanagisawa, Ryo Neyama, Shintaro Fukushima and Fuyuki Ishikawa<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">11:54\u201312:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>How to Break a Swarm: Search-based Robustness Testing of Decentralized UAV Swarms<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">David Marson and Alexander Pretschner<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">12:12\u201312:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Test model abstraction for robotic systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Hugo Araujo, Mohammad Mousavi, Alvaro Miyazawa, Ana Cavalcanti and Rob Hierons<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row lunch-row\"><time>12:30\u201314:00<\/time><strong>Lunch Break<\/strong><\/div>\n<section class=\"time-block\"><!-- [et_pb_line_break_holder] --> <\/p>\n<header><time>14:00\u2013 15:30<\/time><span>Parallel sessions<\/span><\/header>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"tracks\">\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Panorama<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Systems security<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Marco Vieira<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Neurosymbolic Characterization for Reliable Access Control Policy Analysis<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Reviewed\"><span>Code<\/span> Reviewed<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Available\"><span>Data<\/span> Available<\/span><span class=\"paper-badge ae-badge data-badge\" title=\"Artifact Evaluation: Data Reviewed\"><span>Data<\/span> Reviewed<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Adarsh Vatsa, Bethel Hall and William Eiers<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>KubeCap: A Framework for Capability Minimization in Kubernetes via Static Analysis and LLM-Assisted Rule Inference<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yuhao Liu, Yingnan Zhou, Weijie Liu, Yan Jia and Zheli Liu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">TAR<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>ProvScope: A tool to assist cybersecurity analysts in identifying information flows in complex systems<\/strong><span class=\"paper-badges\"><span class=\"paper-badge distinguished-badge\" title=\"Research Track Distinguished Paper\">Research Track Distinguished Paper<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Loic Robert, Vincent Nicomette, Eric Lacombe, Marie-Jos\u00e9 Huguet and Emmanuel Hebrard<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RENE<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>When Verifier Offloading Fails: The RATS Passport Model in Constrained Massive IoT Networks<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Maria Gomes da Silva, Jos\u00e9 Cec\u00edlio, Andr\u00e9 Souto, Pedro M. Ferreira and Ant\u00f3nio Casimiro<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">15:12\u201315:30<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">TAR<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>ZKGuard: A Zero-Knowledge Policy Engine for On-Chain Transactions<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Santiago Gali\u00f1anes Arienti and Nuno Laranjeiro<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Alpha<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Anomaly detection<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Diego Clerissi<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>5 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">INDUSTRY<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>HSMLog: Small Language Model-Assisted Hardware Security Module Log Anomaly Detection with Behavioral Analysis<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Chia-Hsuan Wu, Dar-Hsin Wu, Rui Fang, Yi-Ting Lee, Chia-Chih Lin and Ming-Syan Chen<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>FAME: Failure-Aware Mixture-of-Experts for Message-Level Log Anomaly Detection<\/strong><span class=\"paper-badges\"><span class=\"paper-badge ae-badge code-badge\" title=\"Artifact Evaluation: Code Available\"><span>Code<\/span> Available<\/span><\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Huanchi Wang, Zihang Huang, Yifang Tian, Kristina Dzeparoska, Hans-Arno Jacobsen and Alberto Leon-Garcia<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>GenVer-Log: Generation-Verification-Guided Online Log Parsing via Self-Evolving In-Context Learning<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yao Wang, Yueshen Xu, Qingshan Li, Yuyu Yin, Xinkui Zhao, Jiahao Wang, Yibo Liu, Rui Li and Zemian Dong<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">PER<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Understanding Online Failure Prediction in Linux Through Complementary Multi-View Explainability<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Diogo D\u00f3ria and Jo\u00e3o Campos<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">15:12\u201315:21<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">FA<\/span><span>9 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>When Logs Are Not Enough: Reconstructability as a Reliability Requirement for AI-Enabled Software Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Hon Bor So<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card\"><!-- [et_pb_line_break_holder] --> <span class=\"room\">Megaron Beta<\/span><!-- [et_pb_line_break_holder] --> <\/p>\n<h4>Formal methods for reliability and security<\/h4>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair\"><span>Session chair<\/span>Matteo Camilli<\/pee> <!-- [et_pb_line_break_holder] --> <\/p>\n<details class=\"paper-details\"><!-- [et_pb_line_break_holder] --> <\/p>\n<summary>4 presentations <span>View details<\/span><\/summary>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<ol class=\"paper-list\">\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:00\u201314:18<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">J1C2<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Automated Generation of Benchmarks for Falsification of STL Specifications<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini and Jianjun Zhao<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:18\u201314:36<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Synthesis of Sensor Deception Attacks against Security for Timed Supervisory Control Systems<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Yitong Li, Huan Sun, Wenhai Wang and Jingyi Wang<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:36\u201314:54<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Oracle-Guided Reliability Regression Analysis for Evolving IoT Authentication Protocols<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Zihan Tang, Sini Chen, Lili Xiao and Huibiao Zhu<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<li class=\"paper\"><!-- [et_pb_line_break_holder] -->\n<div class=\"paper-time\">14:54\u201315:12<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-copy\"><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-topline\"><span class=\"paper-type\">RES<\/span><span>18 min<\/span><\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<div class=\"paper-title-row\"><strong>Manifest Bound Release Control for a Confidential Kubernetes Service Boundary<\/strong><\/div>\n<p><!-- [et_pb_line_break_holder] --> <span class=\"authors\">Aviv Itzhak<\/span><!-- [et_pb_line_break_holder] --> <\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/li>\n<\/ol>\n<p><!-- [et_pb_line_break_holder] --> <\/details>\n<p><!-- [et_pb_line_break_holder] --> <\/article>\n<article class=\"session-card unavailable\"><span class=\"room\">Megaron Gamma<\/span><strong>No session<\/strong><\/article>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <\/section>\n<div class=\"shared-row break-row\"><time>15:30\u2013 16:00<\/time><strong>Coffee Break<\/strong><\/div>\n<section class=\"time-block plenary\">\n<header><time>16:00\u2013 17:30<\/time><\/header>\n<div class=\"plenary-card\"><span class=\"plenary-room\">Room: Panorama<\/span><span>Plenary session<\/span><strong>Closing, Open Forum<\/strong><!-- [et_pb_line_break_holder] --> <pee class=\"session-chair inline\"><span>Session chair:<\/span>Marco Vieira<\/pee> <\/div>\n<\/section>\n<\/div>\n<p><!-- [et_pb_line_break_holder] --> <pee class=\"programme-note\">Presentation durations: 18 minutes for full papers and 9 minutes for FAPH and short industry papers.<\/pee><!-- [et_pb_line_break_holder] --> <\/section>\n<p><!-- [et_pb_line_break_holder] --> <\/p>\n<footer>Programme information is subject to change. Retracted papers are not displayed.<\/footer>\n<p><!-- [et_pb_line_break_holder] --> <\/main><!-- [et_pb_line_break_holder] --> <script><!-- [et_pb_line_break_holder] --> (() => {<!-- [et_pb_line_break_holder] --> const tabs = Array.from(document.querySelectorAll('[role=\"tab\"]'));<!-- [et_pb_line_break_holder] --> const panels = tabs.map((tab) => document.getElementById(tab.getAttribute('aria-controls')));<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --> function activateTab(tab, updateHistory = true) {<!-- [et_pb_line_break_holder] --> tabs.forEach((item, index) => {<!-- [et_pb_line_break_holder] --> const selected = item === tab;<!-- [et_pb_line_break_holder] --> item.setAttribute('aria-selected', String(selected));<!-- [et_pb_line_break_holder] --> item.tabIndex = selected ? 0 : -1;<!-- [et_pb_line_break_holder] --> panels[index].hidden = !selected;<!-- [et_pb_line_break_holder] --> });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --> if (updateHistory) {<!-- [et_pb_line_break_holder] --> const dayId = tab.getAttribute('aria-controls');<!-- [et_pb_line_break_holder] --> try {<!-- [et_pb_line_break_holder] --> history.pushState(null, '', `#${dayId}`);<!-- [et_pb_line_break_holder] --> } catch (error) {<!-- [et_pb_line_break_holder] --> window.location.hash = dayId;<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --> tabs.forEach((tab, index) => {<!-- [et_pb_line_break_holder] --> tab.addEventListener('click', () => activateTab(tab));<!-- [et_pb_line_break_holder] --> tab.addEventListener('keydown', (event) => {<!-- [et_pb_line_break_holder] --> let targetIndex = index;<!-- [et_pb_line_break_holder] --> if (event.key === 'ArrowRight' || event.key === 'ArrowDown') targetIndex = (index + 1) % tabs.length;<!-- [et_pb_line_break_holder] --> else if (event.key === 'ArrowLeft' || event.key === 'ArrowUp') targetIndex = (index - 1 + tabs.length) % tabs.length;<!-- [et_pb_line_break_holder] --> else if (event.key === 'Home') targetIndex = 0;<!-- [et_pb_line_break_holder] --> else if (event.key === 'End') targetIndex = tabs.length - 1;<!-- [et_pb_line_break_holder] --> else return;<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --> event.preventDefault();<!-- [et_pb_line_break_holder] --> tabs[targetIndex].focus();<!-- [et_pb_line_break_holder] --> activateTab(tabs[targetIndex]);<!-- [et_pb_line_break_holder] --> });<!-- [et_pb_line_break_holder] --> });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --> function activateFromHash() {<!-- [et_pb_line_break_holder] --> const requestedId = window.location.hash.slice(1);<!-- [et_pb_line_break_holder] --> const requestedTab = tabs.find((tab) => tab.getAttribute('aria-controls') === requestedId);<!-- [et_pb_line_break_holder] --> activateTab(requestedTab || tabs[0], false);<!-- [et_pb_line_break_holder] --> }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --> window.addEventListener('popstate', activateFromHash);<!-- [et_pb_line_break_holder] --> window.addEventListener('hashchange', activateFromHash);<!-- [et_pb_line_break_holder] --> activateFromHash();<!-- [et_pb_line_break_holder] --> })();<!-- [et_pb_line_break_holder] --> <\/script><!-- [et_pb_line_break_holder] --><\/body><!-- [et_pb_line_break_holder] --><\/html>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"et_pb_module dsm_text_divider dsm_text_divider_0\">\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t<div class=\"et_pb_module_inner\">\n\t\t\t\t\t<div class=\"dsm-text-divider-wrapper dsm-text-divider-align-center et_pb_bg_layout_light\">\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t<div class=\"dsm-text-divider-before dsm-divider\"><\/div>\n\t\t\t\t<h1 class=\"dsm-text-divider-header et_pb_module_header\"><span>Program<\/span><\/h1>\n\t\t\t\t<div class=\"dsm-text-divider-after dsm-divider\"><\/div>\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n","protected":false},"author":9,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"class_list":["post-52","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages\/52","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/comments?post=52"}],"version-history":[{"count":106,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages\/52\/revisions"}],"predecessor-version":[{"id":245534,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages\/52\/revisions\/245534"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/media?parent=52"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}