PhD student in Software Engineering @ Carnegie Mellon
mirilli. A study of undefined behavior across foreign function boundaries in Rust libraries.
scute.c. An implementation of the scute programming language in c.
scute. An SVG scripting language.
ghostborrows. An API for statically verifying adherence to Tree Borrows using ghost permissions.
