Efficient Fault Tolerant Java with Aeron Clustering
Are you enthusiastic about sharing your knowledge with your community? InfoQ.com is looking for part-time news writers with experience in Java. Earn money!
InfoQ
Safety-Critical Autonomous Systems: What is Possible? What is Required?
Richard Murray (California Institute of Technology) Simons Institute Open Lecture Series, Spring 2018 ...
Simons Institute
Developing Bug-Free Machine Learning Systems Using Formal Mathematics
Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result ...
Microsoft Research
Real-Time Monitoring, Verification, and Control of Cyber-Physical Systems
Sanjit Seshia, UC Berkeley https://simons.berkeley.edu/talks/sanjit-seshia-3-26-18 Societal Networks.
Simons Institute
What Does `Real Time' Mean
Edward A. Lee, UC Berkeley Real-Time Decision Making https://simons.berkeley.edu/talks/edward-lee-2016-07-28.
Simons Institute
Introduction to Distributed Systems
This Lecture covers the following topics: What is Distributed System? Properties of Distributed Systems Relation to Computer System Components Layered ...
Distributed Systems
Scaling, optimization, and fault-tolerant design - Joshua "jag" Ginsberg
Joshua "jag" Ginsberg from Celerity spoke at Django-District on August 25, 2015. Description: This talk will cover a real world web service optimization case ...
Django District
Serverless Architecture Patterns and Best Practices by Chris Munns
Serverless computing allows you to build and run applications without the need for provisioning or managing servers. AWS Lambda has changed how ...
Devoxx
Episode 77: Fault Tolerance with Bob Hanmer Pt. 1
In this Episode we discuss fault tolerance based on the new book by Bob Hanmer. This is the actually the first part of the discussion, the remainder will be ...
ieeeComputerSociety
[VDM19] Interaction Protocols: It's all about good manners by Martin Thompson
Distributed and concurrent systems can be considered a social group that collaborate to achieve collective goals. In order to collaborate a system of rules must ...
Devoxx
Achieving the Full Potential of State Machine Replication
Achieving the Full Potential of State Machine Replication: High Throughput, Low Latency, Constant Availability Redundancy through state replication is the ...
Microsoft Research
Availability and reliability
Explains what availability and reliability mean in critical sysems.
Ian Sommerville
Building Safe Systems with Linux - Nicholas McGuire, OpenTech
Building Safe Systems with Linux - Nicholas McGuire, OpenTech With the increasing complexity of technical systems, as in autonomous robotic systems, the ...
The Linux Foundation
Ittai Abraham — Byzantine fault tolerance, state machine replication and blockchains. Part 1.
In the first part of this tutorial we will provide a new general framework that can be used to explain many consensus protocol variants. We start with a simple ...
SPTDC
Real-Time Big Data Analytics with Storm
This talk provides an overview of the open source Storm system for processing Big Data in realtime. The talk starts with an overview of the technology, including ...
Aerospike
Ryan Trontz : Messaging Metamorphosis: Using Kafka and GenStage to...
Messaging Metamorphosis: Using Kafka and GenStage to Transform Transactional Messaging @ Dollar Shave Club Elixir, Apache Kafka, and Microservices ...
EMPEX Conference
The Verification of a Distributed System by Caitie McCaffrey
Distributed Systems are difficult to build and test for two main reasons: partial failure & asynchrony. These two realities of distributed systems must be addressed ...
Devoxx
ISO 26262 (2017)
ArterisIP's Kurt Shuler talks with Semiconductor Engineering about changes in the automotive standard and how autonomous vehicles are supposed to fail ...
Semiconductor Engineering
Role of Design Languages and Tools in Building Secure Systems
Presented by Raymond Richards, Darpa/I20 — at AdaCore Tech Days Boston, 2019.
AdaCore
YOW! Perth 2019 - Martin Thompson - Interaction Protocols: It's All About Good Manners
Distributed and concurrent systems can be considered a social group which collaborate to achieve collective goals. In order to collaborate a system of rules must ...
YOW! Conferences
"The Magical Rebalance Protocol of Apache Kafka" by Gwen Shapira
Very few people know that inside's Apache Kafka's binary protocol for publishing and retrieving messages hides another protocol - a generic, extensible protocol ...
Strange Loop
PNW PLSE Workshop: Helping Designers Explore the Space of Layout Variations with Constraints
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, ...
Microsoft Research
GOTO 2016 • The Verification of a Distributed System • Caitie McCaffrey
This presentation was recorded at GOTO Chicago 2016 http://gotochgo.com Caitie McCaffrey - Distributed Systems Diva at Twitter ABSTRACT Distributed ...
GOTO Conferences
"Randomized Gossip Methods" by Dahlia Malkhi
Info: https://pwlconf.org/2016/dahlia-malkhi/ Slides: http://bit.ly/2cC59Ml Transcription: http://bit.ly/2y8XH5U Dahlia's Site: https://dahliamalkhi.wordpress.com/ ...
PapersWeLove
"Antics, drift, and chaos" by Lorin Hochstein
Despite what you might think, successful large-scale cloud systems are not designed by an architect. Instead, they grow organically, failing in complex ways.
Strange Loop
Fred Hebert - The Hitchhiker's Guide to the Unexpected - Code BEAM SF 2018
Bugs you know you will happen in production are usually easy to handle since you know about them. The problem is that we, as humans, have limited ...
Code Sync
John Preskill “Quantum Information and Spacetime”
2016 Leigh Page Prize Lecture Series, hosted by Yale Department of Physics and Yale Quantum Institute John Preskill, Richard P. Feynman Professor of ...
YaleUniversity
LampsonFest - Thank You Butler
Leslie Lamport - Thank You Butler.
Microsoft Research
6th HLF – Lecture: Leslie Lamport
Leslie Lamport: "If You're Not Writing a Program, Don't Use a Programming Language" Algorithms are not programs. They can and should be written with math ...
Heidelberg Laureate Forum
Introduction to Claris Connect [INT24]
Brought to you by Claris International Inc. www.claris.com.
Claris
Episode 73: Real Time Systems with Bruce Powel Douglass
This episode is a conversation with Bruce Powel Douglass on real time systems. We started by discussing what real time software is, and explored the difference ...
ieeeComputerSociety
Fault Injection: ISO 26262
Fault Injection is a podcast from Synopsys that digs into software quality and security issues. Hosts Chris Clark, Principal Security Engineer at Synopsys, and ...
Synopsys
Advanced Akka for Architects
By now, you've probably heard of Akka, the JVM toolkit for building scalable, resilient and resource efficient applications in Java or Scala. With over 12 ...
Lightbend
"How to Have your Causality and Wall Clocks, Too" by Jon Moore
Does it bother you when all your microservice logs show up out of order in your log analysis tool because your system clocks aren't synchronized? Did you ever ...
Strange Loop
Saša Jurić - Discovering Processes (ElixirConfEU 2016)
Slides and more info: http://www.elixirconf.eu/elixirconf2016/sasa-juric Elixir/Erlang systems are typically powered by thousands, or sometimes even millions of ...
Erlang Solutions
IEC 61511: What’s New in Edition Two
With the new IEC 61511 second edition due to be issued in the next few months, it is worth a detailed look through the draft version to see what has changed ...
exida
Webinar | Better Together: Apache Cassandra and Apache Kafka | DataStax
In this webinar, you'll also be introduced to DataStax Apache Kafka Connector, and get a brief demonstration of this groundbreaking technology. You'll directly ...
DataStax
Barbara Liskov, 2007 ACM A.M. Turing Award Lecture "The Power of Abstraction"
Author: Barbara Liskov Presented as a Keynote during OOPSLA'09, 24th ACM SIGPLAN conference on Object oriented programming systems languages and ...
Association for Computing Machinery (ACM)
Isilon Fundamentals Free e-Learning
To see all available free e-learning titles, please visit: https://education.emc.com/FreeElearning This course provides an introduction and basic understanding of ...
Dell EMC Education Services
"Architectural Patterns of Resilient Distributed Systems" by Ines Sombra
Ines Sombra FASTLY @randommood Ines Sombra is an Engineer at @Fastly, where she spends her time helping the Web go faster. Ines holds an M.S. in ...
Strange Loop
Towards Quantum Advantage in the Financial Services Sector
The use of Quantum computers is rapidly growing and the potential applications are vast. There are applications in material and drug design, logistics ...
UNC Kenan Institute
Turing Lecture: Dr Cynthia Dwork, Privacy-Preserving Data Analysis
Doctor Cynthia Dwork: Privacy-Preserving Data Analysis Privacy-preserving data analysis has a long history, spanning at least five decades and numerous ...
The Alan Turing Institute