We are delighted to announce the posters that have been accepted to ISAI 2026.
From Scores to Supported Claims: Evidence Requirements for AI Agent Promotion
Nimrod Busany (Traigent)
Cloud Database Backup as a Queryable Data Lake
Assaf Natanzon (Eon.io)
Proof-Carrying Output
Hillel Avni, Avraam Yagudaev
SWE-kernel-bench: A Real-World Benchmark for Automated GPU Kernel Optimization
Matan Orbach (IBM)
Implementing the Nand2Tetris Hack Computer on the GateMate-EVB-A1 FPGA
Itamar Kanne, Sarel Cohen, Shimon Schocken (Reichman University)
Spotlights: Discovering Optimization Opportunities in Large Software Systems with LLMs
Udi Barzelay (IBM Research)
Decoupling Application Security from the CDN: Portable ML-Based WAF Enforcement Across Multi-CDN Edges (2nd place)
Dmitry Sotnikov (IO River)
Peer-to-Peer Key-Value Cache Offload
Michael Azran, Nechama Bar Natan, Moshe Twitto, Amit Golander (Astera Labs)
Validation as a First Class Citizen of AI Native Systems
Paula Ta-Shma (IBM)
Quantum Circuits as Feature Engineers and Representation Shapers
Menachem Finkelstein, Diana Levy, Sarel Cohen, Zohar Yakhini (Reichman University)
From CUDA to MLX: Transferring Kernel Expertise to Apple Silicon via Evolutionary Search
Gal Bloch (IBM Research)
HoneyMCP: A Deception Security Layer for Model Context Protocol Servers (Best Poster)
Bar Haim (IBM Research)
Beyond Prefix Caching – Position-Independent KV Caching for Agentic Workloads in vLLM (3rd place)
Almog Tavor (IBM Research)
From Pull Requests to Agent Knowledge: Mining GPU-Kernel Expertise and Measuring What It’s Worth
Yoav Kantor (IBM Research)
Minimal-Footprint Data Collection with “Pen Drive Powered by Red Hat Lightspeed”
Liat Pele (Red Hat)
Up to 5.5x speed up on Intel AI PC using Dflash Speculative Decoding
Moshe Wasserblat (Intel)
Simulating MoE Expert Activations
Itay Etelis, Almog Tavor, Kfir Toledo, Shlomit Koyfman, Sharon Keidar-Barner, Ronen Kat (IBM)
Assembly-Time Defects in AI Coding-Agent Configurations
Benjamin Kapner, Carmel Soceanu, Alicia Petrunin, Hofni Gartner
xMIx: High-Performance Serving-Time Platform for Mechanistic Interpretability
Michael Blum, Mark Silberstein, Yaniv David
From Production Incidents to SRE Benchmarks: A Data-Driven Approach for Extending ITBench with Real Konflux Failures
Alicia Petrunin, Gjorgji Georgievski