← Publication catalog

Keyword

kernel traces

Recurring research keyword kernel traces: 2 papers by Naser Ezzati-Jivan, with summaries, citations, and source links.

• TraceSynth: Generating Production-Quality Kernel Traces with Constraint-Guided Diffusion Models (2026)
• Execution trace-based model verification to analyze multicore and real-time systems (2022)