Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
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 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

scheme-2020-papers
11:30 - 13:00: Scheme 2020 - Research Session 1 at Scheme
scheme-2020-papers11:30 - 12:00
Talk
Pierce DarraghUniversity of Utah, William G HatchUniversity of Utah, Eric EideUniversity of Utah
File Attached
scheme-2020-papers12:00 - 12:30
Talk
Francesco MontanariUniversidad Autónoma de Madrid
File Attached
scheme-2020-papers12:30 - 12:40
Talk
Junya NoseTokyo Institute of Technology, Youyou CongTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
scheme-2020-papers12:40 - 12:50
Talk
Youyou CongTokyo Institute of Technology, Naoya FurudonoTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
scheme-2020-papers12:50 - 13:00
Talk
julien lepillerYale University
File Attached