SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume - researchr publication

researchr

You are not signed in
Sign in
Sign up

Hridesh Rajan, editor, SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume. ACM, 2020. [doi]

Conference: SPLASH2020

Abstract is missing.

Models and programs: better together (keynote)Sriram K. Rajamani. 1 [doi]

Testing deep neural networks (keynote)Mary Lou Soffa. 2 [doi]

Why digital agriculture is fertile ground for software systems research (keynote)Vikram S. Adve. 3 [doi]

Machine learning to ease understanding of data driven compiler optimizationsRaphael Mosaner. 4-6 [doi]

Gradual value-dependent information flow controlEduardo Geraldo. 7-9 [doi]

SOAR: synthesis for open-source API refactoringAidan Z. H. Yang. 10-12 [doi]

SASIL: a domain-specific language for simulating declarative specifications of scheduling systemsGahwon Lee. 13-15 [doi]

Psamathe: a DSL for safe blockchain assetsReed Oei. 16-18 [doi]

Detecting performance patterns with deep learningSophia Kolak. 19-21 [doi]

Consolidation: a technique for improving permissiveness of human-machine interfacesSang Heon Choi. 22-24 [doi]

Evaluating importance of edge types when using graph neural network for predicting return types of Python functionsVitaly Romanov. 25-27 [doi]

A software library model for the internet of thingsIan C. McCormack. 28-30 [doi]

Design and implementation of a gradual verifierMona Zhang, Jacob Gorenburg. 31-33 [doi]

runs on WebDSL