Скачать
Implementing First-Class Continuations by Source to Source Translation - Arjun Guha - PLISS 2019
Автор: PLISS
Загружено: 2019-06-06
Просмотров: 404
Описание:
We will study the kinds of problems that system configuration languages (e.g., Puppet and Chef) are designed to solve, illustrate their strengths and weaknesses, and walk through the design and implementation of verification and program-repair tools for configuration languages. We will talk about how to mechanically distill a large, real-world configuration language into a simpler language that is amenable for analysis; we will discuss tradeoffs between accuracy and complexity in analysis design; and we will present how to turn our problem into queries for an SMT solver.
Slides: http://plasma-umass.org/pliss2019/
Part of PLISS 2019: https://pliss2019.github.io/
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
