fosdem 2020 scheduleopen esp zink update securing existing software using formally verified...

FOSDEM 2020 - Saturday 2020-02-01 (1/9)Janson K.1.105 (La

Fontaine)…H.2215 (Ferrer) H.1302 (Depage) H.1308 (Rolin) H.1309 (Van Rijn) H.2213 H.2214 H.3242 H.3244 J.1.106 AW1.120

09:30 Welcome to FOSDEM2020

09:45

10:00 The Linux Kernel: Wehave to finish this thingone day ;)

How FOSS couldrevolutionize municipalgovernment

10:15

10:30 State of OpenJDK FundamentalTechnologies We Needto Work on for Cloud-Native Networking

DNS Devroom Opening Designing andProducing Open SourceHardware withFOSS/OSHW tools

Welcome to the MySQL,MariaDB & Friends D…

Building a distributedknowledge base with aLinked Data poweredCMS

DNS Management inOpenStack MySQL 8 vs MariaDB

10.410:45

LibrePCB Status Update11:00 LibreOffice turns ten

and what's nextThe Selfish ContributorExplained

Apache Camel BoF TinyGo From 0 to Intranet in 20minutes with XWiki

Skydive HashDNS andFQDNDHCP

MyRocks in the WildWild West!11:15

Project Loom: Advancedconcurrency for fun andprofit

Open-source designecosystems aroundFreeCAD11:30 Do you really see

what’s happening onyour NFVinfrastructure?

ONLYOFFICE: How tosecurely collaborate ondocuments withincontent managementapplications

How Safe isAsynchronous Master-Master Setup?

11:45 State of djbdnscurve6TornadoVM: A VirtualMachine for ExploitingHigh-PerformanceHeterogeneousExecution of JavaPrograms

ngspice open sourcecircuit simulator12:00 Over Twenty Years Of

AutomationThe Ethics Behind YourIoT

Civil society needs FreeSoftware hackers

Sourcehut & aercmeetup

A dozen more thingsyou didn't knowNextcloud could doEndless Network

Programming − AnUpdate from eBPF Land

Testing DoH and DoTservers, complianceand performance

The consequences ofsync_binlog != 112:15

A tool for CommunitySupported Agriculture(CSA) management, …

ByteBuffers are dead,long live ByteBuffers!

Towards CadQuery 2.0

12:30 Replacing iptables witheBPF in Kuberneteswith Cilium

Bringing CollaboraOnline to your web appImproving BIND 9 Code

QualityWhat's in my food ?Open Food Facts, theWikipedia of Food

Overview of encryptionfeatures12:45 KiCad: Back to the

FutureAnalyzing DPDKapplications with eBPF

13:00 Blender, Coming of Age Freedom and AI: CanFree Software includeethical AI systems?

Web3 - the Internet ofFreedom, Value, andTrust

Open Source StorageBoF

More than one tool forcollaborating on writingthe Tiki CMS

Free at Last! The Tale ofJakarta EE XDP and page_pool API unwind(8) Whats new in ProxySQL

2.0?13:15Next, theprogrammable webbrowser

Pocket Science Labfrom Development toProduction13:30 Weave Net, an Open

Source ContainerNetwork

Wikibase EcosystemShenandoah 2.0

AMENDMENT Weblate:open-source continuouslocalization platfo…

SELinux fun with MySQLand friends13:45 extending catalog

zonesDesigning functionalobjects with functionalobjects

14:00 The Hidden EarlyHistory of Unix ↴

How Containers andKubernetes re-definedthe GNU/Linux Operat…

Kapow! A WebFramework for the Shell

FFmpeg BOF ↴ Tor Meetup ↴ Decentralizedcollaborativeapplications ↴

JMC & JFR - 2020 Vision↴

The Different Ways ofMinimizing ANY ↴Rethinking

kubernetes…Leveraging OpenSourc…

Running MySQL inKube…

FOSDEM 2020 - Saturday 2020-02-01 (2/9)AW1.121 AW1.125 AW1.126 K.3.201 K.3.401 K.4.201 K.4.401 K.4.601 UA2.114 (Baudoux) UA2.118 (Henriot) UA2.220 (Guillissen) UB2.147

09:30

09:45

10:00

10:15

10:30 Farwest Demo Welcome to the AdaDe…

The good and the badsides of developingopen source tools forneuroscience

Welcome to gamedevelopment devroom

How lowRISC made itsIbex RISC-V CPU corefaster

Debugging with LLVM Opening Threat Modelling forDevelopers

Getting started withquantum softwaredevelopment

Welcome to the Legal…

Improving the culture ofautomated testing inFOSSAn Introduction to Ada

for Beginning andExperiencedProgrammers

Technology challengesfor privacy: the case ofdecentralized socialmedia

AMENDMENT Be securewith Rust & Intel SGX10:45 Python for Godot

BlackParrot

11:00 OpenTelemetry: anXKCD 927 SuccessStory

Challenges andopportunities inscientific softwaredevelopment

libliftoff status update AMENDMENT CustomCrypto Policies byExamples

DEBATE: Should FOSSlicenses be enforced atall?

Quantum machinelearning withPennyLane

Welcome to KernelCIThe HammerBladeRISC-V Manycore11:15 0 A.D.: Graphics

PipelineBenchmarking LLVMusing Embench AMENDMENT The

ConfidentialConsortium Framework11:30 Debugging and tracing

a production RabbitMQnode

HAC: the Compilerwhich will NeverBecome Big

NeuroFedora: EnablingFree/OpenNeuroscience

Open ESP Zink Update Securing ExistingSoftware using FormallyVerified Libraries Abusing GitLab CI to

Test Kernel Patches11:45Building Loosely-coupled RISC-VAccelerators

Quantum computinghardware and controlsystems12:00 Keep Calm and Use

NervesTracking Performance ofa Big Application fromDev to Ops

Spotlight on FreeSoftware BuildingBlocks for a SecureHealth DataInfrastructure

Modernizingmesa3d.org

AMENDMENT EActors:an actor-basedprogrammingframework for Intel SGX

SpecFuzz: BringingSpectre-typevulnerabilities to thesurface

DEBATE: Does CarefulInventory of LicensingBill of Materials HaveReal Impact on FOSSLicense Compliance?

ERASER: Early-stageReliability And SecurityEstimation for RISC-V

Confronting Clang andFedora12:15

OpenQA with the JDPdata analysesframework

12:30 Lumen DataLad RISC-V Software andFirmware Developmentin the Cloud UsingOpenPiton+Ariane onA…

Falco Internals 101 :Syscalls processing forsecurity analysis

Game developmentwith OpenXR

The role of open sourcein building quantumcomputingecosystem from scratch

AMENDMENT A Tale ofTwo Worlds: Assessingthe Vulnerability ofEnclave ShieldingRuntimes

12:45Cacheable OverlayManager RISC-V LLVM and GCC

13:00 CoffeeBeam Cappulada: What we'veLearned

Frictionless Data forReproducible Research

AMENDMENT NouveauStatus update

Docker Securityconsiderations &Incident Analysis

COLLAB: How can wegive users standing infree/opensoftware/hardware?

Open lightning talksRISC-V Boot flow:What's next ?13:15

AMENDMENT HOWTObuild a product with OP-TEE

Quantum Advantageand QuantumComputing in the RealWorld

AutomatedPerformance Testing forVirtualization withMMTests13:30 Going Meta with Elixir's

MacrosProgramming ROS2Robots with RCLAda

On the road tosustainable researchsoftware.

Oreboot Incrementality anddeck functions

COLLAB: The optics ofthe policy

13:45 Stylo : a user friendlytext editor forhumanities scholars

RISC-V Hypervisors LLVM meets CodeProperty Graphs ↴ Auto-healing cluster

through negativetesting ↴

14:00 Processes & Grains ↴ Live Demo of Ada'sDistribution Features ↴

Using Advene toaccompany research inAudioVisual DigitalHum…

FOSS Virtual &Augmented Reality ↴

AMENDMENT Demo:SGX-LKL ↴

How Transparent DataEncryption is built inMySQL and Percona…

DEBATE: The 4Freedoms and OSD areoutdated and no longerrel…

Java & Games ↴ Quantum circuitoptimisation,verificatio…Port luajit to RISC-V…

FOSDEM 2020 - Saturday 2020-02-01 (3/9)UB2.252A (Lameere) UB4.132 UB4.136 UB4.228 UB5.132 UB5.230 UD2.119 UD2.120 (Chavanne) UD2.208 (Decroly) UD2.218A UD2.Corridor

09:30

09:45

10:00

10:15

10:30 Extending sudo inPython

Openoffice Buildsystem

Open Source Hardwareand SolderingWorkshop ↴

Past, Present andFuture of DRLM project

Introducing Tanka Podman - The PowerfulContainer Multi-Tool

Integrating JuliusSpeech RecognitionEngine

10:45

Lazy distribution ofcontainer images11:00 Boosting Python with

RustContributing toLibreOffice withoutC++ knowledge

Using OpenAPI toMaximise Your Pulp 3Experience

Building Homebridgewith the Yocto ProjectRelax-and-Recover

(ReaR) Basics11:15

BPF as a revolutionarytechnology for thecontainer landscape11:30 How to write a scikit-

learn compatibleestimator/transformer

coverity and oss-fuzzissue solving

Doomed are thedinosaurs!

Building an embeddedVoIP network for videointercom systemsRelax-and-Recover

(ReaR) MassDeployment

11:45

Kata Containers onopenSUSE12:00 Why is Django 3.0 a

revolution for buildingwebsites with Python?

LibreOffice lockdownand encryptionimprovements

Compliancemanagement withOpenSCAP and Ansible

ROS2: The evolution ofRobot OperativeSystemOverview of Bareos

12:15Evolution of kube-proxy

12:30 Will somebody *please*tell me what's goingon?

Prioritizing is key AMENDMENTIntroduction to Ansiblecollections

Introduction to Eclipseiceoryx

oVirt-Plugin for Bareos12:45

Container LiveMigration13:00 Discover Static Code

Analysis in Python withCoala Framework

LPI Exam Session 1 ↴ Proposal to inspect andhighlight styles inWriter

Preserve kubernetesstate using heptiovelero

AMENDMENT Designingfor Failure

Building a low-cost testfixture

13:15Percona XtraBackupCurrent and FutureState

Supervising andemulating syscalls

13:30 When Python meetsGraphQL: Managingcontributors identitiesin your open sourceproject

LibreOffice ThemeChanger

EphemeralEnvironments ForDevelopers InKubernetes

How to integrate secureelements

Percona Backup forMongoDB: Status andPlans

13:45 Below Kubernetes:Demystifying containerruntimes

14:00 Follow Your Celery Tasks↴

Creating Word Cloudswith OpenOffice ↴

Self-hosted serverbackups for theparanoid ↴

Code WorkloadManagement into theControl Plane ↴

Embedded systems,the road to Linux ↴

Linux memorymanageme…



14:15 ↳ The Hidden EarlyHistory of Unix

↳ How Containers andKubernetes re-definedthe GNU/LinuxOperating System

↳ JMC & JFR - 2020Vision

↳ Rethinkingkubernetes networkingwith SRv6 and Contiv-VPP

↳ The Different Ways ofMinimizing ANY

↳ Leveraging OpenSou…

↳ Running MySQL inKubernetes in real life

