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

Displayed 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 Darragh University of Utah, William G Hatch University of Utah, Eric Eide University of Utah
File Attached
12:00
30m
Talk
Scheme for scientific computing
Scheme
Francesco Montanari Universidad Autónoma de Madrid
File Attached
12:30
10m
Talk
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
10m
Talk
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
10m
Talk
Programming with Petri Nets to Reason about Concurrency (Lightning Talk)
Scheme
Julien Lepiller Yale University
File Attached