Name: Sergei Winitzki, Declarative concurrent programming with Join Calculus
Start: 2017-10-16T18:30:00-07:00
End: 2017-10-16T21:30:00-07:00
Location: Salesforce

Sergei Winitzki, Declarative concurrent programming with Join Calculus

Abstract

Abstract: I give an introduction to Join calculus, a declarative formalism for concurrent programming. Join Calculus is a development of Pi-calculus that is higher-level and easier to use in practice. Join Calculus radically improves upon well-known concurrency paradigms such as Actors or CSP. I explain how Join Calculus emerges if we want to improve the Actor model by making actors type-safe, stateless, and automatically managed. I am developing `Chymyst`, a new open-source implementation of Join Calculus as an embedded DSL in Scala. I show concise and fully declarative Chymyst solutions for classic concurrency problems such as the "dining philosophers" or recursive "fork/join".

Short Bio

Sergei Winitzki is a theoretical physicist turned software engineer, passionate for functional programming, functional type theory, and declarative domain-specific languages.

Schedule

• 6:30-7:00 - networking (pizza, beer)
• 7:00-7:10 - announcements etc.
• 7:10-8:00 - talk
• 8:00-8:30 - more networking

Attention please

The company will want you to sign an NDA.

Matthew Tovbin

Vlad Patryshev

Scala Bay

Technology

Category Theory

Software Development

Computer Programming

Functional Programming

Play Framework

Scala Akka

Akka

Scala

Distributed Systems

Apache Spark

JVM Languages

Sergei Winitzki, Declarative concurrent programming with Join Calculus

Salesforce

Share

Scala Bay

Sergei Winitzki, Declarative concurrent programming with Join Calculus

Scala Bay

Details

Members are also interested in