↳ FFmpeg BOF ↳ Tor Meetup ↳ Decentralizedcollaborativeapplication…Yjs: A CRDT framework

for shared editing Fritzing - the past, thepresent and the future14:30

Encrypt yourcollaboration withCryptPad

ALTER TABLEimprovements inMariaDB Server

14:45Hacking on GraalVM: A(very) Rough Guide

Sparselizard: a generalpurpose multiphysicsFEM library15:00 Generation gaps Fixing the Kubernetes

clusterfuckProtect your dataobjects, not yournetwork connections

Akraino Edge KNIblueprint

Check Yourself BeforeYou Wreck Yourself

Sailfish OS BOF A best practices guidefor FLOSS communitymanagers

The unsupervised freeCAT for low resourcelanguagesRewinding time with

System VersionedTables

15:15 Open CASCADETechnology - anintroduction andoverview

Optimizing sandboxcreation with a FUSEfile system

Reducing OpenJDK JavaGarbage Collectiontimes with stackallocation15:30

Indexing EncryptedData Using BloomFilters

Fast QUIC sockets forcloud networking

Metrics and models forWeb performanceevaluation

Knocking down thebarriers of ORDER BYLIMIT queries withMariaDB 10.5

15:45G1: To infinity andbeyond

AMENDMENT STEPReduce

16:00 HTTP/3 for everyone Address Space Isolationin the Linux Kernel

Verifpal RIOT BOF Nethserver BOF Replicant Meetup Lexemes in Wikidata

CPU performanceanalysis for MySQLusing Hot/Cold FlameGraph

16:15 GmshMandos Just-in-time compiling

Java in 2020Mixing kool-aids!Accelerate the internetwith AF_XDP & DPDK

Hint, Hint, Font LoadingMatters!

16:30 Nuspell: version 3 ofthe new spell checker

RedWax - trust onlyyourself

Dial your NetworkingCode up to 11

AXIOM - open sourcecinema camera

Hash Join in MySQL 816:45

HelpfulNullPointerExceptions -The little thing thatbecame a JEP17:00 State of the Onion Guix: Unifying

provisioning,deployment, andpackage managementin the age of containers

KDE Itinerary The ultimate guide toHTTP resourceprioritization

VideoLan BOF AMENDMENT Weblate!Localize your projectthe developer way:continously, flawlessly,community driven, andopen-source

Horizon EDA - Version1.0 Comparing Hash Join

solution, the good, thebad and the worse.

17:15Gate project Taming Metaspace: a

look at the machinery,and a proposal for abetter one

Userspace networking:beyond the kernelbypass with RDMA!17:30 OpenPiton: An Open-

Source Framework forEDA Tool Development

Creating SustainablePublic Sector OpenSource CommunitiesThe pool next to the

ocean: How to bringOpenSource skills to…

Vita: high-speed trafficencryption on x86_64with Snabb

Shipping a performanceAPI on Chromium

MySQL 8.0: Secure yourMySQL ReplicationDeployment

17:45The OpenJDK JVM :Securing a movingtarget or What couldpossibly go wrong?

Designing Hardware,Journey from Novice toNot Bad

18:00 SCION AMENDMENT LumoSQL- Experiments withSQLite, LMDB and more

Tracking local storageconfiguration on linux

Open Edge Hardwareand Software forNatural LanguageTranslation andUnderstanding

Automating schemamigration flow withGitHub Actions, skeema& gh-ost

18:15Concept Programming,from ideas to code

JRuby Startup and AOT The journey of buildingOpenSpeedMonitor

Finite elementmodeling with thedeal.II software library18:30 Poio Predictive Text

DeskConnD: Secure,cross-platform IPC onthe network

20 mins to write aMySQL Shell Plugin18:45


14:15 ↳ Processes & Grains ↳ Live Demo of Ada'sDistribution Features

Shrivelling world ↳ Java & Games ↳ Port luajit to RISC-V ↳ LLVM meets CodeProperty Graphs

↳ FOSS Virtual &Augmented Reality

↳ AMENDMENT Demo:SGX-LKL

↳ How TransparentData Encryption isbuil…

↳ Quantum circuitoptimisation,verification, andsimulation with PyZX

↳ DEBATE: The 4Freedoms and OSD areoutdated and no longerrelevant in 2020

↳ Auto-healing cluste…

Introducing OpenTAP -Open Test AutomationProject

14:30 Empowering socialscientists with webmining tools

Secure logging withsyslog-ngLLVM and Python

14:45SimulaQron - asimulator fordeveloping quantuminternet software

Welcome to theRetroc…

15:00 Designing a performantand scalable graphprocessing pythonpackage

Writing Shared MemoryParallel Programs inAda

Revamping OpenRefine Alpha Waves, the first3D platformer ever

Back to the LinuxFramebuffer!

Open source UEFI andTianoCore

Protecting plaintextsecrets in configurationfiles

DEBATE: Shouldlicenses be designed toadvance general socialgoals?

One test output formatto unite them allDouble your

contributors usingthese 3 simple tricks!15:15

Flang : The Fortranfrontend of LLVMGraffiti

15:30 Spunky: a GenodeKernel in Ada/SPARK

Pocket infrastructuresto bridge reproducibleresearch, live coding,civic hacktivism anddata feminism for/fromthe Glob…

Discover UEFI with U-Boot

Application Whitelistingin Linux Environment

AMENDMENT QuantumGame with Photons:Tensors in TypeScript,Visualized

BASICODE: the 8-bitprogramming API thatcrossed the Berlin Wall

Releasing Software withGitOps

15:45 Benefits of portingGodot Engine to VulkanThe Neo4j Graph

Algorithms Library: AnOverview16:00 Alire: Ada Has a

Package ManagerJournalists areresearchers like anyothers

The TTM memorymanager

