Sign in
SPLASH (Companion)
2020
2021
2020
2021
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
Ian C. McCormack
A software library model for the internet of things.
SPLASH (Companion)
(2020)
Gahwon Lee
SASIL: a domain-specific language for simulating declarative specifications of scheduling systems.
SPLASH (Companion)
(2020)
Sang Heon Choi
Consolidation: a technique for improving permissiveness of human-machine interfaces.
SPLASH (Companion)
(2020)
Raphael Mosaner
Machine learning to ease understanding of data driven compiler optimizations.
SPLASH (Companion)
(2020)
Sophia Kolak
Detecting performance patterns with deep learning.
SPLASH (Companion)
(2020)
Mary Lou Soffa
Testing deep neural networks (keynote).
SPLASH (Companion)
(2020)
Sriram K. Rajamani
Models and programs: better together (keynote).
SPLASH (Companion)
(2020)
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume.
SPLASH (Companion)
(2020)
Reed Oei
Psamathe: a DSL for safe blockchain assets.
SPLASH (Companion)
(2020)
Mona Zhang
,
Jacob Gorenburg
Design and implementation of a gradual verifier.
SPLASH (Companion)
(2020)
Aidan Z. H. Yang
SOAR: synthesis for open-source API refactoring.
SPLASH (Companion)
(2020)
Vitaly Romanov
Evaluating importance of edge types when using graph neural network for predicting return types of Python functions.
SPLASH (Companion)
(2020)
Eduardo Geraldo
Gradual value-dependent information flow control.
SPLASH (Companion)
(2020)
Vikram S. Adve
Why digital agriculture is fertile ground for software systems research (keynote).
SPLASH (Companion)
(2020)