~/talk

PracExtractor: Extracting Configuration Good Practices from Manuals to Detect...

on YouTube 20m
Talkat USENIX ATC '20 · 2020-07-15..07-17· [devops-and-delivery, documentation]

speakers

name:Chengcheng Xiang
links:none on file
name:Haochen Huang
links:none on file
name:Andrew Yoo
links:none on file
name:Yuanyuan Zhou
links:none on file
name:Shankar Pasupathy
links:none on file

resources

video:https://youtu.be/DUoqa9835ZU
slides:none on file

summary

PracExtractor uses NLP (keyword + syntactic pattern filtering, dependency parsing, entity identification and semantic pattern matching) to turn manual sentences into formal checks and runs them against configs. From manuals it extracts 338 recommendations and generates 173 specifications; scanning 2,200 Docker images finds 1,423 violations in 853 images, reports 325 issues and gets 47 confirmed. Highlights: converts free text into checkable specs, finds many wrong defaults, identifies unchecked recommendations by source code.

AI-written summary · about

chapters (8)

  1. 0:00Intro
  2. 1:39Software release large manuals to assist sysadmins with configurations
  3. 2:39Is there any useful information that can be automatically extract from manuals?
  4. 3:58How useful are the good practices in manuais?
  5. 9:02Two challenges with PracExtractor
  6. 9:44Challenge 1: Extract good practice descriptions
  7. 13:23Accuracy of good practice extraction
  8. 16:08Evaluation of PracExtractor • Outcome of the confirmed configuration errors

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.