| |
Berman, Shmuel
|
SPLASH Companion Companion '21: "Programming-by-Example by ..."
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 doi:10.1145/3484271.3484977
|
| |
Bogdanova, Alina |
SPLASH Companion Companion '21: "Source Code Authorship Attribution ..."
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 doi:10.1145/3484271.3484981
|
| |
Cardelli, Luca
|
SPLASH Companion Companion '21: "Integrated Scientific Modeling ..."
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 doi:10.1145/3484271.3490527
|
| |
Chakraborty, Madhurima |
SPLASH Companion Companion '21: "A Study of Call Graph Effectiveness ..."
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 doi:10.1145/3484271.3484975
|
| |
Choi, Wonhyuk |
SPLASH Companion Companion '21: "Can Reactive Synthesis and ..."
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 doi:10.1145/3484271.3484972
|
| |
Gouni, Hemant
|
SPLASH Companion Companion '21: "Implementation of an End-to-End ..."
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 doi:10.1145/3484271.3484980
|
| |
Harriman, Hwei-Shin
|
SPLASH Companion Companion '21: "Edgeworth: Authoring Diagrammatic ..."
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 doi:10.1145/3484271.3484978
|
| |
Kaleba, Sophie
|
SPLASH Companion Companion '21: "Avoiding Monomorphization ..."
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 doi:10.1145/3484271.3484976
|
| |
Kloibhofer, Sebastian |
SPLASH Companion Companion '21: "Run-Time Data Analysis to ..."
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 doi:10.1145/3484271.3484974
|
| |
Lutz, Robyn
|
SPLASH Companion Companion '21: "Designing Safe Programmed ..."
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 doi:10.1145/3484271.3490528
|
| |
Makor, Lukas
|
SPLASH Companion Companion '21: "Run-Time Data Analysis in ..."
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 doi:10.1145/3484271.3484973
|
| |
Roshal, Sophia
|
SPLASH Companion Companion '21: "Towards Decidable and Expressive ..."
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 doi:10.1145/3484271.3484979
|
| |
Zimmerman, Conrad
|
SPLASH Companion Companion '21: "Implementation of an End-to-End ..."
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 doi:10.1145/3484271.3484980
|