Loading…
December 14 - 15, 2021 | Virtual Event
View More Details for Open Source Summit
View More Details for Automotive Linux Summit
Register for OSS + ALS Japan

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit Japan + Automotive Linux Summit to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

Please note: This schedule is automatically displayed in Japan Standard Time (UTC+09:00). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date." The schedule is subject to change.
Back To Schedule
Wednesday, December 15 • 12:00 - 12:50
Formal Verification and Performance Simulation in Real-World Applications: A Case Study with the Stellar Blockchain - Nicolas Barry, Stellar Development Foundation & Hidenori Shinohara, Stellar Development Foundation

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
The Stellar Development Foundation aims at developing and creating a network that provides equitable access to a global financial system. The Stellar network is an open-source blockchain that fulfills this purpose. Building such a system presents many challenges; it needs to be scalable, secure, and nimble, properties that can be mutually exclusive. This presentation will share the Stellar engineering team's experience with various tools and techniques available to developers of similar critical systems. These learnings will then serve as guidance for others to improve the software quality that they deliver to their customers.

Speakers
avatar for Nicolas Barry

Nicolas Barry

CTO, Stellar Development Foundation
Nicolas Barry is the CTO of the Stellar Development Foundation, a nonprofit organization that supports Stellar, an open-source blockchain network. As someone who likes to tinker with software and tackle hard distributed problems, Nicolas is excited by turning potential technology... Read More →
HS

Hidenori Shinohara

Software Engineer, Stellar Development Foundation
Hidenori Shinohara is a software developer working on formal models and proofs of the Stellar Consensus Protocol (SCP) as well as network simulations.He is a former PhD student in mathematics at Duke University and has previously worked on data pipelines at Google.



Wednesday December 15, 2021 12:00 - 12:50 JST
Wildcard Theater
  Wildcard