4 citations · 8 across the 3 of their papers we have counts for
3 papers
Searching Entangled Program Spaces
James Koppel, Zheng Guo, Edsko de Vries +2
Many problem domains, including program synthesis and rewrite-based optimization, require searching astronomically large spaces of programs. Existing approaches often rely on build…
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
Adrian Francalanza, Edsko DeVries, Matthew Hennessy
We define a pi-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when n…
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To stu…