{"size": 1363, "ext": "scrbl", "max_stars_repo_path": "serval/guide/scribble/refs.scrbl", "max_stars_repo_name": "HaiyongSun/serval", "max_stars_repo_stars_event_min_datetime": "2019-09-08T04:20:38.000Z", "max_stars_repo_stars_event_max_datetime": "2022-03-27T09:31:33.000Z", "max_issues_repo_path": "serval/guide/scribble/refs.scrbl", "max_issues_repo_name": "HaiyongSun/serval", "max_issues_repo_issues_event_min_datetime": "2019-11-22T01:43:13.000Z", "max_issues_repo_issues_event_max_datetime": "2022-01-31T17:49:41.000Z", "max_forks_repo_path": "serval/guide/scribble/refs.scrbl", "max_forks_repo_name": "HaiyongSun/serval", "max_forks_repo_forks_event_min_datetime": "2019-11-19T02:19:18.000Z", "max_forks_repo_forks_event_max_datetime": "2021-09-22T11:43:39.000Z"}
{"max_stars_count": 38, "max_issues_count": 9, "max_forks_count": 10, "avg_line_length": 45.4333333333, "max_line_length": 177, "alphanum_fraction": 0.7234042553}
#lang scribble/manual

@(require scriblib/autobib)
@(provide (all-defined-out))

@(define-cite ~cite citet generate-bibliography #:style number-style)

@(abbreviate-given-names #t)

@(define nelson:hyperkernel
   (make-bib
     #:title @hyperlink["https://unsat.cs.washington.edu/papers/nelson-hyperkernel.pdf"]{Hyperkernel: Push-Button Verification of an OS Kernel}
     #:author (authors "Luke Nelson" "Helgi Sigurbjarnarson" "Kaiyuan Zhang" "Dylan Johnson" "James Bornholt" "Emina Torlak" "Xi Wang")
     #:date 2017
     #:location (proceedings-location "SOSP")))

@(define nelson:serval
   (make-bib
     #:title @hyperlink["https://unsat.cs.washington.edu/papers/nelson-serval.pdf"]{Scaling symbolic evaluation for automated verification of systems code with Serval}
     #:author (authors "Luke Nelson" "James Bornholt" "Ronghui Gu" "Andrew Baumann" "Emina Torlak" "Xi Wang")
     #:date 2019
     #:location (proceedings-location "SOSP")))

@(define sigurbjarnarson:nickel
   (make-bib
     #:title @hyperlink["https://unsat.cs.washington.edu/papers/sigurbjarnarson-nickel.pdf"]{Nickel: A Framework for Design and Verification of Information Flow Control Systems}
     #:author (authors "Helgi Sigurbjarnarson" "Luke Nelson" "Bruno Castro-Karney" "James Bornholt" "Emina Torlak" "Xi Wang")
     #:date 2018
     #:location (proceedings-location "OSDI")))
