Workshop at ICTAC 2026 Conference
Sunday, November 15, 2026
Bariloche (Argentina)
The Advanced Runtime Analysis workshop brings together hardware architects, compiler engineers, security analysts, and formal‑methods researchers to explore how fine‑grained runtime monitoring can be turned into concrete, provably safe optimisations. Participants will discuss the full tool‑chain—from on‑chip monitoring engines and RISC‑V trace extensions to just‑in‑time (JIT) compilation feedback loops—while emphasizing rigorous, mathematically‑backed techniques that guarantee correctness, safety and security.
Key topics include
Hardware‑supported monitoring: RISC‑V custom CSRs, trace ports, and performance‑monitoring units; mapping low‑level events to high‑level metrics.
JIT‑driven optimisation: Adaptive code generation using live profiling data, speculative optimisations, and de‑optimization strategies.
Safety and security checking: Runtime enforcement of memory safety, control‑flow integrity, and information‑flow policies, with formal proofs of soundness.
Debugging interfaces: Seamless integration of hardware trace, software debuggers, and interactive instrumentation frameworks.
Formal methods close to hardware: Model‑checking of monitor specifications, verification of JIT transformations, and synthesis of hardware‑assisted checks.
The workshop is designed for both hardware and software communities eager to bridge the gap between observable execution behaviour and provably correct, high‑performance systems. Attendees will leave with a deeper understanding of how to instrument, analyse, and formally validate runtime behaviour e.g. on modern RISC‑V platforms.
Call for Presentations
We invite presentations describing ongoing research, recent results, or overviews of prior work within the workshop’s scope. See the call for presentations for details.
All workshop participants will be required to register for the workshop through the ICTAC 2026 main registration page.
Dates
- Submission of presentation abstracts: until August 18, 2026
- Notification: August 30, 2026
- Workshop: November 15, 2026
Location
The workshop will take place at Bariloche, Argentina.
Organizers
- Martin Berger
University of Sussex, UK - Martin Leucker
University of Lübeck, Germany