SPLASH Companion 2021 – Companion Proceedings

Frontmatter

Keynotes

Integrated Scientific Modeling and Lab Automation (Keynote)
Luca Cardelli
(Microsoft Research, UK; University of Oxford, UK)

Publisher's Version Article: splashcomp21key-key3-p doi:10.1145/3484271.3490527

Designing Safe Programmed Molecular Systems (Keynote)
Robyn Lutz
(Iowa State University, USA)

Publisher's Version Article: splashcomp21key-key1-p doi:10.1145/3484271.3490528

Student Research Competition

Graduate Papers

Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi
(Columbia University, USA)

Publisher's Version Article: splashcomp21src-id1-p doi:10.1145/3484271.3484972

Run-Time Data Analysis in Dynamic Runtimes
Lukas Makor
(JKU Linz, Austria)

Publisher's Version Article: splashcomp21src-id5-p doi:10.1145/3484271.3484973

Run-Time Data Analysis to Drive Compiler Optimizations
Sebastian Kloibhofer
(JKU Linz, Austria)

Publisher's Version Article: splashcomp21src-id6-p doi:10.1145/3484271.3484974

A Study of Call Graph Effectiveness for Framework-Based Web Applications
Madhurima Chakraborty
(University of California at Riverside, USA)

Publisher's Version Article: splashcomp21src-id12-p doi:10.1145/3484271.3484975

Avoiding Monomorphization Bottlenecks with Phase-Based Splitting
Sophie Kaleba
(University of Kent, UK)

Publisher's Version Article: splashcomp21src-id13-p doi:10.1145/3484271.3484976

Undergraduate Papers

Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs
Shmuel Berman
(Columbia University, USA)

Publisher's Version Article: splashcomp21src-id3-p doi:10.1145/3484271.3484977

Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
Hwei-Shin Harriman
(Olin College of Engineering, USA; Carnegie Mellon University, USA)

Publisher's Version Article: splashcomp21src-id7-p doi:10.1145/3484271.3484978

Towards Decidable and Expressive DOT
Sophia Roshal
(Cornell University, USA; Carnegie Mellon University, USA)

Publisher's Version Article: splashcomp21src-id9-p doi:10.1145/3484271.3484979

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: splashcomp21src-id10-p doi:10.1145/3484271.3484980

Source Code Authorship Attribution using File Embeddings
Alina Bogdanova
(Innopolis University, Russia)

Publisher's Version Article: splashcomp21src-id15-p doi:10.1145/3484271.3484981

proc time: 1.01