SPLASH (Companion)

Keyphrases

Publications

2021

SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17 - 22, 2021, Companion Volume SPLASH (Companion) (2021)
Luca Cardelli
Integrated scientific modeling and lab automation (keynote). SPLASH (Companion) (2021)
Robyn R. Lutz
Designing safe programmed molecular systems (keynote). SPLASH (Companion) (2021)
Madhurima Chakraborty
A study of call graph effectiveness for framework-based web applications. SPLASH (Companion) (2021)
Hwei-Shin Harriman
Edgeworth: authoring diagrammatic math problems using program mutation. SPLASH (Companion) (2021)
Shmuel Berman
Programming-by-example by programming-by-example: synthesis of looping programs. SPLASH (Companion) (2021)
Alina Bogdanova
Source code authorship attribution using file embeddings. SPLASH (Companion) (2021)
Hemant Gouni, Conrad Zimmerman
Implementation of an end-to-end gradual verification system. SPLASH (Companion) (2021)
Lukas Makor
Run-time data analysis in dynamic runtimes. SPLASH (Companion) (2021)
Wonhyuk Choi
Can reactive synthesis and syntax-guided synthesis be friends? SPLASH (Companion) (2021)
Sophia Roshal
Towards decidable and expressive DOT. SPLASH (Companion) (2021)
Sebastian Kloibhofer
Run-time data analysis to drive compiler optimizations. SPLASH (Companion) (2021)
Sophie Kaleba
Avoiding monomorphization bottlenecks with phase-based splitting. SPLASH (Companion) (2021)

2020