Heads OEM deviceownership/reownership: A tamper evidentapproach to remoteintegrity attestation

seccomp — Your NextLayer of Defense

AMENDMENTSimulating noisyquantum devices withQuTiP

DEBATE: Does FOSSneed sustainability?Ask LLVM developers

Anything PanelRetro music - OpenCubic Player

Writing Go(od) Tests16:15 Gunrock: High-

Performance GraphAnalytics for the GPU

16:30 AMENDMENTTransforming scatteredanalyses into adocumented,reproducible andshareable workflow

Improving the Securityof Edge ComputingServices

Kernel Runtime SecurityInstrumentation

AMENDMENT bloqit

Hardware-Software Co-Design for EfficientGraph ApplicationComputations onEmerg…

16:45 Reviving Minitel

Blender projects for202017:00 Protect Sensitive Data

with Ada KeystoreDeveloping from thefield

AutomatingProgramming andDevelopment ofHeterogeneous SoCswith LLVM Tools

Pattern Based CodeGeneration for GPUs

Introducing AUTOREV Using SELinux withcontainer runtimes

Oracle v. Google: Whatare the implications forFOSS?

CANCELLED Testingapps with third-partyA…Programmable Unified

Memory Architecture(PUMA)

Quantum classifiers,robust data encodings,and software toimplement them17:15 Reloading Escoria Testing a large testing

softwareReverse engineering aVIC-20 expansioncartridge17:30 Cypher enhancements

for sharded andfederated graphdatabases

EUgen: a EuropeanProject ProposalGenerator

A community-drivenapproach towards openinnovation for researchcommunication

Look at ME! The hairy issue of e2eencryption in instantmessaging

Legal Organizer's Panel

17:45 HPVM: Extending LLVMFor Compiling toHeterogeneous ParallelSystems

Spring & Steam, anOdyssey

Quantum computerbrands: connectingapples and oranges

Correlation analysis inautomated testingAMENDMENT Raphtory:

Streaming analysis ofdistributed temporalgraphs

Running a mainframeon your laptop (for funand profit)

18:00 On Rapid ApplicationDevelopment in Ada

The Journal of OpenSource Software

A Vulkan driver for theRPI4

Capsule Update & LVFS:Improving systemfirmware updates

What you most likelydid not know aboutsudo…

18:15 How to fail successfullyand reliablyTemporal Graph

Analytics withGRADOOP18:30 Ada-TOML: a TOML

Parser for AdaDSpace 7: A major leapforward for the leadinginstitutional repositoryplatform

Arcade game port to ZXSpectrum

libratbag Opening Intel Serverfirmware based onOpenBMC example

Quantum Open SourceFoundation

Weaviate OSS SmartGraph18:45

Informal Discussions &Closing


14:15 ↳ Follow Your CeleryTasks

↳ LPI Exam Session 1 ↳ Creating Word Cloudswith OpenOffice

↳ Open SourceHardware and SolderingWorkshop

↳ Self-hosted serverbackups for theparanoid

↳ Code WorkloadManagement into theContr…

↳ Linux memorymanagement at scale

↳ Embedded systems,the road to Linux

14:30 Asyncio: understandingasync and await inPython

Crowdfunding toadvance opendocument editors

Immutabledeployments: the newclassic way for servicedeployment

14:45 Running full Linuxsystems in containers,at scale

15:00 Production-timeProfiling for Python

Online Open DocumentEditing New Possibilities

FASTEN: Scaling staticanalyses to ecosystems

Foreman meets Ansible boot/loader — How toboot Linux and nothingelseHow (Not) To

Containerise Securely15:15

15:30 Introduction to ReactiveProgramming with RxPY

LPI Exam Session 2 Make Online yours There's nosustainability problemin FOSS

Hacking Terraform forfun and profit

PipeWire in theAutomotive Industry

15:45 Using crio-lxc withKubernetes

16:00 Introducing HTTPX Online: wrestling webCopy/Paste to usability

Comparing dependencymanagement issuesacross packagingecosystems

Building a self healingsystem with SaltStack

WPE, The WebKit portfor Embeddedplatforms

16:15Containers and Steam

16:30 FoxDot and theSummer of 2019

Integrate CollaboraOnline with webapplications

Building Confidence &Overcoming Insecurity

Infrastructure testing,it's a real thing!

How Yocto extra toolshelp industrial project

16:45 Distributed HPCApplications withUnprivileged Containers

17:00 Monads in Python: whyand how?

LibreOffice Onlineadoption into 1&1Mail&Media ecosystem

Precise, cross-projectcode navigation atGitHub scale

17:15Kubernetes on ARM64

17:30 repcloud Collabora OfficeAndroid app gorydetails

Spack's newConcretizer

Mgmt Config:AutonomousDatacentres

The State of PTXdist

17:45 Inspektor Gadget andtraceloop

18:00 Thoth - arecommendationengine for Pythonapplications

Lightning talk session Package managers:resolve differences

Gofish - a Go library forRedfish and Swordfish

lognplot - logging andplotting data frommicro's

CANCELLED UnitedNations Technology andInnovation LabsExtending and

embedding: containerdproject use cases

18:15

18:30 The Pythran compiler, 7years later

U:Kit: Open-sourcesoftware and hardwaresmoke detector

CANCELLED A way ofGPU virtualization forcontainer18:45



19:00

