Quilt does this without developer effort and works with existing serverless schedulers.

Quilt performs cheap distributed profiling to understand the resource needs of functions, and expresses a graph clustering formulation as an ILP to formalize which functions should be merged.

Quilt is a serverless optimizer that merges functions written in different compiled languages (e.g., C, C++, Rust, Swift) into the same process, turning inter-function invocations that take several milliseconds today into simple function calls that take nanoseconds.

Ticl is a new logic that enables compositional and structural reasoning like Hoare logic does, but for temporal properties. We used Ticl to prove liveness of programs that have internal and external nondeterminism, and that terminate in some branches and run forever in others.

Very cool paper congrats!