{"size": 1253, "ext": "scrbl", "max_stars_repo_path": "rosette/guide/scribble/refs.scrbl", "max_stars_repo_name": "remysucre/rosette", "max_stars_repo_stars_event_min_datetime": "2015-01-06T08:42:46.000Z", "max_stars_repo_stars_event_max_datetime": "2022-03-31T01:49:34.000Z", "max_issues_repo_path": "rosette/guide/scribble/refs.scrbl", "max_issues_repo_name": "remysucre/rosette", "max_issues_repo_issues_event_min_datetime": "2015-10-13T17:42:20.000Z", "max_issues_repo_issues_event_max_datetime": "2022-03-30T17:19:53.000Z", "max_forks_repo_path": "rosette/guide/scribble/refs.scrbl", "max_forks_repo_name": "remysucre/rosette", "max_forks_repo_forks_event_min_datetime": "2015-02-12T06:58:13.000Z", "max_forks_repo_forks_event_max_datetime": "2022-03-12T21:36:46.000Z"}
{"max_stars_count": 576, "max_issues_count": 188, "max_forks_count": 78, "avg_line_length": 43.2068965517, "max_line_length": 159, "alphanum_fraction": 0.7294493216}
#lang scribble/manual

@(require scriblib/autobib scribble/core (only-in racket match))
@(provide (all-defined-out))

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

@(abbreviate-given-names #t)

@(define rosette:onward13
   (make-bib
     #:title @hyperlink["http://homes.cs.washington.edu/~emina/pubs/rosette.onward13.pdf"]{Growing Solver-Aided Languages with Rosette}
     #:author (authors "Emina Torlak" "Rastislav Bodik")
     #:date 2013
     #:location "New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)"))

@(define rosette:pldi14
   (make-bib
    #:title @hyperlink["http://homes.cs.washington.edu/~emina/pubs/rosette.pldi14.pdf"]{A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages}
    #:author (authors "Emina Torlak" "Rastislav Bodik")
    #:date 2014
    #:location "Programming Language Design and Implementation (PLDI)"))

@(define sympro:oopsla18
   (make-bib
    #:title @hyperlink["https://unsat.cs.washington.edu/papers/bornholt-sympro.pdf"]{Finding Code That Explodes Under Symbolic Evaluation}
    #:author (authors "James Bornholt" "Emina Torlak")
    #:date 2018
    #:location "Object Oriented Programming, Systems, Languages, and Applications (OOPSLA)"))