Mastodon Feed: Post

Mastodon Feed

Boosted by taral ("JP Sugarbroad"):
tonofcrates ("Will Crichton") wrote:

Excited to see Place Capability Graphs published at OOPSLA'25 (https://dl.acm.org/doi/10.1145/3763122). Better models of ownership both help us understand its conceptual essence and build better tools atop it. Similarly cool to see that Flowistry (https://github.com/willcrichton/flowistry) was used in the evaluation as a prospective downstream consumer of PCGs.

Figure 6 in the PCG paper. (a) shows capabilities, a lattice exclusive --> read and exclusive --> write and read / write --> none. (b) shows nodes, either places or lifetime projections. (c) shows edges in the PCG: unpacking, borrowing, borrow flows, dereferences, aliases, and abstractions.