{"id":245184,"date":"2026-07-23T13:13:28","date_gmt":"2026-07-23T13:13:28","guid":{"rendered":"https:\/\/cyprusconferences.org\/issre2026\/?page_id=245184"},"modified":"2026-09-10T08:03:27","modified_gmt":"2026-09-10T08:03:27","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/cyprusconferences.org\/issre2026\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.26.0&#8243; background_enable_image=&#8221;off&#8221; background_blend=&#8221;luminosity&#8221; custom_padding=&#8221;32px||10px|||&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][dsm_text_divider header=&#8221;Accepted Papers&#8221; _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; header_level=&#8221;h1&#8243; global_colors_info=&#8221;{}&#8221;][\/dsm_text_divider][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_code _builder_version=&#8221;4.27.8&#8243; _module_preset=&#8221;default&#8221; hover_enabled=&#8221;0&#8243; global_colors_info=&#8221;{}&#8221; sticky_enabled=&#8221;0&#8243;]<!-- ISSRE 2026 Accepted Papers --><!-- [et_pb_line_break_holder] --><\/p>\n<div class=\"issre-papers-widget\"><!-- [et_pb_line_break_holder] -->  <\/p>\n<div class=\"issre-papers-header\"><!-- [et_pb_line_break_holder] -->    <\/p>\n<div><!-- [et_pb_line_break_holder] -->      <\/p>\n<h3>Accepted Papers: <span id=\"issre-active-track-title\">Research Track<\/span><\/h3>\n<p><!-- [et_pb_line_break_holder] -->      <pee>Select a track or workshop, then search and sort the available accepted papers.<\/pee><!-- [et_pb_line_break_holder] -->    <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    <\/p>\n<div class=\"issre-result-count\" aria-live=\"polite\"><!-- [et_pb_line_break_holder] -->      <span id=\"issre-visible-count\">0<\/span> <span id=\"issre-count-label\">papers<\/span><!-- [et_pb_line_break_holder] -->    <\/div>\n<p><!-- [et_pb_line_break_holder] -->  <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  <\/p>\n<nav class=\"issre-track-nav\" aria-label=\"Accepted papers tracks and workshops\"><!-- [et_pb_line_break_holder] -->    <span class=\"issre-control-label\">Select a track or workshop<\/span><!-- [et_pb_line_break_holder] -->    <\/p>\n<div id=\"issre-track-buttons\" class=\"issre-track-buttons\" role=\"tablist\" aria-label=\"Conference tracks and workshops\"><\/div>\n<p><!-- [et_pb_line_break_holder] -->  <\/nav>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  <\/p>\n<div class=\"issre-controls\"><!-- [et_pb_line_break_holder] -->    <\/p>\n<div class=\"issre-search-wrap\"><!-- [et_pb_line_break_holder] -->      <label for=\"issre-paper-search\">Search papers<\/label><!-- [et_pb_line_break_holder] -->      <\/p>\n<div class=\"issre-search-field\"><!-- [et_pb_line_break_holder] -->        <span aria-hidden=\"true\">\u2315<\/span><!-- [et_pb_line_break_holder] -->        <input<!-- [et_pb_line_break_holder] -->          id=&#8221;issre-paper-search&#8221;<!-- [et_pb_line_break_holder] -->          type=&#8221;search&#8221;<!-- [et_pb_line_break_holder] -->          placeholder=&#8221;Search by paper type, title, or author&#8230;&#8221;<!-- [et_pb_line_break_holder] -->          autocomplete=&#8221;off&#8221;<!-- [et_pb_line_break_holder] -->        ><!-- [et_pb_line_break_holder] -->        <button id=\"issre-clear-search\" type=\"button\">Clear<\/button><!-- [et_pb_line_break_holder] -->      <\/div>\n<p><!-- [et_pb_line_break_holder] -->    <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    <\/p>\n<div class=\"issre-sort-wrap\"><!-- [et_pb_line_break_holder] -->      <span class=\"issre-control-label\">Sort by<\/span><!-- [et_pb_line_break_holder] -->      <\/p>\n<div class=\"issre-sort-buttons\" role=\"group\" aria-label=\"Sort accepted papers\"><!-- [et_pb_line_break_holder] -->        <button class=\"issre-sort-button is-active\" type=\"button\" data-sort=\"title\" data-direction=\"asc\"><!-- [et_pb_line_break_holder] -->          Title <span aria-hidden=\"true\">\u2191<\/span><!-- [et_pb_line_break_holder] -->        <\/button><!-- [et_pb_line_break_holder] -->        <button class=\"issre-sort-button\" type=\"button\" data-sort=\"authors\" data-direction=\"asc\"><!-- [et_pb_line_break_holder] -->          Authors <span aria-hidden=\"true\">\u2195<\/span><!-- [et_pb_line_break_holder] -->        <\/button><!-- [et_pb_line_break_holder] -->        <button class=\"issre-sort-button issre-type-control\" type=\"button\" data-sort=\"type\" data-direction=\"asc\"><!-- [et_pb_line_break_holder] -->          Paper Type <span aria-hidden=\"true\">\u2195<\/span><!-- [et_pb_line_break_holder] -->        <\/button><!-- [et_pb_line_break_holder] -->        <button id=\"issre-reset-table\" class=\"issre-reset-button\" type=\"button\"><!-- [et_pb_line_break_holder] -->          Reset<!-- [et_pb_line_break_holder] -->        <\/button><!-- [et_pb_line_break_holder] -->      <\/div>\n<p><!-- [et_pb_line_break_holder] -->    <\/div>\n<p><!-- [et_pb_line_break_holder] -->  <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  <\/p>\n<div class=\"issre-table-scroll\"><!-- [et_pb_line_break_holder] -->    <\/p>\n<table class=\"issre-papers-table\"><!-- [et_pb_line_break_holder] -->      <\/p>\n<thead><!-- [et_pb_line_break_holder] -->        <\/p>\n<tr><!-- [et_pb_line_break_holder] -->          <\/p>\n<th class=\"issre-type-column\" scope=\"col\">Paper Type<\/th>\n<p><!-- [et_pb_line_break_holder] -->          <\/p>\n<th class=\"issre-title-column\" scope=\"col\">Paper Title<\/th>\n<p><!-- [et_pb_line_break_holder] -->          <\/p>\n<th class=\"issre-authors-column\" scope=\"col\">Authors<\/th>\n<p><!-- [et_pb_line_break_holder] -->        <\/tr>\n<p><!-- [et_pb_line_break_holder] -->      <\/thead>\n<p><!-- [et_pb_line_break_holder] -->      <\/p>\n<tbody id=\"issre-papers-body\"><\/tbody>\n<p><!-- [et_pb_line_break_holder] -->    <\/table>\n<p><!-- [et_pb_line_break_holder] -->  <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  <\/p>\n<div id=\"issre-empty-state\" class=\"issre-empty-state\" hidden><!-- [et_pb_line_break_holder] -->    No papers match your search.<!-- [et_pb_line_break_holder] -->  <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  <\/p>\n<div id=\"issre-tba-state\" class=\"issre-tba-state\" hidden><!-- [et_pb_line_break_holder] -->    <strong>Accepted papers: TBA<\/strong><!-- [et_pb_line_break_holder] -->    <span>The accepted-paper list for this track will be announced later.<\/span><!-- [et_pb_line_break_holder] -->  <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  <\/p>\n<div class=\"issre-pagination\"><!-- [et_pb_line_break_holder] -->    <button id=\"issre-prev-page\" type=\"button\">Previous<\/button><!-- [et_pb_line_break_holder] -->    <span id=\"issre-page-status\" aria-live=\"polite\"><\/span><!-- [et_pb_line_break_holder] -->    <button id=\"issre-next-page\" type=\"button\">Next<\/button><!-- [et_pb_line_break_holder] -->  <\/div>\n<p><!-- [et_pb_line_break_holder] --><\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --><\/p>\n<style><!-- [et_pb_line_break_holder] -->.issre-papers-widget {<!-- [et_pb_line_break_holder] -->  --issre-primary: #647fda;<!-- [et_pb_line_break_holder] -->  --issre-primary-dark: #526bc3;<!-- [et_pb_line_break_holder] -->  --issre-primary-light: #eef1ff;<!-- [et_pb_line_break_holder] -->  --issre-text: #26304a;<!-- [et_pb_line_break_holder] -->  --issre-muted: #687087;<!-- [et_pb_line_break_holder] -->  --issre-border: #dfe3ec;<!-- [et_pb_line_break_holder] -->  --issre-row-alt: #f4f5f7;<!-- [et_pb_line_break_holder] -->  width: 100%;<!-- [et_pb_line_break_holder] -->  color: var(--issre-text);<!-- [et_pb_line_break_holder] -->  font-family: inherit;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-widget *,<!-- [et_pb_line_break_holder] -->.issre-papers-widget *::before,<!-- [et_pb_line_break_holder] -->.issre-papers-widget *::after {<!-- [et_pb_line_break_holder] -->  box-sizing: border-box;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-header {<!-- [et_pb_line_break_holder] -->  display: flex;<!-- [et_pb_line_break_holder] -->  align-items: flex-end;<!-- [et_pb_line_break_holder] -->  justify-content: space-between;<!-- [et_pb_line_break_holder] -->  gap: 20px;<!-- [et_pb_line_break_holder] -->  margin-bottom: 22px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-header h3 {<!-- [et_pb_line_break_holder] -->  margin: 0 0 6px;<!-- [et_pb_line_break_holder] -->  color: var(--issre-text);<!-- [et_pb_line_break_holder] -->  font-size: 28px;<!-- [et_pb_line_break_holder] -->  line-height: 1.2;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-header p {<!-- [et_pb_line_break_holder] -->  margin: 0;<!-- [et_pb_line_break_holder] -->  color: var(--issre-muted);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-result-count {<!-- [et_pb_line_break_holder] -->  flex: 0 0 auto;<!-- [et_pb_line_break_holder] -->  padding: 8px 14px;<!-- [et_pb_line_break_holder] -->  background: var(--issre-primary-light);<!-- [et_pb_line_break_holder] -->  border-radius: 999px;<!-- [et_pb_line_break_holder] -->  color: var(--issre-primary-dark);<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-controls {<!-- [et_pb_line_break_holder] -->  display: grid;<!-- [et_pb_line_break_holder] -->  grid-template-columns: minmax(260px, 1fr) minmax(420px, auto);<!-- [et_pb_line_break_holder] -->  gap: 20px;<!-- [et_pb_line_break_holder] -->  align-items: end;<!-- [et_pb_line_break_holder] -->  margin-bottom: 18px;<!-- [et_pb_line_break_holder] -->  padding: 20px;<!-- [et_pb_line_break_holder] -->  background: #f8f9fc;<!-- [et_pb_line_break_holder] -->  border: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 14px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-search-wrap label,<!-- [et_pb_line_break_holder] -->.issre-control-label {<!-- [et_pb_line_break_holder] -->  display: block;<!-- [et_pb_line_break_holder] -->  margin-bottom: 8px;<!-- [et_pb_line_break_holder] -->  color: var(--issre-text);<!-- [et_pb_line_break_holder] -->  font-size: 14px;<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-search-field {<!-- [et_pb_line_break_holder] -->  display: flex;<!-- [et_pb_line_break_holder] -->  align-items: center;<!-- [et_pb_line_break_holder] -->  min-height: 48px;<!-- [et_pb_line_break_holder] -->  overflow: hidden;<!-- [et_pb_line_break_holder] -->  background: #ffffff;<!-- [et_pb_line_break_holder] -->  border: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 9px;<!-- [et_pb_line_break_holder] -->  transition: border-color .2s ease, box-shadow .2s ease;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-search-field:focus-within {<!-- [et_pb_line_break_holder] -->  border-color: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  box-shadow: 0 0 0 3px rgba(100, 127, 218, .16);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-search-field > span {<!-- [et_pb_line_break_holder] -->  padding-left: 14px;<!-- [et_pb_line_break_holder] -->  color: var(--issre-muted);<!-- [et_pb_line_break_holder] -->  font-size: 22px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-search-field input {<!-- [et_pb_line_break_holder] -->  flex: 1;<!-- [et_pb_line_break_holder] -->  min-width: 0;<!-- [et_pb_line_break_holder] -->  height: 46px;<!-- [et_pb_line_break_holder] -->  padding: 0 12px;<!-- [et_pb_line_break_holder] -->  border: 0 !important;<!-- [et_pb_line_break_holder] -->  outline: 0 !important;<!-- [et_pb_line_break_holder] -->  background: transparent !important;<!-- [et_pb_line_break_holder] -->  color: var(--issre-text);<!-- [et_pb_line_break_holder] -->  font: inherit;<!-- [et_pb_line_break_holder] -->  box-shadow: none !important;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-search-field button {<!-- [et_pb_line_break_holder] -->  align-self: stretch;<!-- [et_pb_line_break_holder] -->  padding: 0 16px;<!-- [et_pb_line_break_holder] -->  border: 0;<!-- [et_pb_line_break_holder] -->  border-left: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  background: transparent;<!-- [et_pb_line_break_holder] -->  color: var(--issre-primary-dark);<!-- [et_pb_line_break_holder] -->  font: inherit;<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->  cursor: pointer;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-sort-buttons {<!-- [et_pb_line_break_holder] -->  display: flex;<!-- [et_pb_line_break_holder] -->  flex-wrap: wrap;<!-- [et_pb_line_break_holder] -->  gap: 8px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-sort-button,<!-- [et_pb_line_break_holder] -->.issre-reset-button,<!-- [et_pb_line_break_holder] -->.issre-pagination button {<!-- [et_pb_line_break_holder] -->  min-height: 42px;<!-- [et_pb_line_break_holder] -->  padding: 9px 14px;<!-- [et_pb_line_break_holder] -->  border: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 8px;<!-- [et_pb_line_break_holder] -->  background: #ffffff;<!-- [et_pb_line_break_holder] -->  color: var(--issre-text);<!-- [et_pb_line_break_holder] -->  font: inherit;<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->  cursor: pointer;<!-- [et_pb_line_break_holder] -->  transition: background-color .2s ease, color .2s ease, border-color .2s ease, transform .2s ease;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-sort-button:hover,<!-- [et_pb_line_break_holder] -->.issre-sort-button:focus,<!-- [et_pb_line_break_holder] -->.issre-reset-button:hover,<!-- [et_pb_line_break_holder] -->.issre-reset-button:focus,<!-- [et_pb_line_break_holder] -->.issre-pagination button:hover:not(:disabled),<!-- [et_pb_line_break_holder] -->.issre-pagination button:focus:not(:disabled) {<!-- [et_pb_line_break_holder] -->  border-color: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  color: var(--issre-primary-dark);<!-- [et_pb_line_break_holder] -->  transform: translateY(-1px);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-sort-button.is-active {<!-- [et_pb_line_break_holder] -->  border-color: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  background: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  color: #ffffff;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-table-scroll {<!-- [et_pb_line_break_holder] -->  width: 100%;<!-- [et_pb_line_break_holder] -->  overflow-x: auto;<!-- [et_pb_line_break_holder] -->  border: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 12px;<!-- [et_pb_line_break_holder] -->  background: #ffffff;<!-- [et_pb_line_break_holder] -->  -webkit-overflow-scrolling: touch;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table {<!-- [et_pb_line_break_holder] -->  width: 100%;<!-- [et_pb_line_break_holder] -->  min-width: 820px;<!-- [et_pb_line_break_holder] -->  table-layout: fixed;<!-- [et_pb_line_break_holder] -->  border-collapse: collapse;<!-- [et_pb_line_break_holder] -->  font-size: 14px;<!-- [et_pb_line_break_holder] -->  line-height: 1.45;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table th {<!-- [et_pb_line_break_holder] -->  padding: 13px 14px;<!-- [et_pb_line_break_holder] -->  background: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  color: #ffffff !important;<!-- [et_pb_line_break_holder] -->  text-align: center;<!-- [et_pb_line_break_holder] -->  vertical-align: middle;<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table thead th,<!-- [et_pb_line_break_holder] -->.issre-papers-table thead th * {<!-- [et_pb_line_break_holder] -->  color: #ffffff !important;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table th:nth-child(1),<!-- [et_pb_line_break_holder] -->.issre-papers-table td:nth-child(1) {<!-- [et_pb_line_break_holder] -->  width: 15%;<!-- [et_pb_line_break_holder] -->  text-align: center;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table th:nth-child(2),<!-- [et_pb_line_break_holder] -->.issre-papers-table td:nth-child(2) {<!-- [et_pb_line_break_holder] -->  width: 42.5%;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table th:nth-child(3),<!-- [et_pb_line_break_holder] -->.issre-papers-table td:nth-child(3) {<!-- [et_pb_line_break_holder] -->  width: 42.5%;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table td {<!-- [et_pb_line_break_holder] -->  padding: 12px 14px;<!-- [et_pb_line_break_holder] -->  border-top: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  vertical-align: top;<!-- [et_pb_line_break_holder] -->  overflow-wrap: anywhere;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table tbody tr:nth-child(odd) td {<!-- [et_pb_line_break_holder] -->  background: #ffffff;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table tbody tr:nth-child(even) td {<!-- [et_pb_line_break_holder] -->  background: var(--issre-row-alt);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-table tbody tr:hover td {<!-- [et_pb_line_break_holder] -->  background: var(--issre-primary-light);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-type-badge {<!-- [et_pb_line_break_holder] -->  display: inline-block;<!-- [et_pb_line_break_holder] -->  min-width: 52px;<!-- [et_pb_line_break_holder] -->  padding: 5px 9px;<!-- [et_pb_line_break_holder] -->  border-radius: 999px;<!-- [et_pb_line_break_holder] -->  background: var(--issre-primary-light);<!-- [et_pb_line_break_holder] -->  color: var(--issre-primary-dark);<!-- [et_pb_line_break_holder] -->  font-size: 12px;<!-- [et_pb_line_break_holder] -->  font-weight: 800;<!-- [et_pb_line_break_holder] -->  letter-spacing: .02em;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-empty-state {<!-- [et_pb_line_break_holder] -->  margin-top: 14px;<!-- [et_pb_line_break_holder] -->  padding: 20px;<!-- [et_pb_line_break_holder] -->  border: 1px dashed var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 10px;<!-- [et_pb_line_break_holder] -->  color: var(--issre-muted);<!-- [et_pb_line_break_holder] -->  text-align: center;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-pagination {<!-- [et_pb_line_break_holder] -->  display: flex;<!-- [et_pb_line_break_holder] -->  align-items: center;<!-- [et_pb_line_break_holder] -->  justify-content: center;<!-- [et_pb_line_break_holder] -->  gap: 14px;<!-- [et_pb_line_break_holder] -->  margin-top: 18px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-pagination button:disabled {<!-- [et_pb_line_break_holder] -->  opacity: .45;<!-- [et_pb_line_break_holder] -->  cursor: not-allowed;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-pagination span {<!-- [et_pb_line_break_holder] -->  min-width: 120px;<!-- [et_pb_line_break_holder] -->  text-align: center;<!-- [et_pb_line_break_holder] -->  color: var(--issre-muted);<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-widget [hidden] {<!-- [et_pb_line_break_holder] -->  display: none !important;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-track-nav {<!-- [et_pb_line_break_holder] -->  margin-bottom: 18px;<!-- [et_pb_line_break_holder] -->  padding: 20px;<!-- [et_pb_line_break_holder] -->  border: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 14px;<!-- [et_pb_line_break_holder] -->  background: #ffffff;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-track-buttons {<!-- [et_pb_line_break_holder] -->  display: flex;<!-- [et_pb_line_break_holder] -->  flex-wrap: wrap;<!-- [et_pb_line_break_holder] -->  gap: 9px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-track-button {<!-- [et_pb_line_break_holder] -->  min-height: 42px;<!-- [et_pb_line_break_holder] -->  padding: 9px 14px;<!-- [et_pb_line_break_holder] -->  border: 1px solid var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 999px;<!-- [et_pb_line_break_holder] -->  background: #ffffff;<!-- [et_pb_line_break_holder] -->  color: var(--issre-text);<!-- [et_pb_line_break_holder] -->  font: inherit;<!-- [et_pb_line_break_holder] -->  font-weight: 700;<!-- [et_pb_line_break_holder] -->  cursor: pointer;<!-- [et_pb_line_break_holder] -->  transition: background-color .2s ease, color .2s ease, border-color .2s ease, transform .2s ease;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-track-button:hover,<!-- [et_pb_line_break_holder] -->.issre-track-button:focus {<!-- [et_pb_line_break_holder] -->  border-color: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  color: var(--issre-primary-dark);<!-- [et_pb_line_break_holder] -->  transform: translateY(-1px);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-track-button.is-active {<!-- [et_pb_line_break_holder] -->  border-color: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  background: var(--issre-primary);<!-- [et_pb_line_break_holder] -->  color: #ffffff;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-tba-state {<!-- [et_pb_line_break_holder] -->  padding: 34px 20px;<!-- [et_pb_line_break_holder] -->  border: 1px dashed var(--issre-border);<!-- [et_pb_line_break_holder] -->  border-radius: 12px;<!-- [et_pb_line_break_holder] -->  background: #f8f9fc;<!-- [et_pb_line_break_holder] -->  text-align: center;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-tba-state strong,<!-- [et_pb_line_break_holder] -->.issre-tba-state span {<!-- [et_pb_line_break_holder] -->  display: block;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-tba-state strong {<!-- [et_pb_line_break_holder] -->  margin-bottom: 6px;<!-- [et_pb_line_break_holder] -->  color: var(--issre-primary-dark);<!-- [et_pb_line_break_holder] -->  font-size: 20px;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-tba-state span {<!-- [et_pb_line_break_holder] -->  color: var(--issre-muted);<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-widget.issre-no-type .issre-type-column,<!-- [et_pb_line_break_holder] -->.issre-papers-widget.issre-no-type .issre-type-control {<!-- [et_pb_line_break_holder] -->  display: none;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->.issre-papers-widget.issre-no-type .issre-papers-table th:nth-child(2),<!-- [et_pb_line_break_holder] -->.issre-papers-widget.issre-no-type .issre-papers-table td:nth-child(2),<!-- [et_pb_line_break_holder] -->.issre-papers-widget.issre-no-type .issre-papers-table th:nth-child(3),<!-- [et_pb_line_break_holder] -->.issre-papers-widget.issre-no-type .issre-papers-table td:nth-child(3) {<!-- [et_pb_line_break_holder] -->  width: 50%;<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->@media (max-width: 980px) {<!-- [et_pb_line_break_holder] -->  .issre-controls {<!-- [et_pb_line_break_holder] -->    grid-template-columns: 1fr;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->@media (max-width: 600px) {<!-- [et_pb_line_break_holder] -->  .issre-papers-header {<!-- [et_pb_line_break_holder] -->    align-items: flex-start;<!-- [et_pb_line_break_holder] -->    flex-direction: column;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  .issre-papers-header h3 {<!-- [et_pb_line_break_holder] -->    font-size: 24px;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  .issre-controls,<!-- [et_pb_line_break_holder] -->  .issre-track-nav {<!-- [et_pb_line_break_holder] -->    padding: 15px;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  .issre-sort-buttons {<!-- [et_pb_line_break_holder] -->    display: grid;<!-- [et_pb_line_break_holder] -->    grid-template-columns: 1fr 1fr;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  .issre-sort-button,<!-- [et_pb_line_break_holder] -->  .issre-reset-button {<!-- [et_pb_line_break_holder] -->    width: 100%;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  .issre-pagination {<!-- [et_pb_line_break_holder] -->    justify-content: space-between;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  .issre-pagination span {<!-- [et_pb_line_break_holder] -->    min-width: auto;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] -->}<!-- [et_pb_line_break_holder] --><\/style>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --><script><!-- [et_pb_line_break_holder] -->(function () {<!-- [et_pb_line_break_holder] -->  const tracks = [{\"id\":\"doctoral-symposium\",\"label\":\"Doctoral Symposium\",\"hasPaperType\":false,\"papers\":[{\"title\": \"Toward Reliable Detection of Android Lifecycle Violations with Static Analysis and Domain-Adapted Code Models\", \"authors\": \"Muhammad Tehmasib Ali Tashfeen\"},{\"title\": \"From Disclosure to Exploit: Data Availability, Patch Behaviour and Exploitability Prediction in the Vulnerability Lifecycle\", \"authors\": \"Eid Albedah\"},{\"title\": \"Dependability of Embedded Perception in Autonomous Driving\", \"authors\": \"Alexandra Arzberger\"},{\"title\": \"The Cognitive Cost of Vibe Coding - Making Developer Comprehension Observable in AI-Assisted Software Engineering\", \"authors\": \"Ricardo Saraiva\"},{\"title\": \"Upholding Normative Requirements in Robotics and Autonomous Systems\", \"authors\": \"A L Partis\"}]},{\"id\":\"fast-abstracts-projects\",\"label\":\"Fast Abstracts & Projects\",\"hasPaperType\":false,\"papers\":[{\"title\":\"FAME-MA: A Compositional Formal Monitoring Framework for Detecting Silent Failures in Multi-Agent AI Systems\",\"authors\":\"Chandrayee Kumar\"},{\"title\":\"When Logs Are Not Enough: Reconstructability as a Reliability Requirement for AI-Enabled Software Systems\",\"authors\":\"Hon Bor So\"},{\"title\":\"Understanding Anti-Patterns in Agent Skills\",\"authors\":\"Van-Hoang Le, Asif Gill and Huy-Trung Nguyen\"},{\"title\":\"Reliability-Oriented Prompt Injection and Jailbreak Testing for Trustworthy LLM-Based Software Systems\",\"authors\":\"Meeryalkar Rakesh, Sangharatna Godboley and Radha Krishna P\"},{\"title\":\"Do Software Reliability Growth Models Fit the Development of LLM Agents? A Reframing and a Pilot Plan\",\"authors\":\"Rajat Khanna and Jatin Nandal\"},{\"title\":\"Security-Induced Unavailability: A Missing Fault Class in the Reliability Modeling of LLM Agents\",\"authors\":\"Rajat Khanna and Jatin Nandal\"},{\"title\":\"A User-Driven Engineering Process for the Support4Resilience Toolbox\",\"authors\":\"Evangelia Vanezi, Ioanna Theophilou, Efi Siapiti, Konstantinos Larkou, Georgia Kapitsaki, Georgia Charalambous, Cecilie Haraldseid and Birte Fagerdal\"},{\"title\":\"Adaptive QARM: LLM-Driven Context-Aware NFR Conflict Detection for Software Reliability\",\"authors\":\"Unnati Shah and Siba Mishra\"},{\"title\":\"Synthetic Benchmarks Are Not Enough: Evaluation Gaps in LLM-Based AIOps\",\"authors\":\"Aamani Nemtur, Jagadish Goli and Amandeep Singh\"},{\"title\":\"RelGate: Evidence-Grounded Readiness Gates for LLM-Reviewed Cloud Changes\",\"authors\":\"Lokesh Chauhan\"}]},{\"id\":\"industry-track\",\"label\":\"Industry Track\",\"hasPaperType\":false,\"papers\":[{\"title\": \"Bridging the Mitigation Gap: A Taxonomy-Driven Empirical Study of Incident Recovery in Production LLM Serving\",\"authors\": \"Bhala Ranganathan and Minghua Ma\"}, {\"title\": \"Making Deployments Safe at Meta: Health Checks for Continuous Change-Safety\", \"authors\": \"Prakash Kl, Anton Korenkov, Uttam Thakore and Christopher Hegre\"}, {\"title\": \"ChainCraft: Bridging Causal Discovery and LLM Reasoning for Failure Prediction in Microservices\", \"authors\": \"Yongxin Zhao, Yongqian Sun, Jingyu Wang, Junhua Kuang, Shenglin Zhang, Wenwei Gu, Boxuan Zhao, Li Shi, Wei Li, Liping Zhang and Dan Pei\"}, {\"title\": \"SPRING: Stored Procedure Retry for Idempotent Native Guarantees in Snowpark\",\"authors\": \"Saber Mirzaei, Urjeet Shrestha, Nova Qi, Zihao Ye and Yuxiong He\"}, {\"title\": \"Where to Look First: Incident Memory for Alert-Time Triage of Microservice Applications\", \"authors\": \"Minsung Lim and Euiseong Seo\"},{\"title\": \"The Polyglot's Dilemma: Conformance Testing a Dozen Specs in as Many Languages\",\"authors\": \"A. Jesse Jiryu Davis, Jeremy Mikola and Jeffrey Yemin\"},{\"title\": \"SLoFI: Low-Privilege Fault Injection for Reliability Testing in Production Supercomputers\",\"authors\": \"Yongqian Sun, Shaoyu Hu, Lei Tao, Xijie Pan, Yuan Yuan, Wenwei Gu, Shenglin Zhang, Yuqi Li and Jian Zhang\"},{\"title\": \"Engineering Reliability into LLM Multi-Agent Systems: An Industrial Experience\",\"authors\": \"Marco Becattini, Matteo Minin, Lorenzo Cioni, Nuno Laranjeiro, Roberto Verdecchia and Enrico Vicario\"},{\"title\": \"Prism: Knowledge Management for Root-Cause Analysis and Mitigation in Serverless Computing\",\"authors\": \"Yongqian Sun, Jingya Wang, Yujia Wu, Shenglin Zhang, Wenwei Gu, Ziyi Liu, Ruowei Fu, Qingjie Zhao, Weikai Wang, Xidao Wen and Dan Pei\"},{\"title\": \"Towards Seamless Zero-Downtime Upgrades of Safety-Related Automation Functions on Standard Industrial Hardware\",\"authors\": \"Joachim Fr\u00f6hlich and Christoph St\u00fcckj\u00fcrgen\"},{\"title\": \"Lightweight, Rubric-Guided Trajectory Evaluation for Production AI Agents\",\"authors\": \"Linh-An Phan, Mingxue Wang, Guangyu Wu, Feng Pan, Zhaoyu Pang and Yanbin Zhang\"},{\"title\": \"From Portal to Platform: Reliability Lessons from an Enterprise Microsoft 365 Copilot Connector for Organizational Knowledge at Scale\",\"authors\": \"Sai Pramod Upadhyayula and Minghua Ma\"},{\"title\": \"A Clustering-based Hybrid Ranking for Defect Prediction in Industrial Power Grid Software Systems\",\"authors\": \"Chaosheng Yao, Lei Cui, Zheheng Liang, Xiaoye Zhang and Jiaxin Lin\"},{\"title\": \"What Does Least-Privilege Cost? An Empirical Measurement of Availability Loss in Tool-Calling LLM Agents\",\"authors\": \"Rajat Khanna and Jatin Nandal\"},{\"title\": \"From Noisy Telemetry to Actionable Warnings: GPU Failure Prediction in Industrial Clusters\",\"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\"},{\"title\": \"OpsMem: Dual-Memory Reasoning with Cross-Memory Resonance for Failure Diagnosis\",\"authors\": \"Yongqian Sun, Rongchen Gao, Yu Luo, Wenwei Gu, Shenglin Zhang, Qingyi Guo, Qiuai Fu, Yaoliang Wu and Dan Pei\"},{\"title\": \"The Reliability Debt at Rust\/C Boundaries: Practical FFI Contract Checking in Industrial CI Pipelines\",\"authors\": \"Xiaolei Ren and Wei He\"},{\"title\": \"Making Bounded C\/C++ Verification Practical in Continuous Integration: A Verdict-Aware Learned-Rule Hybrid Selector under Reliability Budgets\",\"authors\": \"Xiaolei Ren and Wei He\"},{\"title\": \"ShiftGuard: Error-Budget-Governed Moving Target Defense on Kubernetes with an On-Box AI Advisor\",\"authors\": \"Deneesh Narayanasamy\"},{\"title\": \"CoLMAD: Collaborating with Large Language Models for Scalable and Adaptive Time Series Anomaly Detection\",\"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\"}, {\"title\": \"HSMLog: Small Language Model-Assisted Hardware Security Module Log Anomaly Detection with Behavioral Analysis\",\"authors\": \"Chia-Hsuan Wu, Dar-Hsin Wu, Rui Fang, Yi-Ting Lee, Chia-Chih Lin and Ming-Syan Chen\"}, {\"title\": \"THXInLog: Robust Semantic-Temporal Framework for Log Anomaly Detection in Production Supercomputers\",\"authors\": \"Yuqi Li, Liquan Xiao, Yongqian Sun, Xiuhong Tan, Jinghua Feng, Yiqiang Li, Lei Tao, Tongqing Zhou and Yuan Yuan\"}, {\"title\": \"KnowLution: A Multi-Agent Framework for Execution-Oriented Autonomous Operations in Production Supercomputers\",\"authors\": \"Yuqi Li, Liquan Xiao, Yongqian Sun, Xiuhong Tan, Aiwen Yu, Jinghua Feng, Lei Tao, Tongqing Zhou and Yuan Yuan\"}, {\"title\": \"Automated Retrospective Evaluation of Al-Assisted Incident Investigation Agents in Cloud Operations: An Industrial Experience\",\"authors\": \"Afeez Abiodun Fakunle and Aniket Malatpure\"}, {\"title\": \"The Coherence Trap: Layer-Decomposed Failure-Mode Discovery in a Deployed Agentic LLM System\",\"authors\": \"Manan Mehta and Raghav Sharma\"},{\"title\": \"An Agentic RAG and Evaluation Framework for Assurance Case Generation: Industrial Use Case for the EU Cyber Resilience Act Compliance\",\"authors\": \"Fariz Ikhwantri, Iker Lasa Ojanguren, Dusica Marijan, Maria I. Maslioukova, Jose Arias Marin and Pavlos Kosmides\"}, {\"title\": \"MPTA-Repair: Multi-Property Clock Bound Repair for Networks of Timed Automata via Iterative Space Optimization\",\"authors\": \"Guangtong Zhou, Run Chang and Ji Wu\"}, {\"title\": \"LLM-based Integration Test Suite Augmentation for Microservice-based Systems in the Space Domain\",\"authors\": \"Mauricio Ernesto Rodriguez Alas and Fabrizio Pastore\"}, {\"title\": \"Beyond Capability Benchmarks: Learning Operational Fingerprints of LLM Cloud Services from Production Incident Metadata\", \"authors\": \"Meiwei Zhang, Eduardo Miranda, Bruce Baynes, Tao He, Suvigya Jain, Wanlong Chen and Sergey Borodavkin\"}, {\"title\": \"Pomona: Continuous Code Quality Improvement via Small, Agentic Pull Requests at Bloomberg\", \"authors\": \"David Williams, Angelos Evripiotis, Serkan Kirbas, Sergey Magidovich, Harry Morgan, Peter Wainwright and Federica Sarro\"}, {\"title\": \"LLM-Driven Test Case Generation via Requirement Item Extraction and Stepwise Prompting\", \"authors\": \"Wenrui Mou, Zhehao Kang, Bo Hu and Bang Wang\"}, {\"title\": \"Behavioral Fingerprinting of ERC Tokens at Scale: A Conformance Test Suite as an Ecosystem Sensor\", \"authors\": \"Yli\u00e8s Falcone\"}, {\"title\": \"The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada\/SPARK\", \"authors\": \"Tobias Philipp\"}, {\"title\": \"AEC: Mitigating Silent Failures in LLM-Assisted Exploit Migration\", \"authors\": \"Haorui Yang, Xin Liu, Luxing Yin, Jie Wang, Guodong Ye and Rui Zhou\"}]},{\"id\":\"j1c2-track\",\"label\":\"J1C2 Track\",\"hasPaperType\":false,\"papers\":[{\"title\":\"Automated Generation of Benchmarks for Falsification of STL Specifications\",\"authors\":\"Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini and Jianjun Zhao\"},{\"title\":\"LLMs as judges: Toward the LLM-assisted review of GSN-compliant assurance cases\",\"authors\":\"Gerhard Yu, Mithila Sivakumar, Alvine B. Belle, Soude Ghari, Song Wang and Timothy C. Lethbridge\"},{\"title\":\"Elicit, specify, require, revise: enhancing requirements engineering process using gamification\",\"authors\":\"Naomi Unkelos\u2011Shpigel\"}]},{\"id\":\"replications-negative-results\",\"label\":\"Replications & Negative Results\",\"hasPaperType\":false,\"papers\":[{\"title\":\"When Verifier Offloading Fails: The RATS Passport Model in Constrained Massive IoT Networks\",\"authors\":\"Maria Gomes da Silva, Jos\u00e9 Cec\u00edlio, Andr\u00e9 Souto, Pedro M. Ferreira and Ant\u00f3nio Casimiro\"},{\"title\":\"Hype Meets Reality: Large Language Models as Mutators in Search-based Automated Program Repair of Simulink-Stateflow Models\",\"authors\":\"Ayesha Irshad, Pablo Valle, Jon Ayerdi and Aitor Arrieta\"}, {\"title\":\"Better Distributional Fit Does Not Improve Reachable Coverage Estimation in Fuzzing\",\"authors\":\"Nelum Attanayake, Danushka Liyanage, Hoang Nguyen, Suranga Seneviratne, Clement Canonne and Rahul Gopinath\"}, {\"title\":\"A First Look at Learned Splitting Heuristics for Parallel String Solvers\",\"authors\":\"Chenghao Gao and Peisen Yao\"}, {\"title\":\"From Benchmark Accuracy to Diagnostic Boundaries: A Time-Aware Replication of DEST\",\"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\"}]},{\"id\":\"research-track\",\"label\":\"Research Track\",\"hasPaperType\":true,\"papers\":[{\"type\":\"RES\",\"title\":\"GePS-Guided AG-CAM: An Adaptive Approach for Jailbreaking Aligned LLMs via Defense Diagnosis\",\"authors\":\"Jun-Hao Zhou, Xu Guo and Jian-Tao Zhou\"},{\"type\":\"RES\",\"title\":\"Safety Reference Benchmarks with Avoidability Criteria for Evaluating Autonomous Driving Systems\",\"authors\":\"Duong Dinh Tran, Peter Riviere, Takashi Tomita and Toshiaki Aoki\"},{\"type\":\"RES\",\"title\":\"TopoRL: Topology-Aware Reinforcement Learning for Robustness Evaluation of Binary Similarity Detection\",\"authors\":\"Ceyuan Yi, Lei Zhang and Liang Liu\"},{\"type\":\"RES\",\"title\":\"Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems\",\"authors\":\"Mikael Yeghiazaryan, Ayoosh Bansal, Artyom Khachatryan, Tianyi Zhu, Hunmin Kim, Naira Hovakimyan and Lui Sha\"},{\"type\":\"RES\",\"title\":\"GenVer-Log: Generation-Verification-Guided Online Log Parsing via Self-Evolving In-Context Learning\",\"authors\":\"Yao Wang, Yueshen Xu, Qingshan Li, Yuyu Yin, Xinkui Zhao, Jiahao Wang, Yibo Liu, Rui Li and Zemian Dong\"},{\"type\":\"TAR\",\"title\":\"Fuzzing Graal Compiler\",\"authors\":\"Jan Papesch, Jan Kofro\u0148, Gerg\u00f6 Barany and Martin Blicha\"},{\"type\":\"RES\",\"title\":\"Detecting Dependency Bugs in Deep Learning Stacks via LLM-Powered Dependency Graph Construction\",\"authors\":\"Qixiang Wang, Zhong Li and Tian Zhang\"},{\"type\":\"RES\",\"title\":\"TENET: One Step Toward Test-Driven Development for Repository-Level Code Generation\",\"authors\":\"Yiran Hu, Shanchao Liang, Nan Jiang, Yi Wu and Lin Tan\"},{\"type\":\"RES\",\"title\":\"MARD: A Multi-Agent Framework for Robust Android Malware Detection\",\"authors\":\"Xueying Zeng, Youquan Xian, Sihao Liu, Xudong Mou, Yanze Li, Lei Cui and Bo Li\"},{\"type\":\"RES\",\"title\":\"Shadows in the Backward Pass: Exposing Backward Pass Anomalies in Deep Learning Operators via Metamorphic Testing\",\"authors\":\"Hao Dong, Xu Guo and Jing Liu\"},{\"type\":\"RES\",\"title\":\"Toward Verified Code from Natural Language: Understanding Pipeline Design for Formally Verified Rust Program Generation\",\"authors\":\"Lianhe Hu, Cheng Wen, Jialun Cao, Shengchao Qin, Dugang Liu, Zhiwu Xu, Zhuohua Li, Haokun Li and Weidi Sun\"},{\"type\":\"RES\",\"title\":\"OpsLLM: Construction of Large Language Model for Software Operations with Multi-stage Learning\",\"authors\":\"Jingkai He, Pengfei Chen, Chenghui Wu, Shuang Liang, Ye Li, Gou Tan, Xidao Wen, Chuanfu Zhang, Fang Situ and Qi Zhou\"},{\"type\":\"PER\",\"title\":\"Unreliable in Practice? A Comprehensive Study of Errors in LLM-Generated Code\",\"authors\":\"Rodrigo Pato Nogueira, Marco Vieira and Jo\u00e3o R. Campos\"},{\"type\":\"RES\",\"title\":\"An Empirical Study of LLM-Generated Specifications for VeriFast\",\"authors\":\"Wen Fan, Minh Tran, Sanya Dod, Xin Hu, Marilyn Rego, Danning Xie, Jenna DiVincenzo and Lin Tan\"},{\"type\":\"RES\",\"title\":\"Synthesis of Sensor Deception Attacks against Security for Timed Supervisory Control Systems\",\"authors\":\"Yitong Li, Huan Sun, Wenhai Wang and Jingyi Wang\"},{\"type\":\"RES\",\"title\":\"CARE: Pre-Execution Command Verification for Shell-Executing LLM Agents\",\"authors\":\"Yu Liu, Wenxiao Zhang, Zhiwei Yang, Zhongyi Zhang, Hanqi Feng, Xinyu Wang, Peng Qiu, Yanbing Liu, Barnabas Poczos and Jin B. Hong\"},{\"type\":\"RES\",\"title\":\"JetTyped: A Study of Cross-Language Type Bugs in Android's JavaScriptEngine\",\"authors\":\"Abhishek Tiwari, Jyoti Prakash, Dimitrios Dafnis and Mikkel Baun Kj\u00e6rgaard\"},{\"type\":\"RES\",\"title\":\"Vulnerability Metadata Availability Gap\",\"authors\":\"Eid Albedah, Ilir Gashi and Jacob M. Howe\"},{\"type\":\"RES\",\"title\":\"Resilient Page Table Management under ECC-uncorrectable Memory Errors\",\"authors\":\"Kazuki Takeda and Hiroshi Yamada\"},{\"type\":\"TAR\",\"title\":\"Quantifying Programs\u2019 Robustness Against Multi-Fault Control-Flow Attacks by Static Analysis\",\"authors\":\"S\u00e9bastien Michelland, Antoine Gicquel, Damien Hardy and Erven Rohou\"},{\"type\":\"RES\",\"title\":\"CANOPY: LLM-Driven Tree-ReAct for Microservice RCA with Evidence Sharing and Information-Gain-Guided Probing\",\"authors\":\"Qian Sun, Yifan Wu and Ying Li\"},{\"type\":\"RES\",\"title\":\"Calibration Without Comprehension: Diagnosing the Limits of Fine-Tuning LLMs for Vulnerability Detection in Systems Software\",\"authors\":\"Arastoo Zibaeirad and Marco Vieira\"},{\"type\":\"RES\",\"title\":\"Modeling Memory-Dependent Reliability of LLMs: A Hidden Markov Model\",\"authors\":\"Robab Aghazadeh Chakherlou, Siddartha Khastgir, Peter Popov and Xingyu Zhao\"},{\"type\":\"RES\",\"title\":\"State Back-off Control for Reliable Progress in Dynamic Symbolic Execution\",\"authors\":\"Muxian Wang, Shikun Zhang, Qing Gao and Wei Ye\"},{\"type\":\"RES\",\"title\":\"PromptStitch: Two-Stage Prompt Extraction via Template Matching and Suffix Optimization\",\"authors\":\"Weibin Wu, Sitan Han, Haoxuan Hu, Chenxi Wu and Weijun Su\"},{\"type\":\"PER\",\"title\":\"ML-Based GPU Error Prediction in Production HPC: Challenges and Trade-offs\",\"authors\":\"Yiyang Lu, Woong Shin, Ahmad Maroof Karimi, Feiyi Wang, Evgenia Smirni and Jie Ren\"},{\"type\":\"RES\",\"title\":\"Escaping Collocation Traps: Periodic Multi-Color Watermarking for AI Code Generation\",\"authors\":\"Yilin Yang, Yulei Sui and Hye-young Paik\"},{\"type\":\"RES\",\"title\":\"Divide and Diagnose: Enhancing Multimodal Failure Diagnosis by Mixture-of-Experts for Microservice Systems\",\"authors\":\"Bingkun He, Yifan Wu, Weilin Jin, Tong Jia and Ying Li\"},{\"type\":\"RES\",\"title\":\"Compositional Constructive Metamorphism for Testing Constraint Checking Implementations\",\"authors\":\"Wenze Jin, Huiyan Wang and Chang Xu\"},{\"type\":\"RES\",\"title\":\"ReqSource: Request-Aware Source Refinement for Binary Firmware Taint Analysis\",\"authors\":\"Yudong Huang, Yisen Wang, Haofeng Yan, Tianchan Yang, Zirui Jiang and Tieming Liu\"},{\"type\":\"PER\",\"title\":\"Using Source Code Data Structures to Detect Vulnerable Code Units with Deep Graph Convolutional Neural Networks\",\"authors\":\"Jos\u00e9 D'Abruzzo Pereira, Lu\u00eds Vieira and Nuno Louren\u00e7o\"},{\"type\":\"RES\",\"title\":\"AgentLog: Evidence-Adaptive LLM Agent for Log Anomaly Detection in Production HPC Systems\",\"authors\":\"Yiyun Zhang, Songlei Jian, Huijun Wu, Wenzhe Zhang, Yuan Yuan, Linbo Qiao and Kai Lu\"},{\"type\":\"RES\",\"title\":\"A Comprehensive Study of Secure Multi-Party Computation Framework Bugs\",\"authors\":\"Peiyang Li and Bo Jiang\"},{\"type\":\"RES\",\"title\":\"On the Robustness of Large Language Models and Guardrails Against Cybersecurity Jailbreaks\",\"authors\":\"Matteo Civitillo, Mattia Vincenzotto, Xin Ye, Vincenzo Scotti, Giovanni Quattrocchi and Matteo Camilli\"},{\"type\":\"RES\",\"title\":\"Sharp Edges vs. Probabilistic Failure Boundaries: an Exploratory Study in Deep Learning System Testing\",\"authors\":\"Matteo Camilli and Raffaela Mirandola\"},{\"type\":\"RES\",\"title\":\"Enumetrics: Enhancing Coverage-guided Fuzzing with Enumeration-aware Feedback\",\"authors\":\"Tiziano Colagrossi, Daniele Cono D'Elia and Leonardo Querzoni\"},{\"type\":\"RES\",\"title\":\"RepTran: Search-Based Repair of Transformer Models\",\"authors\":\"Yuta Ishimoto, Paolo Arcaini, Fuyuki Ishikawa, Masanari Kondo, Naoyasu Ubayashi and Yasutaka Kamei\"},{\"type\":\"RES\",\"title\":\"Toward a Theory of Software Supply Chain Security Metric Success\",\"authors\":\"Alexis Butler, Dan O'Keeffe and Santanu Kumar Dash\"},{\"type\":\"RES\",\"title\":\"BayScen: Standards-Grounded Scenario Generation for Autonomous Vehicle Testing via Bayesian Networks and Capability Abstraction\",\"authors\":\"Borhaneddine Hamadou, Chokri Mraidha and Nikolaos Matragkas\"},{\"type\":\"RES\",\"title\":\"Assessing the impact of transpilation on the reliability of quantum circuit results\",\"authors\":\"Macario Polo, Elena Desdentado and Coral Calero\"},{\"type\":\"RES\",\"title\":\"SIEVE: Hybrid Hardware\/Software Detection of Multi-Bit Errors in Random-Access Memory\",\"authors\":\"Robin Thunig, Christoph Borchert, Urs Kober and Horst Schirmeier\"},{\"type\":\"PER\",\"title\":\"LLM-Assisted CVE Triage for IoT Gateways: A Human-in-the-Loop Empirical Study\",\"authors\":\"Diego Gomes, Fernando Aires and Marco Vieira\"},{\"type\":\"RES\",\"title\":\"Beyond Vibe Coding: Generalisation-Aware Evaluation of Multimodal Code Comprehension Prediction\",\"authors\":\"Ricardo Saraiva, Haytham Hijazi, Henrique Madeira and Paulo de Carvalho\"},{\"type\":\"PER\",\"title\":\"Understanding Online Failure Prediction in Linux Through Complementary Multi-View Explainability\",\"authors\":\"Diogo D\u00f3ria and Jo\u00e3o Campos\"},{\"type\":\"RES\",\"title\":\"Towards Effective Vulnerability Detection on OpenHarmony\",\"authors\":\"Runfeng Mao, He Zhang, Yanjing Yang, Junyu Jia, Lanxin Yang, Xin Zhou and Haifeng Shen\"},{\"type\":\"RES\",\"title\":\"Revealing Transaction Bugs in DBMS Engines with Metamorphic Testing\",\"authors\":\"Kaiming Zhang and Mingyue Jiang\"},{\"type\":\"RES\",\"title\":\"AutoTrace: From Patches to Triggers via Agentic Interprocedural Exploration\",\"authors\":\"Arastoo Zibaeirad, Marco Vieira and Thomas Zimmermann\"},{\"type\":\"PER\",\"title\":\"On the Effectiveness of Open-Loop DNN Repair in End-to-End Autonomous Driving Systems\",\"authors\":\"Deyun Lyu, Paolo Arcaini, Zhenya Zhang, Masaaki Inoue, Nayuta Yanagisawa, Ryo Neyama, Shintaro Fukushima and Fuyuki Ishikawa\"},{\"type\":\"RES\",\"title\":\"From Shortcut Testing to Adaptive Reweighting: Improving Fairness in Large Pre-trained Models\",\"authors\":\"Xikuan Wang, Lingfeng Zhang, Zhaohui Wang, Jingran Yang and Min Zhang\"},{\"type\":\"TAR\",\"title\":\"CUJBench: Benchmarking LLM-Agent on Cross-Modal Failure Diagnosis from Browser to Backend\",\"authors\":\"Haoming Meng\"},{\"type\":\"RES\",\"title\":\"CUBICS: A modular approach for continuous safety assurance using Subjective Logic\",\"authors\":\"Benjamin Herd, Jessica Kelly and Mario Trapp\"},{\"type\":\"RES\",\"title\":\"TraceGate: Policy-Based Disclosure of Structured Crash Evidence for LLM-Assisted Debugging\",\"authors\":\"Nicolas Schuler, B\u00e1lint M\u00e1t\u00e9, Vincenzo Scotti and Raffaela Mirandola\"},{\"type\":\"RES\",\"title\":\"IMPACT: Camera and LiDAR Contributions to End-to-End Autonomous Driving Risks\",\"authors\":\"Alexandra Arzberger and Ramin Tavakoli Kolagari\"},{\"type\":\"RES\",\"title\":\"Test model abstraction for robotic systems\",\"authors\":\"Hugo Araujo, Mohammad Mousavi, Alvaro Miyazawa, Ana Cavalcanti and Rob Hierons\"},{\"type\":\"RES\",\"title\":\"Concept-Based Fairness Testing for Deep Vision Models\",\"authors\":\"Zhiyu Wang, Xuancheng Ge, Liyan Tao, Sihan Xu, Lingling Fan and Xiangrui Cai\"},{\"type\":\"RES\",\"title\":\"SE-GTR: Smell Evidence-Guided Repair of Automatically Generated Unit Tests\",\"authors\":\"Seungho Kim and Scott Uk-Jin Lee\"},{\"type\":\"RES\",\"title\":\"Manifest Bound Release Control for a Confidential Kubernetes Service Boundary\",\"authors\":\"Aviv Itzhak\"},{\"type\":\"RES\",\"title\":\"APR-Router: Complexity-Aware Cascade Routing for Cost-Effective LLM-Based Program Repair\",\"authors\":\"Zhixiang Zhang, Zhicheng Bao, Xiaoyu Li, Jiaojiao Jiang, Qinghua Lu, Yulei Sui and Liming Zhu\"},{\"type\":\"RES\",\"title\":\"Program Reversal for Error Reachability Analysis\",\"authors\":\"Ad\u00e9la \u0160t\u011bpkov\u00e1, Martin Jon\u00e1\u0161 and Jan Strej\u010dek\"},{\"type\":\"RES\",\"title\":\"Fault Injection in OpenAPI Specifications for Evaluating Black-Box Testing Effectiveness\",\"authors\":\"Hamza Bin Mazhar, Yuqing Wang and Mika M\u00e4ntyl\u00e4\"},{\"type\":\"RES\",\"title\":\"A MAPE-K Instantiation for Dependable Normative Adaptation in Intelligent Agents\",\"authors\":\"A L Partis, Radu Calinescu, Ana Cavalcanti, Sinem Getir Yaman, Alvaro Miyazawa and Ioannis Stefanakos\"},{\"type\":\"PER\",\"title\":\"Reliability Characterization for N-version Object Detection\",\"authors\":\"Shunsuke Nagao and Fumio Machida\"},{\"type\":\"RES\",\"title\":\"KubeCap: A Framework for Capability Minimization in Kubernetes via Static Analysis and LLM-Assisted Rule Inference\",\"authors\":\"Yuhao Liu, Yingnan Zhou, Weijie Liu, Yan Jia and Zheli Liu\"},{\"type\":\"RES\",\"title\":\"BranchCARET Model Checking of Self Modifying Code\",\"authors\":\"Tayssir Touili and Olzhas Zhangeldinov\"},{\"type\":\"RES\",\"title\":\"FAME: Failure-Aware Mixture-of-Experts for Message-Level Log Anomaly Detection\",\"authors\":\"Huanchi Wang, Zihang Huang, Yifang Tian, Kristina Dzeparoska, Hans-Arno Jacobsen and Alberto Leon-Garcia\"},{\"type\":\"RES\",\"title\":\"How to Break a Swarm: Search-based Robustness Testing of Decentralized UAV Swarms\",\"authors\":\"David Marson and Alexander Pretschner\"},{\"type\":\"RES\",\"title\":\"Retrofitting Code to Support Exceptional Behavior\",\"authors\":\"Linghan Zhong, Jiyang Zhang, Jayanth Srinivasa, Junyi Jessy Li and Milos Gligoric\"},{\"type\":\"RES\",\"title\":\"Automated Fault Localization for Verification-Aware Languages: A Study on Dafny\",\"authors\":\"\u00c1lvaro Silva, Isabel Amaral, Alexandra Mendes and Jo\u00e3o Pascoal Faria\"},{\"type\":\"RES\",\"title\":\"When Agents Fail: A Comprehensive Study of Bugs in LLM Agents with Automated Labeling\",\"authors\":\"Niful Islam, Ragib Shahriar Ayon, Deepak George Thomas, Shibbir Ahmed and Mohammad Wardat\"},{\"type\":\"RES\",\"title\":\"From Discussion to Execution: Replicating Buggy and Correct Data Science Code\",\"authors\":\"Ragib Shahariar Ayon, Mohammad Wardat and Shibbir Ahmed\"},{\"type\":\"TAR\",\"title\":\"ProvScope: A tool to assist cybersecurity analysts in identifying information flows in complex systems\",\"authors\":\"Loic Robert, Vincent Nicomette, Eric Lacombe, Marie-Jos\u00e9 Huguet and Emmanuel Hebrard\"},{\"type\":\"RES\",\"title\":\"Dr. DD: 1-Minimal Isolation of Failure Causes via Deferred Restarts\",\"authors\":\"Aarush Kumbhakern, Feiyang Chen, Danushka Liyanage, Xi Wu, Mohammad Amin Alipour and Rahul Gopinath\"},{\"type\":\"RES\",\"title\":\"LongRepair: Enhancing Multi-Hunk Automated Program Repair via Reasoning-Oriented Imitation and Reinforcement Learning\",\"authors\":\"Yuexi Yang, Guochang Li, Zhen Qin, Chen Zhi, Weize Li, Haijing Nan and Shuiguang Deng\"},{\"type\":\"RES\",\"title\":\"Bridging the Granularity Gap: Achieving Semantic Alignment in Repository-Level Code Generation\",\"authors\":\"Haiyang Li, Qing Gao and Shikun Zhang\"},{\"type\":\"RES\",\"title\":\"Measuring the Unmeasurable: Markov Chain Reliability for LLM Agents\",\"authors\":\"Phat T. Tran-Truong and Xuan-Bach Le\"},{\"type\":\"RES\",\"title\":\"Neurosymbolic Characterization for Reliable Access Control Policy Analysis\",\"authors\":\"Adarsh Vatsa, Bethel Hall and William Eiers\"},{\"type\":\"PER\",\"title\":\"An Incremental Unit Testing Strategy for Clojure Programs: A Comparative Study of Manual and LLM-Generated Tests\",\"authors\":\"Raissa Barreira, Auri Vincenzi and Jos\u00e9 Carlos Maldonado\"},{\"type\":\"RES\",\"title\":\"BTSB: Business-Level Time Series Anomaly Detection Benchmark\",\"authors\":\"Hang Cui, Cenjie Hu, Zexin Wang, Juncheng Hu, Haotian Si, Zihan Liu, Yuxuan Li, Jingjing Li, Dan Pei, Changhua Pei and Gaogang Xie\"},{\"type\":\"RES\",\"title\":\"Resilience for Free: Exploiting Performance-Neutral Redundancy in HPC\",\"authors\":\"Zhengyang He, Bohan Zhang and Guanpeng Li\"},{\"type\":\"TAR\",\"title\":\"ZKGuard: A Zero-Knowledge Policy Engine for On-Chain Transactions\",\"authors\":\"Santiago Gali\u00f1anes Arienti and Nuno Laranjeiro\"},{\"type\":\"RES\",\"title\":\"Autonomous Exploitation of Python Vulnerabilities with AI Agents\",\"authors\":\"Fr\u00e9d\u00e9ric Bogaerts, Naghmeh Ivaki and Jos\u00e9 Fonseca\"},{\"type\":\"RES\",\"title\":\"STAR: A Multi-Feature and Multi-Objective Fine-Tuned Framework for Automated Program Repair with Large Language Models\",\"authors\":\"Youchen Liu and Dongcheng Li\"},{\"type\":\"RES\",\"title\":\"Exposing Hidden Intersectional Bias in LLMs\",\"authors\":\"Badr Souani, Ezekiel Soremekun, Mike Papadakis, Setsuko Yokoyama, Sudipta Chattopadhyay and Yves Le Traon\"},{\"type\":\"RES\",\"title\":\"Oracle-Guided Reliability Regression Analysis for Evolving IoT Authentication Protocols\",\"authors\":\"Zihan Tang, Sini Chen, Lili Xiao and Huibiao Zhu\"},{\"type\":\"RES\",\"title\":\"Cross-Platform CI\/CD Configuration Migration based on LLMs: How Far Are We?\",\"authors\":\"Jiajun Wu, Chong Wang, Chen Zhang, Wunan Guo, Jianfeng Qu, Yewen Tian and Yang Liu\"},{\"type\":\"RES\",\"title\":\"Robustness and Trade-offs for Code LLMs on Protected Code\",\"authors\":\"Jin Wen, Yuejun Guo, Yujie Ma, Qiang Hu and Maxime Cordy\"},{\"type\":\"RES\",\"title\":\"LLM-Based Invariant Testing for Software Functional Bugs\",\"authors\":\"Ruogu Yang, Yifeng He, Yundi Xu, Yuqing Wei and Hao Chen\"},{\"type\":\"RES\",\"title\":\"NeuroMerge: ML-Guided State Merging for Efficient Symbolic Execution\",\"authors\":\"Shenghan Zhang, Shitong Zhu, Yu Hao, Xingyu Li, Keyu Man, Zheng Zhang, Qing Deng, Zhiyun Qian and Srikanth Krishnamurthy\"},{\"type\":\"RES\",\"title\":\"Graceful Restart Testing for Distributed Systems via LLM-Based Test Transformation\",\"authors\":\"Shuai Wang, Yinfang Chen, Darko Marinov and Yongle Zhang\"},{\"type\":\"RES\",\"title\":\"Search-Based Software Aging Testing for Android Applications\",\"authors\":\"Yuge Nie, Yulei Chen, Huayao Wu and Yuming Zhou\"},{\"type\":\"RES\",\"title\":\"RotDroid: Cross-Orientation State Equivalence Testing for Detecting GUI Rotation Bugs in Android Apps\",\"authors\":\"Mengdi Qin and Bo Jiang\"}]}];<!-- [et_pb_line_break_holder] -->    const workshopTracks = [<!-- [et_pb_line_break_holder] -->    {\"id\":\"workshop-aisq\",\"label\":\"Workshop: AISQ\",\"hasPaperType\":false,\"papers\":[{\"title\":\"A Comparative Empirical Study of LLM-Based Test Generation Methods for Competitive Programming\", \"authors\":\"Ning Shi, Hexiang Xu, Dongxu Wang, Jiajun Zhou, and Ying Shang\"}, {\"title\":\"A Structured Knowledge Base for LLM-Based Test Case Generation in Online Judges\", \"authors\":\"Jiajun Zhou, Daguang Jiang, Hexiang Xu, Yong Liu, and Ning Shi\"}, {\"title\": \"From Safety Documentation to Safety Knowledge Support: An Evidence-Grounded LLM Framework for Medical Devices\", \"authors\": \"Tuhinangshu Gangopadhyay, Rasmus Adler, Peter Liggesmeyer, and Jan Reich\"}, {\"title\": \"Pinned Release Replays Expose Diagnostic Changes in AI Instrumentation\", \"authors\": \"Krishna Chaitanya Balusu\"}, {\"title\": \"A Preliminary Evaluation of the Non-determinism of VLAs for Robotic Tasks\", \"authors\": \"Antonin Rousseau, Deyun Lyu, Paolo Arcaini, Fuyuki Ishikawa, and Gilles Perrouin\"}, {\"title\": \"LLM-Driven Generation of Complex Multi-Vehicle Interaction Scenarios for Autonomous Driving\", \"authors\": \"Yashuo Chen, Xu Gao, and Xiao-Yi Zhang\"}, {\"title\": \"Characterizing the Diagnosability of Spectrum-Based Fault Localisation via Spectrum Distribution Patterns\", \"authors\": \"Yan Zheng, Xiao-Yi Zhang, and Yong Liu\"}, {\"title\": \"SenWorld: A Digital-Twin Simulation for Generating Context-Rich Evaluation Data\", \"authors\": \"Zenghui Zhou, Xiaoyang Li, Xiaoxuan Qiao, Zhilang Wei, and Tianming Lei\"}, {\"title\": \"Component-Level Reliability Assessment of Graph Neural Networks under Soft Errors\", \"authors\": \"Sanem Arslan, Erkut D\u00f6nmez, and Mert Muslu\"}, {\"title\": \"Phoenix: Parallel Event-Driven Simulation in PeerSim for Intelligent Workloads\", \"authors\": \"Susana Marques, Cl\u00e1udia Brito, and F\u00e1bio Coelho\"}, {\"title\": \"Trustworthy-by-Design LLM-Based Systems: A Specification Method Driven by Intended Purpose and Operational Domain\", \"authors\": \"Afef Awadid\"}, {\"title\": \"Neuro-Symbolic Protocol Guardian for Secure Multi-Agent LLM Systems\", \"authors\": \"Shutong Zhang\"}, {\"title\": \"Operational Reliability Patterns in AI Personalization Serving Infrastructure: Practitioner-Grounded Hypotheses and a Clean-Room Reproduction Study\", \"authors\": \"Srinivas Kalyan Yellanki and Nicholas Piazza\"}]},<!-- [et_pb_line_break_holder] -->    {\"id\":\"workshop-qa4agents\",\"label\":\"Workshop: QA4Agents\",\"hasPaperType\":false,\"papers\":[{\"title\": \"Testing Tool Registry Evolution in LLM Agents with Relational Oracles\", \"authors\": \"Gang Xu, Junjie Yao, Qi Feng, Xiaohua Chen, and Zhenhe Shu\"}, {\"title\": \"ChatWalker: Towards Model-Based Testing of Generative Conversational Agents\", \"authors\": \"Marcus Gerhold\"}, {\"title\": \"Reliability Under Constraint: A CPU-Only, Privacy-Preserving RAG Reference Architecture and Its Empirical Evaluation in a Live Industrial Deployment\", \"authors\": \"Andrew Le Gear, Peter Hall, Brian Collins and Muslim Chochlov\"}, {\"title\": \"Toward Continuous Assurance for the Democratization of AI Agent Creation in Industry\", \"authors\": \"Natan Levy and Harel Berger\"}]},<!-- [et_pb_line_break_holder] -->    {\"id\":\"workshop-resaise\",\"label\":\"Workshop: ReSAISE\",\"hasPaperType\":false,\"papers\":[{\"title\": \"A Roadmap for Mitigating Code Log Vulnerabilities via LLM-Driven Static Program Analysis\", \"authors\": \"Rrezarta Krasniqi and Abanti Chakraborty Shruti\"}, {\"title\": \"A Hybrid LLM-ML Framework for Reliable Regression Bug Report Classification\", \"authors\": \"Shrenik Jadhav, Omar Ochoa, and Vidhyashree Nagaraju\"}, {\"title\": \"Direct Pytest Assertions Localize GenAI Span Convention Drift\", \"authors\": \"Krishna Chaitanya Balusu\"}, {\"title\": \"Beyond Fixed Fault Models: Comparing LLM-Based and Rule-Based Fault Injection in OpenStack\", \"authors\": \"Giuseppe De Rosa, Pietro Liguori, and Domenico Cotroneo\"}, {\"title\": \"Assessing the Proper Abstraction Level of Security Knowledge for Code Generation\", \"authors\": \"Emilio Delgado, Juan D. Guti\u00e9rrez, Jos\u00e9 M. Conejero, Javier Mateos-Manzano, and Roberto Rodriguez-Echeverria\"}, {\"title\": \"Towards Context-Aware Task Delegation: A Dataset and Methodology for Evaluating Specialized Coding Agents\", \"authors\": \"In\u00eas Barata, Naghmeh Ivaki, and Luis Macedo\"}, {\"title\": \"SCIA: An End-to-End Tool for Automated Test Case Generation from Natural Language Functional Requirements\", \"authors\": \"Simay Caliskan, Archit Rastogi, Ejaz Ahmed, Daniele Gorla, Pietro Nicolaus Roselli Lorenzini and Alireza Alipourfaz\"}, {\"title\": \"Product Validation Accelerator Engine: Combining AI with Software Testing Techniques for Configurable Insurance Systems\", \"authors\": \"Duarte Caldas Cardoso, Ana C. R. Paiva, Paulo Alexandre Gandra de Sousa, Francisco Oliveira and Louren\u00e7o Teixeira\"}]},<!-- [et_pb_line_break_holder] -->    {\"id\":\"workshop-wosar\",\"label\":\"Workshop: WoSAR\",\"hasPaperType\":false,\"papers\":[{\"title\": \"Characterizing Software Aging in GPU-Based LLM Serving Systems\", \"authors\": \"Domenico Cotroneo and Bojan Cukic\"}, {\"title\": \"Empirical Assessment of Software Aging and Rejuvenation in Microservices\", \"authors\": \"Andrea Janes, Helena Rodrigues, Alberto Avritzer, Laura Carnevali, Leonardo Scommegna, and Enrico Vicario\"}, {\"title\": \"Detecting File-Level Software Aging Defects Using Large Language Models\", \"authors\": \"Longteng Zheng, Rui Hao, and Jianwen Xiang\"}, {\"title\": \"ARB-Bench: A Benchmark for Large Language Models on Aging-Related Bugs with Integrity and Contamination Controls\", \"authors\": \"Shrenik Jadhav and Vidhyashree Nagaraju\"}, {\"title\": \"Optimizing Bucket-Based Software Rejuvenation in Microservices Subject To Variable Workload\", \"authors\": \"Leonardo Scommegna, Alberto Avritzer, Laura Carnevali, Andrea Janes, Helena Rodrigues, and Enrico Vicario\"}]}<!-- [et_pb_line_break_holder] -->  ];<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  const doctoralSymposiumIndex = tracks.findIndex(function (track) {<!-- [et_pb_line_break_holder] -->    return track.id === \"doctoral-symposium\";<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] -->  tracks.splice(doctoralSymposiumIndex + 1, 0, ...workshopTracks);<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  const rowsPerPage = 20;<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  let activeTrackId = \"research-track\";<!-- [et_pb_line_break_holder] -->  let searchTerm = \"\";<!-- [et_pb_line_break_holder] -->  let sortKey = \"title\";<!-- [et_pb_line_break_holder] -->  let sortDirection = \"asc\";<!-- [et_pb_line_break_holder] -->  let currentPage = 1;<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  const widget = document.querySelector(\".issre-papers-widget\");<!-- [et_pb_line_break_holder] -->  const body = document.getElementById(\"issre-papers-body\");<!-- [et_pb_line_break_holder] -->  const trackTitle = document.getElementById(\"issre-active-track-title\");<!-- [et_pb_line_break_holder] -->  const trackButtons = document.getElementById(\"issre-track-buttons\");<!-- [et_pb_line_break_holder] -->  const controls = widget.querySelector(\".issre-controls\");<!-- [et_pb_line_break_holder] -->  const tableScroll = widget.querySelector(\".issre-table-scroll\");<!-- [et_pb_line_break_holder] -->  const pagination = widget.querySelector(\".issre-pagination\");<!-- [et_pb_line_break_holder] -->  const tbaState = document.getElementById(\"issre-tba-state\");<!-- [et_pb_line_break_holder] -->  const searchInput = document.getElementById(\"issre-paper-search\");<!-- [et_pb_line_break_holder] -->  const clearButton = document.getElementById(\"issre-clear-search\");<!-- [et_pb_line_break_holder] -->  const resetButton = document.getElementById(\"issre-reset-table\");<!-- [et_pb_line_break_holder] -->  const sortButtons = Array.from(document.querySelectorAll(\".issre-sort-button\"));<!-- [et_pb_line_break_holder] -->  const visibleCount = document.getElementById(\"issre-visible-count\");<!-- [et_pb_line_break_holder] -->  const countLabel = document.getElementById(\"issre-count-label\");<!-- [et_pb_line_break_holder] -->  const emptyState = document.getElementById(\"issre-empty-state\");<!-- [et_pb_line_break_holder] -->  const prevButton = document.getElementById(\"issre-prev-page\");<!-- [et_pb_line_break_holder] -->  const nextButton = document.getElementById(\"issre-next-page\");<!-- [et_pb_line_break_holder] -->  const pageStatus = document.getElementById(\"issre-page-status\");<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function activeTrack() {<!-- [et_pb_line_break_holder] -->    return tracks.find(function (track) { return track.id === activeTrackId; });<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function normalise(value) {<!-- [et_pb_line_break_holder] -->    return String(value || \"\")<!-- [et_pb_line_break_holder] -->      .toLocaleLowerCase()<!-- [et_pb_line_break_holder] -->      .normalize(\"NFD\")<!-- [et_pb_line_break_holder] -->      .replace(\/[\\u0300-\\u036f]\/g, \"\");<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function filteredAndSortedPapers() {<!-- [et_pb_line_break_holder] -->    const track = activeTrack();<!-- [et_pb_line_break_holder] -->    const papers = track && Array.isArray(track.papers) ? track.papers : [];<!-- [et_pb_line_break_holder] -->    const query = normalise(searchTerm);<!-- [et_pb_line_break_holder] -->    const filtered = papers.filter(function (paper) {<!-- [et_pb_line_break_holder] -->      if (!query) return true;<!-- [et_pb_line_break_holder] -->      return normalise((paper.type || \"\") + \" \" + paper.title + \" \" + paper.authors).includes(query);<!-- [et_pb_line_break_holder] -->    });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    filtered.sort(function (a, b) {<!-- [et_pb_line_break_holder] -->      const first = String(a[sortKey] || \"\");<!-- [et_pb_line_break_holder] -->      const second = String(b[sortKey] || \"\");<!-- [et_pb_line_break_holder] -->      const result = first.localeCompare(second, undefined, { sensitivity: \"base\", numeric: true });<!-- [et_pb_line_break_holder] -->      return sortDirection === \"asc\" ? result : -result;<!-- [et_pb_line_break_holder] -->    });<!-- [et_pb_line_break_holder] -->    return filtered;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function createCell(text, className) {<!-- [et_pb_line_break_holder] -->    const cell = document.createElement(\"td\");<!-- [et_pb_line_break_holder] -->    if (className) cell.className = className;<!-- [et_pb_line_break_holder] -->    cell.textContent = text;<!-- [et_pb_line_break_holder] -->    return cell;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function renderTrackButtons() {<!-- [et_pb_line_break_holder] -->    trackButtons.innerHTML = \"\";<!-- [et_pb_line_break_holder] -->    tracks.forEach(function (track) {<!-- [et_pb_line_break_holder] -->      const button = document.createElement(\"button\");<!-- [et_pb_line_break_holder] -->      const isActive = track.id === activeTrackId;<!-- [et_pb_line_break_holder] -->      button.type = \"button\";<!-- [et_pb_line_break_holder] -->      button.className = \"issre-track-button\" + (isActive ? \" is-active\" : \"\");<!-- [et_pb_line_break_holder] -->      button.dataset.track = track.id;<!-- [et_pb_line_break_holder] -->      button.setAttribute(\"role\", \"tab\");<!-- [et_pb_line_break_holder] -->      button.setAttribute(\"aria-selected\", isActive ? \"true\" : \"false\");<!-- [et_pb_line_break_holder] -->      button.textContent = track.label;<!-- [et_pb_line_break_holder] -->      button.addEventListener(\"click\", function () { selectTrack(track.id); });<!-- [et_pb_line_break_holder] -->      trackButtons.appendChild(button);<!-- [et_pb_line_break_holder] -->    });<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function render() {<!-- [et_pb_line_break_holder] -->    const track = activeTrack();<!-- [et_pb_line_break_holder] -->    const hasList = track && Array.isArray(track.papers);<!-- [et_pb_line_break_holder] -->    trackTitle.textContent = track.label;<!-- [et_pb_line_break_holder] -->    widget.classList.toggle(\"issre-no-type\", !track.hasPaperType);<!-- [et_pb_line_break_holder] -->    controls.hidden = !hasList;<!-- [et_pb_line_break_holder] -->    tableScroll.hidden = !hasList;<!-- [et_pb_line_break_holder] -->    pagination.hidden = !hasList;<!-- [et_pb_line_break_holder] -->    tbaState.hidden = hasList;<!-- [et_pb_line_break_holder] -->    emptyState.hidden = true;<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    if (!hasList) {<!-- [et_pb_line_break_holder] -->      body.innerHTML = \"\";<!-- [et_pb_line_break_holder] -->      visibleCount.textContent = \"TBA\";<!-- [et_pb_line_break_holder] -->      countLabel.textContent = \"\";<!-- [et_pb_line_break_holder] -->      pageStatus.textContent = \"\";<!-- [et_pb_line_break_holder] -->      return;<!-- [et_pb_line_break_holder] -->    }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    const result = filteredAndSortedPapers();<!-- [et_pb_line_break_holder] -->    const totalPages = Math.max(1, Math.ceil(result.length \/ rowsPerPage));<!-- [et_pb_line_break_holder] -->    if (currentPage > totalPages) currentPage = totalPages;<!-- [et_pb_line_break_holder] -->    const start = (currentPage - 1) * rowsPerPage;<!-- [et_pb_line_break_holder] -->    const pageRows = result.slice(start, start + rowsPerPage);<!-- [et_pb_line_break_holder] -->    body.innerHTML = \"\";<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    pageRows.forEach(function (paper) {<!-- [et_pb_line_break_holder] -->      const row = document.createElement(\"tr\");<!-- [et_pb_line_break_holder] -->      const typeCell = document.createElement(\"td\");<!-- [et_pb_line_break_holder] -->      typeCell.className = \"issre-type-column\";<!-- [et_pb_line_break_holder] -->      if (track.hasPaperType) {<!-- [et_pb_line_break_holder] -->        const badge = document.createElement(\"span\");<!-- [et_pb_line_break_holder] -->        badge.className = \"issre-type-badge\";<!-- [et_pb_line_break_holder] -->        badge.textContent = paper.type || \"\";<!-- [et_pb_line_break_holder] -->        typeCell.appendChild(badge);<!-- [et_pb_line_break_holder] -->      }<!-- [et_pb_line_break_holder] -->      row.appendChild(typeCell);<!-- [et_pb_line_break_holder] -->      row.appendChild(createCell(paper.title, \"issre-title-column\"));<!-- [et_pb_line_break_holder] -->      row.appendChild(createCell(paper.authors, \"issre-authors-column\"));<!-- [et_pb_line_break_holder] -->      body.appendChild(row);<!-- [et_pb_line_break_holder] -->    });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    visibleCount.textContent = result.length;<!-- [et_pb_line_break_holder] -->    countLabel.textContent = result.length === 1 ? \"paper\" : \"papers\";<!-- [et_pb_line_break_holder] -->    emptyState.hidden = result.length !== 0;<!-- [et_pb_line_break_holder] -->    pageStatus.textContent = result.length ? \"Page \" + currentPage + \" of \" + totalPages : \"No results\";<!-- [et_pb_line_break_holder] -->    prevButton.disabled = currentPage <= 1 || result.length === 0;<!-- [et_pb_line_break_holder] -->    nextButton.disabled = currentPage >= totalPages || result.length === 0;<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function updateSortButtons(activeButton) {<!-- [et_pb_line_break_holder] -->    sortButtons.forEach(function (button) {<!-- [et_pb_line_break_holder] -->      const isActive = button === activeButton;<!-- [et_pb_line_break_holder] -->      button.classList.toggle(\"is-active\", isActive);<!-- [et_pb_line_break_holder] -->      const arrow = button.querySelector(\"span\");<!-- [et_pb_line_break_holder] -->      if (arrow) arrow.textContent = isActive ? (sortDirection === \"asc\" ? \"\u2191\" : \"\u2193\") : \"\u2195\";<!-- [et_pb_line_break_holder] -->    });<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function resetView() {<!-- [et_pb_line_break_holder] -->    searchInput.value = \"\";<!-- [et_pb_line_break_holder] -->    searchTerm = \"\";<!-- [et_pb_line_break_holder] -->    sortKey = \"title\";<!-- [et_pb_line_break_holder] -->    sortDirection = \"asc\";<!-- [et_pb_line_break_holder] -->    currentPage = 1;<!-- [et_pb_line_break_holder] -->    const titleButton = sortButtons.find(function (button) { return button.dataset.sort === \"title\"; });<!-- [et_pb_line_break_holder] -->    updateSortButtons(titleButton);<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  function selectTrack(trackId) {<!-- [et_pb_line_break_holder] -->    activeTrackId = trackId;<!-- [et_pb_line_break_holder] -->    resetView();<!-- [et_pb_line_break_holder] -->    renderTrackButtons();<!-- [et_pb_line_break_holder] -->    render();<!-- [et_pb_line_break_holder] -->  }<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  searchInput.addEventListener(\"input\", function () {<!-- [et_pb_line_break_holder] -->    searchTerm = searchInput.value;<!-- [et_pb_line_break_holder] -->    currentPage = 1;<!-- [et_pb_line_break_holder] -->    render();<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  clearButton.addEventListener(\"click\", function () {<!-- [et_pb_line_break_holder] -->    searchInput.value = \"\";<!-- [et_pb_line_break_holder] -->    searchTerm = \"\";<!-- [et_pb_line_break_holder] -->    currentPage = 1;<!-- [et_pb_line_break_holder] -->    searchInput.focus();<!-- [et_pb_line_break_holder] -->    render();<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  sortButtons.forEach(function (button) {<!-- [et_pb_line_break_holder] -->    button.addEventListener(\"click\", function () {<!-- [et_pb_line_break_holder] -->      const selectedKey = button.dataset.sort;<!-- [et_pb_line_break_holder] -->      if (sortKey === selectedKey) {<!-- [et_pb_line_break_holder] -->        sortDirection = sortDirection === \"asc\" ? \"desc\" : \"asc\";<!-- [et_pb_line_break_holder] -->      } else {<!-- [et_pb_line_break_holder] -->        sortKey = selectedKey;<!-- [et_pb_line_break_holder] -->        sortDirection = \"asc\";<!-- [et_pb_line_break_holder] -->      }<!-- [et_pb_line_break_holder] -->      currentPage = 1;<!-- [et_pb_line_break_holder] -->      updateSortButtons(button);<!-- [et_pb_line_break_holder] -->      render();<!-- [et_pb_line_break_holder] -->    });<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  resetButton.addEventListener(\"click\", function () {<!-- [et_pb_line_break_holder] -->    resetView();<!-- [et_pb_line_break_holder] -->    render();<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  prevButton.addEventListener(\"click\", function () {<!-- [et_pb_line_break_holder] -->    if (currentPage > 1) {<!-- [et_pb_line_break_holder] -->      currentPage -= 1;<!-- [et_pb_line_break_holder] -->      render();<!-- [et_pb_line_break_holder] -->      widget.scrollIntoView({ behavior: \"smooth\", block: \"start\" });<!-- [et_pb_line_break_holder] -->    }<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  nextButton.addEventListener(\"click\", function () {<!-- [et_pb_line_break_holder] -->    const totalPages = Math.ceil(filteredAndSortedPapers().length \/ rowsPerPage);<!-- [et_pb_line_break_holder] -->    if (currentPage < totalPages) {<!-- [et_pb_line_break_holder] -->      currentPage += 1;<!-- [et_pb_line_break_holder] -->      render();<!-- [et_pb_line_break_holder] -->      widget.scrollIntoView({ behavior: \"smooth\", block: \"start\" });<!-- [et_pb_line_break_holder] -->    }<!-- [et_pb_line_break_holder] -->  });<!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->  renderTrackButtons();<!-- [et_pb_line_break_holder] -->  render();<!-- [et_pb_line_break_holder] -->})();<!-- [et_pb_line_break_holder] --><\/script>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; disabled_on=&#8221;on|on|on&#8221; _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; disabled=&#8221;on&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; custom_margin=&#8221;0px||||false|false&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_code _builder_version=&#8221;4.27.7&#8243; _module_preset=&#8221;default&#8221; custom_css_free_form=&#8221;.track-navigation {||    width: 100%;||    margin: 30px auto;||    padding: 32px;||    background: #f7f8fc;||    border: 1px solid #e4e7f2;||    border-radius: 16px;||    box-sizing: border-box;||}||||.track-navigation h3 {||    margin: 0 0 24px;||    color: #26304a;||    font-size: 28px;||    font-weight: 700;||    line-height: 1.25;||    text-align: center;||}||||.track-navigation-grid {||    display: grid;||    grid-template-columns: repeat(3, minmax(0, 1fr));||    gap: 16px;||}||||.track-navigation-card {||    display: flex;||    align-items: center;||    justify-content: space-between;||    min-height: 72px;||    padding: 16px 18px;||    background: #ffffff;||    border: 1px solid #dfe3f2;||    border-left: 5px solid #647fda;||    border-radius: 10px;||    color: #27314f !important;||    text-decoration: none !important;||    box-shadow: 0 4px 14px rgba(39, 49, 79, 0.07);||    transition:||        transform 0.2s ease,||        box-shadow 0.2s ease,||        background-color 0.2s ease,||        border-color 0.2s ease;||    box-sizing: border-box;||}||||.track-navigation-card:hover,||.track-navigation-card:focus {||    background: #647fda;||    border-color: #647fda;||    color: #ffffff !important;||    transform: translateY(-3px);||    box-shadow: 0 8px 22px rgba(100, 127, 218, 0.25);||}||||.track-navigation-title {||    font-size: 16px;||    font-weight: 600;||    line-height: 1.35;||}||||.track-navigation-arrow {||    flex: 0 0 auto;||    margin-left: 15px;||    font-size: 22px;||    font-weight: 400;||    line-height: 1;||    transition: transform 0.2s ease;||}||||.track-navigation-card:hover .track-navigation-arrow,||.track-navigation-card:focus .track-navigation-arrow {||    transform: translateX(4px);||}||||@media only screen and (max-width: 980px) {||    .track-navigation-grid {||        grid-template-columns: repeat(2, minmax(0, 1fr));||    }||}||||@media only screen and (max-width: 600px) {||    .track-navigation {||        padding: 22px 16px;||        border-radius: 12px;||    }||||    .track-navigation h3 {||        font-size: 23px;||        text-align: left;||    }||||    .track-navigation-grid {||        grid-template-columns: 1fr;||        gap: 12px;||    }||||    .track-navigation-card {||        min-height: 62px;||        padding: 14px 16px;||    }||||    .track-navigation-title {||        font-size: 15px;||    }||}&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<div class=\"track-navigation\"><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    <\/p>\n<h3>Explore Conference Tracks<\/h3>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    <\/p>\n<div class=\"track-navigation-grid\"><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#artifacts\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Artifacts<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#doctoral-symposium\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Doctoral Symposium<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#fast-abstracts-projects\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Fast Abstracts &#038; Projects<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#industry-track\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Industry Track<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#jic2-track\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">JIC2 Track<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#journal-special-issue\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Journal Special Issue<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#replications-negative-results\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Replications &#038; Negative Results<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#research-track\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Research Track<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#rene-track\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Rene Track<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->        <a class=\"track-navigation-card\" href=\"#workshops\"><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-title\">Workshops<\/span><!-- [et_pb_line_break_holder] -->            <span class=\"track-navigation-arrow\" aria-hidden=\"true\">\u2192<\/span><!-- [et_pb_line_break_holder] -->        <\/a><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->    <\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] --><\/div>\n<p><!-- [et_pb_line_break_holder] --><!-- [et_pb_line_break_holder] -->[\/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>Accepted Papers<\/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":10,"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-245184","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages\/245184","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\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/comments?post=245184"}],"version-history":[{"count":25,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages\/245184\/revisions"}],"predecessor-version":[{"id":245297,"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/pages\/245184\/revisions\/245297"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/issre2026\/wp-json\/wp\/v2\/media?parent=245184"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}