Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 13)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM

9781450381796

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A software library model for the internet of things

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3428136 ◽

2020 ◽

Author(s):

Ian C. McCormack

Keyword(s):

Internet Of Things ◽

The Internet ◽

Software Library ◽

The Internet Of Things

Download Full-text

Why digital agriculture is fertile ground for software systems research (keynote)

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3434072 ◽

2020 ◽

Author(s):

Vikram S. Adve

Keyword(s):

Software Systems ◽

Systems Research ◽

Fertile Ground ◽

Digital Agriculture

Download Full-text

Consolidation: a technique for improving permissiveness of human-machine interfaces

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3428133 ◽

2020 ◽

Author(s):

Sang Heon Choi

Keyword(s):

Human Machine Interfaces

Download Full-text

Design and implementation of a gradual verifier

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3428137 ◽

2020 ◽

Author(s):

Mona Zhang ◽

Jacob Gorenburg

Keyword(s):

Design And Implementation

Download Full-text

SOAR: synthesis for open-source API refactoring

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3428129 ◽

2020 ◽

Author(s):

Aidan Z. H. Yang

Keyword(s):

Download Full-text

Testing deep neural networks (keynote)

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3434071 ◽

2020 ◽

Author(s):

Mary Lou Soffa

Keyword(s):

Neural Networks ◽

Deep Neural Networks

Download Full-text

Models and programs: better together (keynote)

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3434070 ◽

2020 ◽

Author(s):

Sriram K. Rajamani

Download Full-text

Machine learning to ease understanding of data driven compiler optimizations

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3429451 ◽

2020 ◽

Author(s):

Raphael Mosaner

Keyword(s):

Machine Learning ◽

Data Driven ◽

Compiler Optimizations

Download Full-text

Gradual value-dependent information flow control

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3429452 ◽

2020 ◽

Author(s):

Eduardo Geraldo

Keyword(s):

Flow Control ◽

Information Flow ◽

Information Flow Control

Download Full-text

SASIL: a domain-specific language for simulating declarative specifications of scheduling systems

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ◽

10.1145/3426430.3428130 ◽

2020 ◽

Author(s):

Gahwon Lee

Keyword(s):

Domain Specific Language ◽

Specific Language ◽

Domain Specific ◽

Declarative Specifications

Download Full-text