| |
Adve, Vikram S.
|
SPLASH Companion Companion '20: "Why Digital Agriculture Is ..."
Why Digital Agriculture Is Fertile Ground for Software Systems Research (Keynote)
Vikram S. Adve
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{SPLASH Companion20p7,
author = {Vikram S. Adve},
title = {Why Digital Agriculture Is Fertile Ground for Software Systems Research (Keynote)},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3426430.3434072},
year = {2020},
}
 Publisher's Version
Article: splashcomp20key-key3-p doi:10.1145/3426430.3434072
|
| |
Choi, Sang Heon
|
SPLASH Companion Companion '20: "Consolidation: A Technique ..."
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Sang Heon Choi
(Rose-Hulman Institute of Technology, USA)
@InProceedings{SPLASH Companion20p32,
author = {Sang Heon Choi},
title = {Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {32-31},
doi = {10.1145/3426430.3428133},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p37-p doi:10.1145/3426430.3428133
|
| |
Geraldo, Eduardo
|
SPLASH Companion Companion '20: "Gradual Value-Dependent Information ..."
Gradual Value-Dependent Information Flow Control
Eduardo Geraldo
(NOVA-LINCS, Portugal; Nova University of Lisbon, Portugal)
@InProceedings{SPLASH Companion20p13,
author = {Eduardo Geraldo},
title = {Gradual Value-Dependent Information Flow Control},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3426430.3429452},
year = {2020},
}
Publisher's Version
Article: splashcomp20doc-p02-p doi:10.1145/3426430.3429452
|
| |
Gorenburg, Jacob |
SPLASH Companion Companion '20: "Design and Implementation ..."
Design and Implementation of a Gradual Verifier
Mona Zhang and Jacob Gorenburg
(Columbia University, USA; Haverford College, USA)
@InProceedings{SPLASH Companion20p44,
author = {Mona Zhang and Jacob Gorenburg},
title = {Design and Implementation of a Gradual Verifier},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {44-43},
doi = {10.1145/3426430.3428137},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p87-p doi:10.1145/3426430.3428137
|
| |
Kolak, Sophia
|
SPLASH Companion Companion '20: "Detecting Performance Patterns ..."
Detecting Performance Patterns with Deep Learning
Sophia Kolak
(Columbia University, USA)
@InProceedings{SPLASH Companion20p28,
author = {Sophia Kolak},
title = {Detecting Performance Patterns with Deep Learning},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {28-27},
doi = {10.1145/3426430.3428132},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p35-p doi:10.1145/3426430.3428132
|
| |
Lee, Gahwon
|
SPLASH Companion Companion '20: "SASIL: A Domain-Specific Language ..."
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Gahwon Lee
(University of Texas at Austin, USA)
@InProceedings{SPLASH Companion20p20,
author = {Gahwon Lee},
title = {SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {20-19},
doi = {10.1145/3426430.3428130},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p8-p doi:10.1145/3426430.3428130
|
| |
McCormack, Ian C.
|
SPLASH Companion Companion '20: "A Software Library Model for ..."
A Software Library Model for the Internet of Things
Ian C. McCormack
(University of Wisconsin-Eau Claire, USA)
@InProceedings{SPLASH Companion20p40,
author = {Ian C. McCormack},
title = {A Software Library Model for the Internet of Things},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3426430.3428136},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p79-p doi:10.1145/3426430.3428136
|
| |
Mosaner, Raphael |
SPLASH Companion Companion '20: "Machine Learning to Ease Understanding ..."
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Raphael Mosaner
(JKU Linz, Austria)
@InProceedings{SPLASH Companion20p10,
author = {Raphael Mosaner},
title = {Machine Learning to Ease Understanding of Data Driven Compiler Optimizations},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {10-9},
doi = {10.1145/3426430.3429451},
year = {2020},
}
Publisher's Version
Article: splashcomp20doc-p01-p doi:10.1145/3426430.3429451
|
| |
Oei, Reed
|
SPLASH Companion Companion '20: "Psamathe: A DSL for Safe Blockchain ..."
Psamathe: A DSL for Safe Blockchain Assets
Reed Oei
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{SPLASH Companion20p24,
author = {Reed Oei},
title = {Psamathe: A DSL for Safe Blockchain Assets},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {24-23},
doi = {10.1145/3426430.3428131},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p17-p doi:10.1145/3426430.3428131
|
| |
Rajamani, Sriram K.
|
SPLASH Companion Companion '20: "Models and Programs: Better ..."
Models and Programs: Better Together (Keynote)
Sriram K. Rajamani
(Microsoft Research, India)
@InProceedings{SPLASH Companion20p1,
author = {Sriram K. Rajamani},
title = {Models and Programs: Better Together (Keynote)},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3426430.3434070},
year = {2020},
}
Publisher's Version
Article: splashcomp20key-key1-p doi:10.1145/3426430.3434070
|
| |
Romanov, Vitaly |
SPLASH Companion Companion '20: "Evaluating Importance of Edge ..."
Evaluating Importance of Edge Types When Using Graph Neural Network for Predicting Return Types of Python Functions
Vitaly Romanov
(Innopolis University, Russia)
@InProceedings{SPLASH Companion20p36,
author = {Vitaly Romanov},
title = {Evaluating Importance of Edge Types When Using Graph Neural Network for Predicting Return Types of Python Functions},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {36-35},
doi = {10.1145/3426430.3428135},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p56-p doi:10.1145/3426430.3428135
|
| |
Soffa, Mary Lou
|
SPLASH Companion Companion '20: "Testing Deep Neural Networks ..."
Testing Deep Neural Networks (Keynote)
Mary Lou Soffa
(University of Virginia, USA)
@InProceedings{SPLASH Companion20p4,
author = {Mary Lou Soffa},
title = {Testing Deep Neural Networks (Keynote)},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {4-3},
doi = {10.1145/3426430.3434071},
year = {2020},
}
Publisher's Version
Article: splashcomp20key-key2-p doi:10.1145/3426430.3434071
|
| |
Yang, Aidan Z. H.
|
SPLASH Companion Companion '20: "SOAR: Synthesis for Open-Source ..."
SOAR: Synthesis for Open-Source API Refactoring
Aidan Z. H. Yang
(Queen's University, Canada; Carnegie Mellon University, USA)
@InProceedings{SPLASH Companion20p16,
author = {Aidan Z. H. Yang},
title = {SOAR: Synthesis for Open-Source API Refactoring},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3426430.3428129},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p4-p doi:10.1145/3426430.3428129
|
| |
Zhang, Mona
|
SPLASH Companion Companion '20: "Design and Implementation ..."
Design and Implementation of a Gradual Verifier
Mona Zhang and Jacob Gorenburg
(Columbia University, USA; Haverford College, USA)
@InProceedings{SPLASH Companion20p44,
author = {Mona Zhang and Jacob Gorenburg},
title = {Design and Implementation of a Gradual Verifier},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {44-43},
doi = {10.1145/3426430.3428137},
year = {2020},
}
Publisher's Version
Article: splashcomp20src-p87-p doi:10.1145/3426430.3428137
|