List of Events

Here is a list of event, includes speaker session and other intermediate slots (e.g. lunch):

What's new in FreeBSD 12.0

This entertaining presentation introduces the FreeBSD operating system and the community that produces it. FreeBSD is an advanced computer operating system used to power modern servers, desktops, and embedded platforms. A large community has continually developed it for more than thirty years. Its advanced networking, security, and storage features have made FreeBSD the platform of choice for many of the busiest web sites and most pervasive embedded networking and storage devices.

Random number generation for simulation, blockchain and cryptography

Random number generation is common in various fields. Unfortunately, it is easy to be done wrongly, leading to inaccurate output or even security compromise. This talk aims on giving out a few case studies on using random numbers, e.g. how rand() in glibc fails when doing simulation, what should be cared for random numbers used in blockchain and cryptography, etc.

Diagnosis the internet's health - Mozilla Internet Health Report

Mozilla Internet Health Report ( is an annual report talk about what’s helping and what’s hurting the internet. It discuss different aspect of Internet, from personal experience to global concerns. In last year's report, we discuss issues from privacy of IoT to domination of Social Network. In the talk, I will introducing and sharing the best stories from this year's latest report.

Decentralized data marketplace based on Distributed Ledgers

The value of data is not a new thing, whether in business or in warfare.

Either the goal of precision marketing or the material collection for machine learning,
their intentions can be shorten into one word: data, the oil in the digital era.

Not surprisingly, data storage and marketplace turn into new challenges.In this session, we'll introduce an innovative type of data marketplace platform with distributed legder technology (DLT) to transform data into profits with better trust basic.

Formal Verification on Smart Contract

For ethereum, 2016 might be a tough year, the DAO has been stolen 3.6 million ETH, equivalent of $70 million at that time, due to improper contract design. As a result, more and more automatic verification tool for smart contract come out to prevent potentially huge financial loss.

Today, we will be looking at how formal verification tools work on smart contract, how can we use mathematical proof to ensure the quality of program.

Build a minimal DBMS from scratch by Rust

I will introduce to Rust, including the principles, the traits, and the current state of the Rust community. After that, I am going to talk about how to build a minimal DBMS from scratch - the StellarSQL project. In this talk, the following is covered. What is a DBMS? What is the architecture of the DBMS? What is the progress in developing the project? What are the existed resources in the community that I use for the developing? The speech would manifest that developing a small DBMS is fascinating and Rust is cool and powerful.