Catálogo de publicaciones - actas de congreso
Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2020 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-4503-8179-6
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2020-11-15
Información sobre derechos de publicación
Copyright © ACM, Inc.
Cobertura temática
Tabla de contenidos
Gradual value-dependent information flow control
Eduardo Geraldo
Pp. No disponible
Design and implementation of a gradual verifier
Mona Zhang; Jacob Gorenburg
Pp. No disponible
SASIL: a domain-specific language for simulating declarative specifications of scheduling systems
Gahwon Lee
Pp. No disponible
Detecting performance patterns with deep learning
Sophia Kolak
Pp. No disponible
Consolidation: a technique for improving permissiveness of human-machine interfaces
Sang Heon Choi
Pp. No disponible
Why digital agriculture is fertile ground for software systems research (keynote)
Vikram S. Adve
Pp. No disponible
Machine learning to ease understanding of data driven compiler optimizations
Raphael Mosaner
Pp. No disponible
SOAR: synthesis for open-source API refactoring
Aidan Z. H. Yang
Pp. No disponible
Models and programs: better together (keynote)
Sriram K. Rajamani
Pp. No disponible
Evaluating importance of edge types when using graph neural network for predicting return types of Python functions
Vitaly Romanov
Pp. No disponible