Главная
Study mode:
on
1
Intro
2
Why, What, When, Where?
3
Motivating Application: Databox
4
Owl's Architecture
5
Indexing & Slicing
6
Core Functor Stack
7
Advanced Uses of Algorithmic Differentiation
8
Laziness & Dataflow
9
Incremental Computation
10
GPGPU Programming
11
Expressiveness
12
Google Inception v3 in 150 LOC
13
Actor, Parallel and Distributed Processing
14
Owl & Actor: Neural Network Example
15
Actor & the Synchronous Parallel Machine
16
Barrier Synchronisation
17
Three Main Schemes: A 10,000 Foot View
18
Simple Analytical Model
19
Decomposing Synchronous Parallel Machine
20
Key Insights from System Decomposition
21
Probabilistic Synchronous Parallel
22
Sampling Primitive
23
Adding the Completeness Dimension
24
Reducing Sample Size
25
Revisit System Decomposition
26
Comparing Synchronisation Methods
27
Step Distribution
28
Effect of Sample Size
29
Tightening Bounds
30
Scalability
31
Ongoing: Integration with App Development Kit
Description:
Explore the design and architecture of Owl, an OCaml library for scientific computing, in this comprehensive lecture by Dr Richard Mortier from the University of Cambridge. Delve into the library's unique features, including algorithmic differentiation, deep neural networks, data-flow programming, and parallel computing. Learn how Owl enables programmers to write concise yet fast code with advanced OCaml features like static type checking. Discover the library's versatility in running on various backends, including CPU, GPU, and even compiled into JavaScript for browser execution. Gain insights into current research focuses and future development plans, such as synchronous parallel machines and browser deployment. Examine the motivating application Databox, and understand Owl's core architecture, including indexing, slicing, and the functor stack. Investigate advanced topics like laziness, incremental computation, and GPGPU programming. Explore the library's expressiveness through examples like implementing Google Inception v3 in just 150 lines of code. Dive into actor-based parallel and distributed processing, with a focus on neural network examples and synchronous parallel machines. Analyze different synchronization methods, step distribution, and scalability considerations. Conclude with an overview of ongoing integration efforts with the App Development Kit. Read more

The Design of Functional Numerical Software - Dr. Richard Mortier, University of Cambridge

Alan Turing Institute
Add to list
0:00 / 0:00