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.
cis.upenn.edu
October 13, 2025 at 1:43 AM
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.
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.
arxiv.org
October 13, 2025 at 1:31 AM
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...
See here for details: www.cis.upenn.edu/open-faculty...
Open Faculty Positions
Open Faculty Positions
www.cis.upenn.edu
September 15, 2025 at 1:35 PM
@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...
See here for details: www.cis.upenn.edu/open-faculty...