Diagrammatic Algebra: From Linear to Concurrent Systems
Paper and supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers-diagrammatic-algebra-from-linear-to-concurrent-systems ...
POPL 2019
Considerations for Monitoring Highly Concurrent Systems
University of Malta
CppCon 2016: D. Dechev & D. Zhang “High Performance C++ Concurrent Transactional Data Structures"
http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/cppcon/cppcon2016 — In the ...
CppCon
From Concurrent to Parallel
Recorded at Jfokus 2016. http://www.jfokus.com) From Concurrent to Parallel As core counts continue to increase, how we exploit hardware parallelism in ...
Jfokus
Interprocedural Analysis and the Verification of Concurrent Programs
In the modern world, not only is software getting larger and more complex, it is also becoming pervasive in our daily lives. On the one hand, the advent of ...
Microsoft Research
The Laws of Programming with Concurrency
Regular algebra provides a full set of simple laws for the programming of abstract state machines by regular expressions. They apply equally to sequential ...
Microsoft Research
Concurrent Engineering
Concurrent engineering, Evaluation of cost in design processes. Difference between serial engineering vs. concurrent engineering (solved example), ...
Design Practice - IITK
"Type-Driven Program Synthesis" by Nadia Polikarpova
A promising approach to improving software quality is to enhance programming languages with declarative constructs, such as logical specifications or ...
Strange Loop
Lecture 1: Introduction
Lecture 1: Introduction MIT 6.824: Distributed Systems (Spring 2020) https://pdos.csail.mit.edu/6.824/
MIT 6.824: Distributed Systems
Laws of Concurrent Programming
A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie). They include the algebraic properties of concurrency, ...
Microsoft Research
CppCon 2019: Fedor Pikus “Back to Basics: Test-driven Development”
http://CppCon.org — Discussion & Comments: https://www.reddit.com/r/cpp/ — Presentation Slides, PDFs, Source Code and other presenter materials are ...
CppCon
"Concurrent Object Oriented Programming" with Bertrand Meyer
Title: Concurrent Object Oriented Programming Speaker: Bertrand Meyer Date: 11/15/2018 Abstract The future of programming is parallel. We have run out of ...
Association for Computing Machinery (ACM)
AT&T Archives: A 20-year History of Antiballistic Missile Systems
For more from the AT&T Archives, visit http://techchannel.att.com/archives This film examines five different experimental and functional antiballistic missile ...
AT&T Tech Channel
Lecture - 6 Formal Specification
Lecture Series on Software Engineering by Prof.N.L. Sarda, Prof. Umesh Bellur,Prof.R.K.Joshi and Prof.Shashi Kelkar, Department of Computer Science ...
nptelhrd
Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
Distributed systems are hard to get right. There have been many notable efforts in formal reasoning for distributed systems: these efforts have focused on ...
Microsoft Research
"Verified seL4 on secure RISC-V processors" - Gernot Heiser (LCA 2020)
Gernot Heiser https://lca2020.linux.org.au/schedule/presentation/40/ RISC-V has many attractions, ranging from the openness of the architecture, its clean-slate ...
linux.conf.au
ISO19650 - A Global Opportunity
Following the publishing of the ISO 19650 series of standards for BIM, we Paul Shillcock to NBS HQ to present to the North East BIM community. In this video ...
NBS
Chapter 1: Introduction to Software Analysis
Mayur Naik
Verified Concurrent Programmes: Laws of Programming with Concurrency
The talk starts with a summary of the familiar algebraic properties of choice in a program and of both sequential and concurrent composition. These properties ...
Microsoft Research
SSAS Best Practices
Check Out Our SSAS Blog - http://blog.pragmaticworks.com/topic/ssas A journey through best practices in relation to scalable SQL Server Analysis Services ...
Pragmatic Works
SoS: A polyglot notebook and workflow system...- Bo Peng (The University of Texas)
SoS: A polyglot notebook and workflow system for both interactive multilanguage data analysis and batch data processing Bo Peng (The University of Texas, MD ...
O'Reilly
"Understanding Microservices with Distributed Tracing" by Lita Cho
With a microservice architecture, one request can go through hundreds of network hops. Not one engineer can know the entire path of the request and all the ...
Strange Loop
Finding Subtle but Common Concurrency Issues in Java Programs
This presentation describes research results on common concurrency mistakes in Java and shows examples in which subtle misunderstandings of the Java ...
Oracle Developers
The deterministic user-level replay of concurrent programs
A user-level deterministic log/replay system is able to faithfully re-enact a past multithreaded execution without any modifications to the underlying OS or ...
Microsoft Research
AWS re:Invent 2019: Modernizing pharmaceutical manufacturing with IoT and AI/ML (MFG203)
In this session, learn how to use AWS IoT, AI/ML, and data analytics services to build a connected, intelligent biopharmaceutical manufacturing and supply chain ...
AWS Events
Hints and Principles for Computer System Design
Hints and Principles for Computer System Design.
Microsoft Research
Lecture -1 Embedded Systems: Introduction
Lecture series on Embedded Systems by Dr.Santanu Chaudhury,Dept. of Electrical Engineering, IIT Delhi . For more details on NPTEL visit http://nptel.ac.in.
nptelhrd
Transforming Your API Testing Experience with the OpenAPI Specification
In this session, we discuss all things related to testing your OpenAPI spec. We hit an endpoint to create documentation, pull our API into SwaggerHub to ...
SmartBear
ArcGIS Enterprise: Tuning and Scaling
This session will look at ArcGIS Enterprise and the many different tiers and ways to tune and scale it. It will touch on tuning your existing deployment, including ...
Esri Events
Java Performance: Understand How Parallel GC Works
http://www.informit.com/store/java-performance-livelessons-video-training-downloadable-9780133443554 This video is a sample excerpt from Java ...
LiveLessons
Mod-03 Lec-14 Concurrent statements and Sequential statements
Digital System design with PLDs and FPGAs by Prof. Kuruvilla Varghese,Department of Electronics & Communication Engineering,IISc Bangalore.For more ...
nptelhrd
GOTO 2018 • The Robustness of Go • Francesc Campoy
This presentation was recorded at GOTO Chicago 2018. #gotocon #gotochgo http://gotochgo.com Francesc Campoy - Gopher, Host of the @justforfunc podcast ...
GOTO Conferences
Building Scalable, Highly Concurrent and Fault-Tolerant Systems: Lessons Learned
The skills of building Scalable, Highly Concurrent and Fault-Tolerant Systems are becoming increasingly important in our new world of Cloud Computing, ...
Parleys
Top 50 Software Testing Interview Questions & Answers | Software Testing Training | Edureka
Test Automation Engineer Masters Program : https://www.edureka.co/masters-program/automation-testing-engineer-training ** This Edureka video on Top 50 ...
edureka!
Automate Code Reviews and Application Performance Recommendations with Amazon CodeGuru
Even for the most seasoned engineers, it can be difficult to detect some types of code issues and challenging to identify the most expensive lines of code without ...
AWS Online Tech Talks
Application Diagnostics in .NET Core 3.1 - Damian Edwards & David Fowler
What do you do when your .NET Core application doesn't behave the way you expect? Maybe it's slower since the last deployment or has started crashing at the ...
NDC Conferences
Webinar: Networking Design and Best Practices
In this webinar recorded on 8/10/2017, Araknis Networks Product Manager Ayham Ereksousi discusses how to maximize your networking installs, including: ...
SnapAV
CNCF Webinar Series - Introducing Jaeger 1.0
This webinar will demonstrate how Jaeger can be used to solve a variety of observability problems, including distributed transaction monitoring, root cause ...
CNCF [Cloud Native Computing Foundation]
Proteomics Profiling of Post-Translational Modifications in Early Drug Discovery
Featured Experts: Don Kirkpatrick, PhD (Genentech), Lilian Phu, (Genentech), Matthew Stokes, PhD (CST) ⬇️ Expand “Show More” to view abstract and table of ...
Cell Signaling Technology, Inc.
Jim Crist: Introducting Dask-Gateway: Dask clusters as a service | PyData Austin 2019
"Dask has become a standard tool for parallelizing computational Python work, scaling from laptops to distributed clusters. Its compatibility with a wide variety of ...
PyData
Custom Metrics with Prometheus
Welcome to another episode of Stack Doctor. Join Customer Engineer Specialist Yuri Grinshteyn as he helps you improve observability on Kubernetes and GKE ...
Google Cloud Platform
Real-Time Concurrent Garbage Collection
Creating a garbage-collected environment that supports real-time on modern parallel platforms is notoriously hard, especially if real-time entails lock-freedom.
Microsoft Research
