SPLASH Companion 2021 – Companion Proceedings

Frontmatter

Keynotes

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


@InProceedings{SPLASH Companion21p1, author = {Luca Cardelli}, title = {Integrated Scientific Modeling and Lab Automation (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3484271.3490527}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p2, author = {Robyn Lutz}, title = {Designing Safe Programmed Molecular Systems (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {2-1}, doi = {10.1145/3484271.3490528}, year = {2021}, } Publisher's Version

Student Research Competition

Graduate Papers

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


@InProceedings{SPLASH Companion21p3, author = {Wonhyuk Choi}, title = {Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3484271.3484972}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p7, author = {Lukas Makor}, title = {Run-Time Data Analysis in Dynamic Runtimes}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3484271.3484973}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p11, author = {Sebastian Kloibhofer}, title = {Run-Time Data Analysis to Drive Compiler Optimizations}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3484271.3484974}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p15, author = {Madhurima Chakraborty}, title = {A Study of Call Graph Effectiveness for Framework-Based Web Applications}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3484271.3484975}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p19, author = {Sophie Kaleba}, title = {Avoiding Monomorphization Bottlenecks with Phase-Based Splitting}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3484271.3484976}, year = {2021}, } Publisher's Version

Undergraduate Papers

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


@InProceedings{SPLASH Companion21p23, author = {Shmuel Berman}, title = {Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3484271.3484977}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p27, author = {Hwei-Shin Harriman}, title = {Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {27-26}, doi = {10.1145/3484271.3484978}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p31, author = {Sophia Roshal}, title = {Towards Decidable and Expressive DOT}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3484271.3484979}, year = {2021}, } Publisher's Version

Implementation of an End-to-End Gradual Verification System
Hemant Gouni and Conrad Zimmerman
(University of Minnesota at Twin Cities, USA; Brown University, USA)


@InProceedings{SPLASH Companion21p35, author = {Hemant Gouni and Conrad Zimmerman}, title = {Implementation of an End-to-End Gradual Verification System}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3484271.3484980}, year = {2021}, } Publisher's Version

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


@InProceedings{SPLASH Companion21p39, author = {Alina Bogdanova}, title = {Source Code Authorship Attribution using File Embeddings}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3484271.3484981}, year = {2021}, } Publisher's Version

proc time: 1.85