60 citations · 119 across the 21 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala +1
Statically analyzing information flow, or how data influences other data within a program, is a challenging task in imperative languages. Analyzing pointers and mutations requires…
cs.PL2021
Robust Safety for Move
Marco Patrignani, Sam Blackshear
A program that maintains key safety properties even when interacting with arbitrary untrusted code is said to enjoy \emph{robust safety}. Proving that a program written in a mainst…