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: Eastern Time (US & Canada) change

11:30 - 13:00
Research Session 1Scheme at Scheme
11:30
30m
Talk
Clotho: A Racket Library for Parametric Randomness
Scheme
Pierce DarraghUniversity of Utah, William G HatchUniversity of Utah, Eric EideUniversity of Utah
File Attached
12:00
30m
Talk
Scheme for scientific computing
Scheme
Francesco MontanariUniversidad Autónoma de Madrid
File Attached
12:30
10m
Talk
Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk)
Scheme
Junya NoseTokyo Institute of Technology, Youyou CongTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
12:40
10m
Talk
On Teaching Type Systems as Macros (Lightning Talk)
Scheme
Youyou CongTokyo Institute of Technology, Naoya FurudonoTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
12:50
10m
Talk
Programming with Petri Nets to Reason about Concurrency (Lightning Talk)
Scheme
julien lepillerYale University
File Attached