Skip to content

Daniel's page

Daniel Bristot de Oliveira

  • About me
  • Academics
    • Academic Collaboration
    • Publications
    • Lectures
    • Organization and others
  • Career
  • Linux and Formal Methods
    • Operating System Noise in the Linux Kernel
    • Linux Task Model
    • Efficient Formal Verification for the Linux Kernel
    • Demystifying the Real-Time Linux Scheduling Latency
  • Software
  • RTLA

Red Hat Research Day, 2020

Daniel All January 23, 2020January 23, 2020 1 Minute

Published by Daniel

View all posts by Daniel

Published January 23, 2020January 23, 2020

Post navigation

Previous Post Mental note: must read before starting a survey
Next Post A Thread Synchronization Model for the PREEMPT RT Linux Kernel
Proudly powered by WordPress | Theme: Independent Publisher 2 by Raam Dev.