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 Article: splashcomp21key-key3-p (type: Invited Talk Abstract) doi:10.1145/3484271.3490527

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 Article: splashcomp21key-key1-p (type: Invited Talk Abstract) doi:10.1145/3484271.3490528

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 Article: splashcomp21src-id1-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484972

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 Article: splashcomp21src-id5-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484973

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 Article: splashcomp21src-id6-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484974

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 Article: splashcomp21src-id12-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484975

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 Article: splashcomp21src-id13-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484976

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 Article: splashcomp21src-id3-p (type: Short Paper (2 pages + references)) 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)

@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 Article: splashcomp21src-id7-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484978

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 Article: splashcomp21src-id9-p (type: Short Paper (2 pages + references)) 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)

@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 Article: splashcomp21src-id10-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484980

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 Article: splashcomp21src-id15-p (type: Short Paper (2 pages + references)) doi:10.1145/3484271.3484981

proc time: 1.16