Sebastian Angel

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.

If you are at SOSP 2025, don't miss the presentation of our paper "Quilt: Resource-aware Merging of Serverless Workflows" on Thursday October 16, at 10:00 AM during the cloud session. Paper: cis.upenn.edu/~sga001/pape.... Code: github.com/eniac/quilt.

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.

If you are at OOPSLA 2025, don't miss @elefthei's presentation of our paper "Structural temporal logic for mechanized program verification" on Saturday October 18, at 3:15 PM (Singapore time). Paper: arxiv.org/pdf/2410.14906. Code: github.com/vellvm/ticl.

@upenn.edu CIS department has open tenured and tenure-track faculty positions for next year, with an emphasis on Computer Security, Theoretical CS, and AI.

See here for details: www.cis.upenn.edu/open-faculty...

Very cool paper congrats!