Cited By
View all- Kohli SKharbanda SBruno RCarreira JFonseca P(2024)Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-StartsProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3629556(298-316)Online publication date: 22-Apr-2024
- Zhou TShirako JJain ASrikanth SConte TVuduc RSarkar VKell SVerna D(2020)Intrepydd: performance, productivity, and portability for data science application kernelsProceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3426428.3426915(65-83)Online publication date: 18-Nov-2020
- Bauman SBolz-Tereick CSiek JTobin-Hochstadt S(2017)Sound gradual typing: only mostly deadProceedings of the ACM on Programming Languages10.1145/31338781:OOPSLA(1-24)Online publication date: 12-Oct-2017
- Show More Cited By