Lectures

2019

Efficient Formal Verification for the Linux Kernel

Slides, Paper & Companion page
Event:17th International Conference on Software Engineering and Formal Methods.
Description: Presents the paper of a methodology to formally model; verify; and monitor Linux’s execution.

 Formal verification made easy (and fast)!

Slides PlumbersSlides Recipe
Event: Linux Plumbers Conference 2019 (Lisbon – PT)
Event: Kernel Recipe 2019 (Paris – FR)
Description: Presents the on-going work of the development of a methodology to formally model; verify; and monitor Linux’s execution.

Mathmatizing the Latency

Slides
Event: Linux Plumbers Conference 2019 – Real-time Micro-conference (Lisbon – PT)
Description: Describes part of the “latency” metric of the PREEMPT_RT from the kernel viewpoint.

2018

Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux

Slides & Paper
Event: International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018), co-located with the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Description: Describes the way that the Linux kernel nest locks to implement read/write semaphores

Mind the gap between real-time Linux and real-time theory

Slides
Event: Real-time Linux Summit (Edinburg – UK).
Slides
Event: Linux Plumbers – Main track (Vancouver – CA)
Description: The working progress report of the development of a formal task model of the PREEMPT-RT.

SCHED_DEADLINE desiderata and slightly crazy ideas

Slides
Event: Linux Plumbers – Main track (Vancouver – CA)
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: Features that we want to add to the SCHED_DEADLINE. This talk was shared with Juri Lelli.

How can we catch problems that can break the PREEMPT_RT preemption model?

Slides
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: How to use the model presented in the “mind the gap” presentation to catch problems in the PREEMPT_RT.

Beyond the latency: New metrics for the real-time kernel

Slides
Event: Linux Plumbers – Real-time Micro Conference (Vancouver – CA)
Description: Discussion about new metrics for the PREEMPT_RT

2017

Deadline scheduler – Open Issues

Slides
Event: Linux Plumbers 2017 (LA – USA)
Event: DevConf 2018 (Brno – CZ)
Description: A discussion about possible open issues of the deadline scheduler on Linux

Deadline Scheduler: From theory to your server

Slides
Event: DevConf 2017 (Brno – CZ)
Description: How-to use SCHED_DEADLINE on Linux

2016

Ftrace How-to

Slides
Event: Latinoware 2016 – Foz do Igauçu – Brazil
Event: Linux Day – Pisa – Italy
Description: A introduction about how to use ftrace

2015

RT OS and Real-time Linux

Slides
Event: Lecture to the M.Sc and Ph.D students of Automation and Systems post grad program – UFSC – Florianopolis – Brazil
Description: Introduction to RT OS and RT Linux

Free Software: Para engenheiros, cientistas e curiosos

Slides (pt_BR)
Event: Computer on the beach 2015 – Florianópolis – Brazil
Description: A keynote speaker to try to incentivate undergrad students to follow the free software carrer (non technical).

2014

Real-time Linux: From theory until SCHED_DEADLINE

Slides & Video (pt_BR)
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil
Event: Latinoware – Foz do Iguaçu – Brazil
Event: Internal training at Red Hat in Brno (CZ) (2015)
Description: The title is self explained.

2013

Real-Time Linux

Slides
Event: Academic week of Computer Science – UFSC – Florianopolis – Brazil
Slides
Event: Lecture to the M.Sc and Ph.D students of Automation and Systems post grad program – UFSC – Florianopolis – Brazil
Description: What is, how it works and who needs Linux on Real Time

QoS (on IP telecommunications)

Slides
Event: Academic week of Federal Institute of Technology SC – Sombrio – Brazil (2013)
Description: QoS on local networks and on Internet

2011 & 2012

Hardware for embedded system devices

Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2011 & 2012)
Description: An introduction to common architectures and hardware used on embedded Linux devices projects and tips for development.

Real-Time Linux

Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2011 & 2012)
Description: What is, how it works and who needs Linux on Real Time

2010

Linux on embedded systems

Slides
Event: Enconto Sul Brasileiro de computação (2010)
Description: How and where Linux is being used in embedded systems.
Linux on Real-Time Embedded Systems – Tips and tools

Linux on Real-Time Embedded Systems Tips and Tools

Slides
Event: LinuxCon – São Paulo – Brazil (2010)
Event: Solisc – Encontro Catarinense de Software Livre – Florianopolis – Brazil (2010)
Description: Tips and tools on real-time Linux in embedded systems.

2008 & 2009

At that time I was moving from a SysAdmin career to the Software Engineering career. I was also moving from FreeBSD to Linux. So I stopped with lectures and dive into the development of embedded systems, and Linux kernel programming, and Real-Time Linux.

2007

GEOM: Playing with discs on FreeBSD

Slides
Event: Fórum Internacional de Software Livre FISL – Porto Alegre – Brazil (2007)
Event: Semana Acadêmica Ciência/Eng. da computação Univali – São José – Brazil (2007)
Event: Congresso Internacional de Software Livre – São Paulo – Brazil (2007)
Description: Presentation about disk IO subsystem of the kernel of FreeBSD, and examples of managing disks in FreeBSD.

2006

Beowulf: Parallel cluster with FreeBSD

Slides & Article
Event: Encontro Catarinense de Software Livre – Tubarão – Brazil (2006)
Event: Congresso Sul Catarinense de Computação – Criciúma – Brazil (2006)
Description: Presentation about cluster concepts and demonstration of a cluster for parallel processing of vector graphics with 48 computers running FreeBSD

High availability web servers with FreeBSD

Slides
Event: LinuxChix Brasil – Florianópolis – Brazil
Event: Congresso Internacional de Software Livre – São Paulo – Brazil
Description: How to build an highly available/performance cluster of web servers using CARP/VRRP protocols and load balancing.