ICFP 2020 (series) / Scheme 2020 (series) / Scheme 2020 /
Programming with Petri Nets to Reason about Concurrency (Lightning Talk)
Fri 28 Aug 2020 12:50 - 13:00 at Scheme - Research Session 1
Functional programming languages are good at manipulating data, because the lack of side-effects makes it easy to reason about them locally. Introducing parallelism often breaks some of these assumptions as data navigates between threads in a way that is not made obvious by the structure of the code. We propose to use a Petri net representation to model concurrency in functional programming languages as they explicitly encode dataflow between data processing procedures. We propose a library, guile-petri, that allows programmers to represent parallel programs with Petri nets, as well as manipulate these Petri nets programmatically.
Programming with Petri Nets to Reason about Concurrency (scheme20-final10.pdf) | 295KiB |
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change
11:30 - 13:00 | |||
11:30 30mTalk | Clotho: A Racket Library for Parametric Randomness Scheme File Attached | ||
12:00 30mTalk | Scheme for scientific computing Scheme Francesco Montanari Universidad Autónoma de Madrid File Attached | ||
12:30 10mTalk | Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) Scheme Junya Nose Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology File Attached | ||
12:40 10mTalk | On Teaching Type Systems as Macros (Lightning Talk) Scheme Youyou Cong Tokyo Institute of Technology, Naoya Furudono Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology File Attached | ||
12:50 10mTalk | Programming with Petri Nets to Reason about Concurrency (Lightning Talk) Scheme Julien Lepiller Yale University File Attached |