Brussels / 2 & 3 February 2019

schedule

AW1.121


Day Start End Track(s)
Saturday 10:30 19:00 Quantum Computing
Sunday 09:00 17:00 Microkernels and Component-based OS
09 10 11 12 13 14 15 16 17 18
Saturday When open source meets quantum computing
Opening keynote
Forest: An Open Source Quantum Software Development Kit Delivering Practical Quantum Computing D-Wave's Software Development Kit D-Wave Hybrid Framework What is IBMQ Make your code count: Quantum simulations and collaborative code development
Introduction to QuTiP: the quantum toolbox in Python
Strawberry Fields - software for photonic quantum computing PennyLane - Automatic differentiation and machine learning of quantum computations Quantum Computing at Google and in the Cloud
An update on Google's quantum computing program and its open source tools.
Promotion of open source and role of standardization in Quantum Computing
Open panel discussion
Exponential speedup in progress
Closing remarks
Sunday What's new in the world of seL4 Microkernel virtualization under one roof
Dare the impossible
A roadmap for the Hurd? A microkernel written in Rust: Porting the UNIX-like Redox OS to Armv8
A case study of Rust as a language for writing microkernel based compositions
Hands-on composition of basic L4Re components Unikraft: Unikernels Made Easy Hardware/Software Co-Design for Efficient Microkernel Execution Solo5: A sandboxed, re-targetable execution environment for unikernels
A {unikernel,kernel} is just a {process,hypervisor} in disguise
Evolution of file system and disk management in HelenOS Operating System hardening : Dealing with external interrupts The impact of Meltre and Specdown on microkernel systems (*)
(*) Deliberate misspelling of Meltdown and Spectre

Events

Title Track Start End

Saturday

  When open source meets quantum computing
Opening keynote
Quantum Computing 10:30 10:55
  Forest: An Open Source Quantum Software Development Kit Quantum Computing 11:00 11:45
  Delivering Practical Quantum Computing Quantum Computing 11:50 12:20
  D-Wave's Software Development Kit Quantum Computing 12:25 12:55
  D-Wave Hybrid Framework Quantum Computing 13:00 13:30
  What is IBMQ Quantum Computing 13:35 14:20
  Make your code count: Quantum simulations and collaborative code development
Introduction to QuTiP: the quantum toolbox in Python
Quantum Computing 14:25 15:10
  Strawberry Fields - software for photonic quantum computing Quantum Computing 15:15 16:00
  PennyLane - Automatic differentiation and machine learning of quantum computations Quantum Computing 16:05 16:50
  Quantum Computing at Google and in the Cloud
An update on Google's quantum computing program and its open source tools.
Quantum Computing 16:55 17:40
  Promotion of open source and role of standardization in Quantum Computing
Open panel discussion
Quantum Computing 17:45 18:30
  Exponential speedup in progress
Closing remarks
Quantum Computing 18:35 19:00

Sunday

  What's new in the world of seL4 Microkernels and Component-based OS 09:00 09:45
  Microkernel virtualization under one roof
Dare the impossible
Microkernels and Component-based OS 09:55 10:30
  A roadmap for the Hurd? Microkernels and Component-based OS 10:40 11:00
  A microkernel written in Rust: Porting the UNIX-like Redox OS to Armv8
A case study of Rust as a language for writing microkernel based compositions
Microkernels and Component-based OS 11:10 11:55
  Hands-on composition of basic L4Re components Microkernels and Component-based OS 12:05 12:50
  Unikraft: Unikernels Made Easy Microkernels and Component-based OS 13:00 13:35
  Hardware/Software Co-Design for Efficient Microkernel Execution Microkernels and Component-based OS 13:45 14:20
  Solo5: A sandboxed, re-targetable execution environment for unikernels
A {unikernel,kernel} is just a {process,hypervisor} in disguise
Microkernels and Component-based OS 14:30 15:15
  Evolution of file system and disk management in HelenOS Microkernels and Component-based OS 15:25 15:55
  Operating System hardening : Dealing with external interrupts Microkernels and Component-based OS 16:05 16:30
  The impact of Meltre and Specdown on microkernel systems (*)
(*) Deliberate misspelling of Meltdown and Spectre
Microkernels and Component-based OS 16:35 17:00