Mon 3 Apr 2017 16:20 - 16:45 at D2.10 - GC, and Concurrency

Dataflow models are a promising platform for programming language implementation due to their ability to extract the latent parallelism present in a given program. In spite of this, no modern-day language has emerged which leverages this property of implicit parallelism. As a first step towards the creation of such a language, we introduce a virtual machine design which is based on the tagged-token dataflow model. Notably, this design offers the fundamental concepts of the underlying model as first-class entities, which makes it possible to support various high-level language features without the need for any additional runtime support.

Extended Abstract (morevms17-final5.pdf)169KiB

Conference Day
Mon 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
GC, and ConcurrencyMoreVMs at D2.10
15:30
25m
Talk
Garbage Collection as a Joint Venture
MoreVMs
File Attached
15:55
25m
Talk
OpenCL JIT Compilation for Dynamic Programming Languages
MoreVMs
Juan FumeroThe University of Edinburgh, Michel SteuwerThe University of Edinburgh, Lukas StadlerOracle Labs, Austria, Christophe DubachUniversity of Edinburgh
File Attached
16:20
25m
Talk
An Extensible Virtual Machine Design for the Execution of High-level Languages on Tagged-token Dataflow Machines
MoreVMs
Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Jennifer B. SartorSofware Languages Lab, Vrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
16:45
25m
Talk
Moving beyond single-threaded concurrency
MoreVMs
Marek MareckiPolish-Japanese Academy of Information Technology
File Attached