FOSDEM 2020 - Sunday 2020-02-02 (1/6)Janson K.1.105 (La


09:00 Open Source UnderAttack

SECCOMP yourPostgreSQL

WebMIDI STS in Ceph ObjectStorage

Free Software RadioDevroom Introductionand Hackfest Review

09:15

09:30 Building DecentralizedSocial Virtual Realityusing WebXR on yourbrowser

Introduction to thedevroom and the OpenSource Designcollective

ModernizingDistribution of SDRTools and Libraries withConan

NFS Ganesha

09:45 AMENDMENT InMemory of our Friend,Lars Kurth

10:00 Is the Open doorclosing?

dqlite: High-availabilitySQLite

AMENDMENT Regainingsovereignty over yourrouter

PWAs on steroids Landscape of newchallenges in modernvirtualization platforms

Open Source design -Africa

Fibonacci Spirals and21 Ways to Contributeto Postgres—BeyondCode

Linux on Mobile BOF GitLab BoF AMENDMENT ChannelEqualization using GNURadioEvolution of path based

Geo-replication inGluster

10:15emissions API

10:30 Write Safer JavaScriptApplications withTypeScript!

Public clouds andvulnerable CPUs: arewe secure?

What are we talkingabout when we say"open design"?

How to evolve the GNURadio schedulerRun ZFS in userspace

git-issue10:45

What's new in Samba ?11:00 The core values of

software freedomMySQL Goes to 8! The Heptapod project XR adds: “Try before

you buy”virtio-fs Some Excerpts from the

Theory of Design inArchitecture

Find your slow queries,and fix them!

Terminus DB BOF Weblate meetup A Rose by Any OtherName Would Run Justas Long

11:15puavo.org

11:30 Creating symphonies inJavaScript

io_uring in QEMU: high-performance disk I/Ofor Linux

UI/UX Tips & Tricks fordevelopers

purism librem 5 BOF gr-satellites latestsdevelopmentsAsynchronous Directory

Operations in CephFSAMENDMENT OpenSource - Killingstandards organizationsor sa…

11:45

12:00 Why openinfrastructure matters

SWIM - Protocol to Builda Cluster

Open Adult Education:a curriculum to bridgethe digital skil…

AMENDMENT JavaScriptlightning talks

Lightweightvirtualization in theCloud and at the Edge

Accessibility inMuseScore

A Deep Dive intoPostgreSQL Indexing

Kodi CommunityMeeting

r2cloud - Decodesatellite signals onRaspberry PI

12:15Prototyping the Internetof Things with WyliodrinSTUDIO

AMENDMENT RookCloud Native Storagefor Kubernetes12:30 AMENDMENT JavaScript

on MicrocontrollersLXD for mixed systemcontainers and VMworkloads

Gitflow Design pinephone porters BOF Platform independentCPU/FPGA co-design:the OscImp-DigitalframeworkDuckDB

12:45

13:00 Why the GPL is greatfor business ↴

Improving protectionsagainst speculativeexecution side channel↴

Apache DataSketches Are PWAs ready to takeover the world?

Building Blocks forContainerized Ceph

oVirt 4k - teaching anold dog new tricks

UXBOX, the time for anopen source onlineprototyping platformhas arrived

PostgreSQL on K8S atZalando: Two years inproduction ↴

Plain Text AccountingBOF

Striving forPerformance Portabilityof Software RadioSoftware in the Era ofHeterogeneous SoCs13:15

Go REUSE to licenseyour code

13:30 2nd GenerationJavaScript Frameworks& Libraries: BeyondAngu…

Edge Clouds withOpenNebula ↴

Using biometricgadgets for express-tests in the UX/UIresear…

PINETIME BOF ↴ Cooperative Perceptionin Future Cars usingGNU Radio ↴

PICTOR: A free-to-use…

FOSDEM 2020 - Sunday 2020-02-02 (2/6)AW1.121 AW1.125 AW1.126 K.3.201 K.3.401 K.4.201 K.4.401 K.4.601 UA2.114 (Baudoux) UA2.118 (Henriot) UA2.220 (Guillissen) UB2.147

09:00 Welcome to the BSDde…

istsos3: Data Analysisand statistical tools andunit convers…

Do Linux DistributionsStill Matter withContainers?

Discover dependencylicense information withClearlyDefined

BSP generator for3000+ ARMmicrocontrollers

seL4 Microkernel StatusUpdate

How Firefox upholds itsvalues and keeps upwith change

Kotlin DevRoomWelcoming Remarks

Close lid to encrypt

Orchestrating jails withnomad and pot

AMENDMENT Almonit:DecentralizedWebsites…09:15 Useful coroutine

patterns for AndroidapplicationsSTAC: Search and

discovery of geospatialassets

Identity Box

09:30 Making poetry withRacket

cargo deny On-hardwaredebugging of IP coreswith free tools

Thunderbird in 2020and Beyond

AMENDMENT AndroidContent Providers fort…

Tesselle image viewer

openEO: Interoperablegeoprocessing in thecloud

Librecast: Privacy andDecentralization w…09:45

A small, FRP DSL fordistributed systems

SCION

10:00 OpenSMTPD over theclouds

What's up on Haiku? Packaging Rustprograms in GNU Guix

Continuous Integrationfor Open HardwareProjects

M³: Taking Microkernelsto the Next Level

Make it accessible Migrating FOSDEMCompanion to Kotlin

RFC 1984 The Rise and Fall andRise of JPEG2000GeoServer Basics Low-end platform

profiling withHawkTracer profiler

XL, an extensibleprogramming language10:15

GeoNetwork Basics10:30 Forth - The New

SynthesisHomebrew: Featuresand Funding

rustdoc: beyonddocumentation

Open Source FirmwareTesting at Facebook

Idiomatic KotlinMicroservices

Fixing healthcare dataexchange withdecentralized FOSS

Rendering QML to makevideos in KdenliveGDB pipelines --

convenience iterationover inferior datastructures

HelenOS in the Year ofthe Pig10:45

A minimal pur object-oriented reflectivelanguage

Getting inspired byopen software for aweb site: g3n.fyi

Rusty instruments

11:00 GNU Guix as analternative to the YoctoProject

AMENDMENT How torun Linux on RISC-V

Linux Kernel Library Is the web rea11y forall?

Automate yourworkflows with Kotlin

AMENDMENT Open andfederated identitieswith ID4me

GStreamer on theMagic Leap OneNetBSD - Not Just For

Toasters Bootstrapping minimalreflective languagekernels

The GDB Text UserInterface11:15 Arabesque: a

geographic flowvisualization application

11:30 Universal package &service discovery withGuix

Software distribution:new points of failure

Phantom OS What are the Top 10Frustrations for WebDevelopers andDesigners?

AMENDMENT Modernasynchronism withcoroutines

GNUnet: A networkprotocol stack forbuilding secure,distributed, andprivacy-preservingapplications

GPAC 1.0 Overview

FreeBSD Around theWorld!

Boost.Geometry R-tree- speeding upgeographicalcomputation.

Optimizing rav1e11:45 Memcheck Reloaded

GNU Mes

12:00 Reinventing HomeDirectories

A free toolchain for0.01 € - computers

Gneiss: A NiceComponent Frameworkin SPARK

Communication BreakDown | Coroutines

Knocking Down theNest

IMSC Open SourceProjectsTesting Navit using

Device FarmsLisp everywhere!12:15 Discover the New

Firefox ProfilerFreeBSD and LLVMsupport12:30 Reverse Geocoding is

not easysled and rio Postmodern strace Status of AMD

platforms in corebootA Component-basedEnvironment forAndroid Apps

How Kotlin can changedeveloper experiencewith modern graphicsAPIs

Peer-to-peercollaboration, search &discovery

Which video networkstreaming protocolshould I use?Celebrating Guile 2020

12:45 Web compatibility andML

Working with spatialtrajectories in BoostGeometry

13:00 Using systemd securityfeatures to build a moresecure distro ↴

RedisJSON Open Source Hardwarefor Industrial use ↴

Demonstration of theSculpt OperatingSystem ↴

Improve your Androidapp with coroutines

DAT protocol in thebrowser: Progress andChallenges

FOSS in Animationstrace: fight forperformanceBreak your BSD kernel

↴Introduction to G-Expressions13:15 Facilitating distributed

deterministiccomputation with WASI↴

MobilityDB

13:30 Confessions of a SerialK–otlin Multiplatform–er↴

An Introduction to theTor Ecosystem forDevelopers ↴

dav1d: 1 year later ↴

Let me tell you about… strace --seccomp-bpf:…

FOSDEM 2020 - Sunday 2020-02-02 (3/6)UB2.252A (Lameere) UB4.132 UB4.136 UB4.228 UB5.132 UB5.230 UD2.119 UD2.120 (Chavanne) UD2.208 (Decroly) UD2.218A UD2.Corridor

09:00 The State of Go Continuous Deliverystarts with ContinuousInfrastructure

Introducing HPC with aRaspberry Pi cluster

Community DevRoomWel…

Welcome to the FreeT…

Intro How many engineersdoes it take tochange…Applying Open Culture

Practices acrossDistributed Teams

Insights into the EclipseOpen Source Project -News from the EclipsePlatform an…

Distributed Tracing forbeginners

Checkpointing in a realtime OS for transiently-powered embeddedsystems

09:15Janus as a WebRTC"enabler"

09:30 FunctionalProgramming with Go

LPI Exam Session 3 Building an open sourcedata lake at scale in thecloud

Surfing the Tsunami -News from the IntelliJIDEA Community

Building composableIOT toolsets withDocker, Node-Red andOpenOCD

Organizing OpenSource for Cities Build your own ENUM

server using CGRateS09:45 An event basedapproach for CI/CDpipelines

Grafana: Successfullycorrelate metrics, logs,and traces

Making an IoT robotFrom Oracle to Apache -News from theNetBeans Community

10:00 Porting Go toNetBSD/arm64

Open Source Hardwareand SolderingWorkshop ↴

Magic Castle:Terraforming the Cloudfor HPC

Linphone InstantMessaging EncryptionThe next generation of

contributors is not onIRC

AI at the edge withTensorflow Lite toDesign the Future ofVertical Farming

10:15New Java Features &Apache NetBeans Collaboration between

Free RTC projects10:30 Build real-world gaminghardware with TinyGo

Mario’s adventures inTekton land

Maggy: Asynchronousdistributedhyperparameteroptimization based onApache Spark

Jaegertracing in Ceph Sphactor: actor modelconcurrency forcreatives

The Ethics of OpenSource

10:45 OpenBeans IDE -Creating an ApacheNetBeans Distribution

XMPP: get yourshopping cart ready!

Tarantool Cartridge

11:00 Diversity, Finally Snorkel Beambell -Real-time WeakSupervision on ApacheFlink

Engineers, Call YourPolicy People!

LSP for Java andGraalVM Development

Stories around ModBus How to buildWebthings?11:15 Test Software On

Emulated Hardware InContainers... In TheCloud

Crossing the Bifröst -Bridging All The Thingswith Matrix

11:30 From Go to KubernetesCRDs and Back

Efficient ModelSelection for DeepNeural Networks onMassively ParallelProcessing Databases

Building EthicalSoftware UnderCapitalism

Astarte: A Data-Firstapproach to IoTEclipse Loves LSP -

Achieving More withLess

High quality VoIPplatforms with Kamailio11:45

Monitoring strawberries Building IoT solutionswith Eclipse IoTtechnology

Cognitive biases,blindspots and inclusion12:00 Deterministic

debugging with DelveLibreOffice ExamSession 1

AMENDMENTAdvancing the Future ofCI/CD Together

Predictive Maintenance Language ServerProtocol & DebugAdapter Protocol to theRescue of WebDevelopmen…

AMENDMENT RTC: Asea of opportunities

IoT Updates with IPv6Multicast12:15

Choosing The RightDeployment Strategy Growing Sustainable

Contributions ThroughAmbassador Networks

Flutter Development inEclipse

VoIP Troubleshootingand Monitoring FAQs12:30 Classify things in Go:

the easy way.Towards reproducibleJupyter notebooks

Querying millions tobillions of metrics withM3DB's inverted index

IoT with CircuitPython

12:45 Buildtest: HPC SoftwareStack Testing Fra…

WebRTC isn't just for(video) conference callsEmacs Should Be

Emacs Lisp - Thoughtson the Future of Emacs

PSLab.ioBringing back ethics toopen source13:00 Dragons of CGO Facilitating HPC job

debugging through jo…Erlang and Elixir on IoTdevices using At…Progressive Delivery

Secret History ofPrometheus Histograms

AMENDED WazoPlatform

IOT Lightning Talks13:15 Sharing Reproducible

Results in a Contain…AMENDMENT Just-in-Time ProgrammingBe The Leader You

Need in Open Source13:30 Advanced debugging

techniques of Go code↴

LibreOffice ExamSession 2 ↴

Putting ArtificialIntelligence back intopeople's hands ↴

IoT Projects in FLOSSFoundations ↴HOMER 2020 ↴

Projectional Editing …

FOSDEM 2020 - Sunday 2020-02-02 (4/6)Janson K.1.105 (La


13:45 ↳ Why the GPL isgrea…

↳ Improving protectio… ↳ PICTOR: A free-to-useopen source radio…

↳ 2nd GenerationJavaScript Frameworks& …

↳ Edge Clouds withOpenNebula

↳ Using biometricgad…

↳ PostgreSQL on K8Sa…

↳ PINETIME BOF ↳ CooperativePerception in FutureCars using GNU RadioExplicitly Supporting

Stretch Clusters inCeph

14:00 AMENDMENT OpenSource Won, butSoftware FreedomHasn't Yet

SaBRe: Load-timeselective binaryrewriting

Advancing science withDataverse

Pushing the limits ofthe Web withWebAssembly

Baremetal at the Edge Beyond the Pile ofKnobs: Usability andDesign for Privacy,Security, Safety & Co…

An ultimate guide toupgrading yourPostgreSQL installation

OpenSCAD BOF OpenHMD Communitymeeting 2020

srsLTE project update

14:15Towards decentralizedalternatives for codecollaboration14:30 State of Node.js Core A 'Thin Arbiter' for

glusterfs replicationA VM journey fromVMware to Kubernetes

Jumpstarting yourbusiness with Odoo

TPM dev BOF Blockchain BOF AMENDMENT The SpaceOperations Facility ofFH Aachen (FHASOF)Getting started with

FPGA's for PacketProcessing

14:45

15:00 Regaining control ofyour smartphone withpostmarketOS andMaemo Leste

The year of the virtualLinux desktop

Quality diagrams withPyCirkuit

Serverless.comframework

Back to the future File sharing & storagefor human rightsorganizations

The State of (Full) TextSearch in PostgreSQL12

Task Scheduling ofSoftware-Defined RadioKernels inHeterogeneous Chips:Opportunities andChallenges

15:15License compliance forembedded Linuxdevices with Buildroot

Management ofStorage on OpenShift

15:30 New features of Vue 3.0 Running virtualmachines out of thin air

Design contributions toOSS: Learnings fromthe Open Designproject at Ushahidi

NGI Meetup Room Unavailable SDR4IoT - Using SDRfor IoT DeviceFingerprinting andLocalizationOpen Source Support

Program by OTA15:45The history of errorcorrection anddetection and how itled to Ceph’s ErasureCoding Techniques

16:00 FOSSH - 2000 to 2020and beyond!

Making & BreakingMatrix's E2E encryption

NGI Zero: A treasuretrove of tech awesome

How to createJavascript-poweredSmartglasses

Reaching "EPYC"VirtualizationPerformance

Designing to change itall

RTFM Fedora Modularity BOF openwifi

16:15European SoftwareEngineering fundedresearch

Ephemeral Pinning: ADynamic MetadataManagement Strategyfor CephFS

16:30 Web of Twins Pitch your project Software Defined Radiobased scientificinstrumentationFOSDEM infrastructure

review16:45

17:00 FOSDEM@20 - ACelebration

17:15

17:30

17:45Closing FOSDEM 2020

18:00

18:15

FOSDEM 2020 - Sunday 2020-02-02 (5/6)AW1.121 AW1.125 AW1.126 K.3.201 K.3.401 K.4.201 K.4.401 K.4.601 UA2.114 (Baudoux) UA2.118 (Henriot) UA2.220 (Guillissen) UB2.147

13:45 ↳ Break your BSDkernel

↳ Let me tell you aboutRaku

Geo-spatial queries onmulti-petabyte weatherdata archives

↳ Using systemdsecurity features tobuil…

↳ strace --seccomp-bpf:a look under the hood

↳ Open SourceHardware for Industrialuse

↳ Demonstration ofth…

↳ Facilitatingdistributeddeterministic …

↳ Confessions of aSerial K–otlin Multipl…

↳ An Introduction tothe Tor Ecosystem forDevelopers

↳ dav1d: 1 year later

Sharing memories ofPython and Rust

14:00 Minimalistic typed Luais here

Introducing libeconf FOSDEM Video Box A Brief Survey throughGenode's ARMv8Playground

Loanwords, Agriculture& WebAssembly

Kotlin MP: Into theMulti-Verse

OpenPush rav1e - 0.3.0 and after

actinia: geoprocessingin the cloud14:15 KDE on FreeBSD Tools and mechanisms

to debug BPF programsBuilding WebGPU withRust

14:30 RaptorJIT: a fast,dynamic systemsprogramming language

GRUB upstream anddistros cooperation

NOVA Microhypervisoron ARMv8-A

AMENDMENT A MozillaIoT Forecast thatsSunny and Clear -- NoClouds!

Multiplatform KotlinLibrary Development

The Path to Peer-to-PeerMatrix

Spleeter by DeezerNetBSD Native APIs - AUserland Perspective(Audio, Input)

neat-EO.pink: DeepLearning ComputerVision patternsextraction at scale14:45

The best of bothworlds?

15:00 Apache Spark on planetscale

Integrating new majorcomponents on fastand slow movingdistributions

Support for mini-debuginfo in LLDB

Using OSHW and OSSfor building yourcustom hardwareplatform

AMENDMENT Generatea DeepSpeech modelwith the help of yourcommunity

AMENDMENT FromSwagger to Kotlin viaGradle

Building a Web Appthat Doesn’t Trust theServer

Functional audio andvideo streamgeneration withLiquidsoapProgress of Rust and

WASM in 201915:15Nim on everything The elfutils debuginfod

serverX11 and Wayland: Atale of twoimplementations

Creating GPX tracksfrom cycle routes inOpenStreetMap

15:30 The HIPPEROS RTOS Privacy by Design MaadiX, your cloud inyour hands

Building an Open-Source based audiostreaming platformRustifying the Virtual

Machine Introspectionecosystem

Dissecting the inlinekeyword in Kotlin15:45

Move semantics in Nim Divide and map. Now.

16:00 Graphing FreeBSD diskutilization withPrometheus

Fedora rawhidepackages gating, forreal!

Extending the lifetimeof smartphones withReplicant, a fully freeAndroid distribution

Unikraft: A UnikernelToolkit

What Makes PeopleCome and What MakesThem Stay

DecentralizingOAuth2.0 in a post-GDPR world for fullprivacy and portability

The moldability of mpvDebugging appsrunning in Kuberneteszbus: yet another D-Bus

library16:15 Integration ProcessesDesigning an ultra low-overheadmultithreading runtimefor Nim

Designing a DSL withKotlin

Getting Your VirtualHands On RIST

16:30 VUOS: Give YourProcesses a New VU

Who will Decentralisethe Fediverse?

Async await in Nim Wallonia GeoChallenge16:45

17:00

17:15

17:30

17:45

18:00

18:15

FOSDEM 2020 - Sunday 2020-02-02 (6/6)UB2.252A (Lameere) UB4.132 UB4.136 UB4.228 UB5.132 UB5.230 UD2.119 UD2.120 (Chavanne) UD2.208 (Decroly) UD2.218A UD2.Corridor

13:45 ↳ Advanced debuggingtechniques of Go code

↳ LibreOffice ExamSession 2

↳ Open SourceHardware and SolderingWorkshop

↳ Putting ArtificialIntelligence back in…

↳ Projectional Editingand Its Implications

↳ HOMER 2020 ↳ IoT Projects in FLOSSFoundationsA Practical CI/CD

Framework for MachineLearning at Massive S…

Building Community foryour Company’s OSSProjects

Are You Testing YourObservability? Patternsfor Instrumenting YourServices

Nextcloud Talk14:00 Debug code generation

in GoGraphBLAS: A linearalgebraic approach forhigh-performancegraph algorithms

Kubernetes of Things PGP KeysigningIntelliJ Elixir - ElixirPlugin for JetBrains IDEsOur road to a k8s/GKE

based Closed BuildEnvironment

14:15 Lessons Learned fromCultivating OpenSource Projects andCommunities

Modern VoIP in ModernInfrastructures

14:30 Uplift your Linuxsystems programmingskills with systemd andD-Bus

Selecting a FiniteElement AnalysisBackend for ExascaleFusion ReactorSimulations

VSCode Extension forOpenShift Developers

How to measure LinuxPerformance Wrong

Insight Fieldtracks

AMENDMENT Jitsi: videoconferencing for theprivacy minded

14:45 Free software ineducation

From a Pipeline to aGovernment Cloud

Developer WorkspaceAs Code - Is DeveloperHeaven in the Cloud?

15:00 Deep Learning ForGophers

LibreOffice ExamSession 3

Build for yourmicroarchitecture:experiences with Spackand archspec

WolfBootIntroducing Falconieri:Remote ProvisioningService as a Service

Engaging Enterpriseconsumers of OSS

From Zero to Useless toHero: Make RuntimeData Useful in Teams

15:15FaaS You Like It: CreateServerless Functions &Run Anywhere15:30 Speed up the monolith HPC on OpenStack Asterisk: A Project

UpdateUsing Micropython todevelop an IoT sensorplatform with anAugmented Reality UIDeployment to

hardwareRecognising Burnout

15:45 Bach.java: LightweightJava Build Tool forModular Projects

Grafana-As-Code: Fullyreproducible Grafanadashboards withGrafonnet

Chat Over IMAP (COI):State of the Union

16:00 Go Lightning Talks Interactive applicationson HPC systems

TinyGo: Fast, Small,Concurrent: ChooseThreeHow Does Innersource

Impact on the Future ofUpstreamContributions?

Reach for the CloudsWith OpenSIPS 3.016:15 Unit Testing with JUnit

Jupiter - How to Use thenew JUnit JupiterPlatformAMENDMENT How

secure is yourbuild/server?

16:30 Building cloud-baseddata services to enableearth-scienceworkflows across HPCcentres

Monitoring of a Large-Scale UniversityNetwork: LessonsLearned and FutureDirections

Zyre: p2p messaging tofuck the cloud

Building a thrivingcommunity incompany-led opensource projects

16:45

17:00

17:15

17:30

17:45

18:00

18:15

fosdem 2020 scheduleopen esp zink update securing existing software using formally verified...

Documents