SPLASH Companion 2021
2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2021)
Powered by
Conference Publishing Consulting

2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2021), October 17–22, 2021, Chicago, IL, USA

SPLASH Companion 2021 – Preliminary Table of Contents

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs

Student Research Competition

Graduate Papers

Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk ChoiORCID logo
(Columbia University, USA)
Publisher's Version Article Search
Run-Time Data Analysis in Dynamic Runtimes
Lukas Makor ORCID logo
(JKU Linz, Austria)
Publisher's Version Article Search
Run-Time Data Analysis to Drive Compiler Optimizations
Sebastian KloibhoferORCID logo
(JKU Linz, Austria)
Publisher's Version Article Search
A Study of Call Graph Effectiveness for Framework-Based Web Applications
Madhurima ChakrabortyORCID logo
(University of California at Riverside, USA)
Publisher's Version Article Search
Avoiding Monomorphization Bottlenecks with Phase-Based Splitting
Sophie Kaleba
(University of Kent, UK)
Publisher's Version Article Search

Undergraduate Papers

Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs
Shmuel Berman
(Columbia University, USA)
Publisher's Version Article Search
Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
Hwei-Shin HarrimanORCID logo
(Olin College of Engineering, USA)
Publisher's Version Article Search
Towards Decidable and Expressive DOT
Sophia Roshal
(Cornell University, USA; Carnegie Mellon University, USA)
Publisher's Version Article Search
Implementation of an End-to-End Gradual Verification System
Hemant Gouni and Conrad Zimmerman
(University of Minnesota at Twin Cities, USA; Brown University, USA)
Publisher's Version Article Search
Source Code Authorship Attribution using File Embeddings
Alina Bogdanova
(Innopolis University, Russia)
Publisher's Version Article Search

proc time: 2.32