Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Philipp Haller

phaller
0 Stars

Decks

Robust, Large-scale Concurrent and Distributed Programming
phaller
0
420
Deterministic Concurrency for Reliable, Large-Scale Software Systems
phaller
0
400
Programming Reactive Systems in Scala: Principles and Abstractions
phaller
0
370
Deterministic Concurrency and Large-Scale Static Analysis
phaller
0
45
Lineages as a first-class construct for fault-tolerant distributed programming
phaller
0
400
A Foundation for Lineage-Based Distributed Computation
phaller
0
43
Taming Concurrent Programming with Domain-Specific Languages
phaller
0
690
Quantifying and Explaining Immutability in Scala
phaller
0
360
Futures, Async, and Actors
phaller
0
24
Safe and Scalable Concurrent Programming in Scala
phaller
0
430
LaCasa: Lightweight Affinity and Object Capabilities in Scala
phaller
0
530
Reactive Async: Expressive Deterministic Concurrency
phaller
1
1k
LaCasa: Lightweight Affinity and Object Capabilities in Scala
phaller
1
390
Can we make concurrency in Scala safer?
phaller
0
460
Papers vs. Artifacts
phaller
0
460
Programming with Futures, Lattices, and Quiescence
phaller
0
780
Reactive Programming in Scala
phaller
0
430
High-Level Concurrency Libraries: Challenges for Tool Support
phaller
0
210

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade