{"id":5367,"date":"2026-09-03T21:00:19","date_gmt":"2026-09-03T21:00:19","guid":{"rendered":"https:\/\/www.systor.org\/2026\/?page_id=5367"},"modified":"2026-09-08T14:31:43","modified_gmt":"2026-09-08T14:31:43","slug":"isai-posters","status":"publish","type":"page","link":"https:\/\/www.systor.org\/2026\/isai-posters\/","title":{"rendered":"ISAI Posters"},"content":{"rendered":"

[vc_section][vc_row tm_bgimagefixed=”” break_in_responsive=”991″ tm_zindex=”2″ full_width=”stretch_row” tm_responsive_css=”60233685|colbreak_no|||||||||colbreak_no|||||55px||25px||colbreak_no||||||||||colbreak_no|||||||||” css=”.vc_custom_1650194862095{padding-top: 40px !important;padding-bottom: 0px !important;}”][vc_column reduce_extra_padding=”991″ tm_responsive_css=”22114509|colbreak_no|||||||||colbreak_no|||||||||colbreak_no||||||||||colbreak_no|||||||||” css=”.vc_custom_1626073647852{padding-right: 100px !important;}”][vc_column_text]We are delighted to announce the posters that have been accepted to ISAI 2026.<\/strong><\/p>\n

 [\/vc_column_text][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]From Scores to Supported Claims: Evidence Requirements for AI Agent Promotion
\nNimrod Busany (Traigent)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Cloud Database Backup as a Queryable Data Lake
\nAssaf Natanzon (Eon.io)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Proof-Carrying Output
\nHillel Avni, Avraam Yagudaev[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]SWE-kernel-bench: A Real-World Benchmark for Automated GPU Kernel Optimization
\nMatan Orbach (IBM)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Implementing the Nand2Tetris Hack Computer on the GateMate-EVB-A1 FPGA
\nItamar Kanne, Sarel Cohen, Shimon Schocken (Reichman University)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Spotlights: Discovering Optimization Opportunities in Large Software Systems with LLMs
\nUdi Barzelay (IBM Research)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Decoupling Application Security from the CDN: Portable ML-Based WAF Enforcement Across Multi-CDN Edges (2nd place)<\/span>
\nDmitry Sotnikov (IO River)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Peer-to-Peer Key-Value Cache Offload
\nMichael Azran, Nechama Bar Natan, Moshe Twitto, Amit Golander (Astera Labs)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Validation as a First Class Citizen of AI Native Systems
\nPaula Ta-Shma (IBM)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Quantum Circuits as Feature Engineers and Representation Shapers
\nMenachem Finkelstein, Diana Levy, Sarel Cohen, Zohar Yakhini (Reichman University)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]From CUDA to MLX: Transferring Kernel Expertise to Apple Silicon via Evolutionary Search
\nGal Bloch (IBM Research)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]HoneyMCP: A Deception Security Layer for Model Context Protocol Servers (Best Poster)<\/span>
\nBar Haim (IBM Research)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Beyond Prefix Caching – Position-Independent KV Caching for Agentic Workloads in vLLM (3rd place)<\/span>
\nAlmog Tavor (IBM Research)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]From Pull Requests to Agent Knowledge: Mining GPU-Kernel Expertise and Measuring What It’s Worth
\nYoav Kantor (IBM Research)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Minimal-Footprint Data Collection with “Pen Drive Powered by Red Hat Lightspeed”
\nLiat Pele (Red Hat)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Up to 5.5x speed up on Intel AI PC using Dflash Speculative Decoding
\nMoshe Wasserblat (Intel)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Simulating MoE Expert Activations
\nItay Etelis, Almog Tavor, Kfir Toledo, Shlomit Koyfman, Sharon Keidar-Barner, Ronen Kat (IBM)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Assembly-Time Defects in AI Coding-Agent Configurations
\nBenjamin Kapner, Carmel Soceanu, Alicia Petrunin, Hofni Gartner[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]xMIx: High-Performance Serving-Time Platform for Mechanistic Interpretability
\nMichael Blum, Mark Silberstein, Yaniv David[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]From Production Incidents to SRE Benchmarks: A Data-Driven Approach for Extending ITBench with Real Konflux Failures
\nAlicia Petrunin, Gjorgji Georgievski[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][\/vc_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

[vc_section][vc_row tm_bgimagefixed=”” break_in_responsive=”991″ tm_zindex=”2″ full_width=”stretch_row” tm_responsive_css=”60233685|colbreak_no|||||||||colbreak_no|||||55px||25px||colbreak_no||||||||||colbreak_no|||||||||” css=”.vc_custom_1650194862095{padding-top: 40px !important;padding-bottom: 0px !important;}”][vc_column reduce_extra_padding=”991″ tm_responsive_css=”22114509|colbreak_no|||||||||colbreak_no|||||||||colbreak_no||||||||||colbreak_no|||||||||” css=”.vc_custom_1626073647852{padding-right: 100px !important;}”][vc_column_text]We are delighted to announce the posters that have been accepted to ISAI 2026.  [\/vc_column_text][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]From Scores to Supported Claims: Evidence Requirements for AI Agent Promotion Nimrod Busany (Traigent)[\/vc_column_text][vc_empty_space height=”20px”][\/vc_column][\/vc_row][vc_row tm_bgimagefixed=””][vc_column][vc_column_text]Cloud Database Backup as a Queryable Data Lake Assaf Natanzon … Continue reading ISAI Posters<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-5367","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/pages\/5367","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/comments?post=5367"}],"version-history":[{"count":9,"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/pages\/5367\/revisions"}],"predecessor-version":[{"id":5384,"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/pages\/5367\/revisions\/5384"}],"wp:attachment":[{"href":"https:\/\/www.systor.org\/2026\/wp-json\/wp\/v2\/media?parent=5367"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}