Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Philipp Haller
phaller
46 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
LCPC2019-Consistency_Types_Distributed_Programming_Languages.pdf
phaller
0
520
Fine-grained Deterministic Parallelization of Static Analyses
phaller
0
470
Serverless Cloud Computing Beyond FaaS: Programming Models and Abstractions
phaller
0
450
Asynchronous streams in direct style with and without macros
phaller
0
610
Asynchronous streams in direct style with and without macros
phaller
1
580
Robust, Large-scale Concurrent and Distributed Programming
phaller
0
530
Deterministic Concurrency for Reliable, Large-Scale Software Systems
phaller
0
500
Programming Reactive Systems in Scala: Principles and Abstractions
phaller
0
460
Deterministic Concurrency and Large-Scale Static Analysis
phaller
0
56
Lineages as a first-class construct for fault-tolerant distributed programming
phaller
0
490
A Foundation for Lineage-Based Distributed Computation
phaller
0
66
Taming Concurrent Programming with Domain-Specific Languages
phaller
0
930
Quantifying and Explaining Immutability in Scala
phaller
0
460
Futures, Async, and Actors
phaller
0
34
Safe and Scalable Concurrent Programming in Scala
phaller
0
530
LaCasa: Lightweight Affinity and Object Capabilities in Scala
phaller
0
640
Reactive Async: Expressive Deterministic Concurrency
phaller
1
1.2k
LaCasa: Lightweight Affinity and Object Capabilities in Scala
phaller
1
480
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade
phaller