
Execution trace‐based model verification to analyze multicore and real‐time systems
Research on model verification from execution traces to analyze multicore and real-time systems, detect timing issues, and reduce debugging work.

Research on model verification from execution traces to analyze multicore and real-time systems, detect timing issues, and reduce debugging work.

A talk on real-time Linux tracing and sampling with LTTng, low-latency monitoring, multicore systems, and predictable tracer overhead.