Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization

LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Nov 16, 2018
from 02:00 PM to 03:00 PM
Add event to calendar vCal
iCal

Concurrent programming is critical to large, distributed systems like those used at Google to support cloud applications such as search, gmail, youtube, and so on. However, Google uses imperative programming languages, leading to programs that have subtle behaviors and are difficult to understand.


This talk will start with a brief overview of EML, an attempt at a programming language with concurrency primitives and a graphical representation corresponding to programmers' intuitions about state transitions. There are many aspects of EML that are not fully worked out: the technical content of the talk will focus on primitives that allow concurrent pattern matching.

Document Actions