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 on the D-Wave System |
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 |
| |
AMENDMENT Microkernel lightning talks |
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 |