410 citations · 706 across the 14 of their papers we have counts for
3 papers · 1 filter
Passport: Improving Automated Formal Verification Using Identifiers
Alex Sanchez-Stern, Emily First, Timothy Zhou +3
Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive.…
Wasm/k: Delimited Continuations for WebAssembly
Donald Pinckney, Arjun Guha, Yuriy Brun
WebAssembly is designed to be an alternative to JavaScript that is a safe, portable, and efficient compilation target for a variety of languages. The performance of high-level lang…
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun +1
Serverless computing (also known as functions as a service) is a new cloud computing abstraction that makes it easier to write robust, large-scale web services. In serverless compu…