{
  "_preamble": "",
  "_comments": "",
  "enerj": {
    "id": "enerj",
    "type": "paper-conference",
    "author": [
      {
        "family": "Sampson",
        "given": "Adrian"
      },
      {
        "family": "Dietl",
        "given": "Werner"
      },
      {
        "family": "Fortuna",
        "given": "Emily"
      },
      {
        "family": "Gnanapragasam",
        "given": "Danushen"
      },
      {
        "family": "Ceze",
        "given": "Luis"
      },
      {
        "family": "Grossman",
        "given": "Dan"
      }
    ],
    "title": "EnerJ: approximate data types for safe and general low-power computation",
    "container-title": "ACM Conference on Programming Language Design and\n   Implementation (PLDI)",
    "issued": {
      "date-parts": [
        [
          "2011"
        ]
      ]
    },
    "_line": "docs/proposal.bib:73"
  },
  "pribots": {
    "id": "pribots",
    "type": "paper-conference",
    "author": [
      {
        "family": "Harkous",
        "given": "Hamza"
      },
      {
        "family": "Fawaz",
        "given": "Kassem"
      },
      {
        "family": "Shin",
        "given": "Kang G."
      },
      {
        "family": "Aberer",
        "given": "Karl"
      }
    ],
    "title": "PriBots: Conversational Privacy with Chatbots",
    "container-title": "Symposium on Usable Privacy and Security (SOUPS)",
    "issued": {
      "date-parts": [
        [
          "2016"
        ]
      ]
    },
    "_line": "docs/proposal.bib:80"
  },
  "botframework": {
    "id": "botframework",
    "type": "no-type",
    "author": [
      {
        "family": "Microsoft"
      }
    ],
    "title": "Bot Framework",
    "note": "<https://dev.botframework.com>",
    "_line": "docs/proposal.bib:87"
  },
  "watsonhealth": {
    "id": "watsonhealth",
    "type": "no-type",
    "author": [
      {
        "family": "IBM"
      }
    ],
    "title": "Watson Health",
    "note": "<https://www.ibm.com/watson/health/>",
    "_line": "docs/proposal.bib:93"
  },
  "wit": {
    "id": "wit",
    "type": "no-type",
    "title": "Wit",
    "note": "<https://wit.ai>",
    "_line": "docs/proposal.bib:99"
  },
  "luis": {
    "id": "luis",
    "type": "no-type",
    "author": [
      {
        "family": "Microsoft"
      }
    ],
    "title": "LUIS",
    "note": "<https://www.luis.ai>",
    "_line": "docs/proposal.bib:104"
  },
  "apiai": {
    "id": "apiai",
    "type": "no-type",
    "title": "API.AI",
    "note": "<https://api.ai>",
    "_line": "docs/proposal.bib:110"
  },
  "easyadapt": {
    "id": "easyadapt",
    "type": "paper-conference",
    "author": [
      {
        "family": "Daum&eacute;",
        "given": "Hal",
        "suffix": "III"
      }
    ],
    "title": "Frustratingly Easy Domain Adaptation",
    "container-title": "Conference of the Association for Computational Linguistics (ACL)",
    "issued": {
      "date-parts": [
        [
          "2007"
        ]
      ]
    },
    "publisher-place": "Prague, Czech Republic",
    "_line": "docs/proposal.bib:115"
  },
  "mldebt": {
    "id": "mldebt",
    "type": "paper-conference",
    "author": [
      {
        "family": "Sculley",
        "given": "D."
      },
      {
        "family": "Holt",
        "given": "Gary"
      },
      {
        "family": "Golovin",
        "given": "Daniel"
      },
      {
        "family": "Davydov",
        "given": "Eugene"
      },
      {
        "family": "Phillips",
        "given": "Todd"
      },
      {
        "family": "Ebner",
        "given": "Dietmar"
      },
      {
        "family": "Chaudhary",
        "given": "Vinay"
      },
      {
        "family": "Young",
        "given": "Michael"
      }
    ],
    "title": "Machine Learning: The High Interest Credit Card of Technical Debt",
    "container-title": "SE4ML: Software Engineering for Machine Learning",
    "issued": {
      "date-parts": [
        [
          "2014"
        ]
      ]
    },
    "_line": "docs/proposal.bib:123"
  },
  "mldebt-nips": {
    "id": "mldebt-nips",
    "type": "paper-conference",
    "author": [
      {
        "family": "Sculley",
        "given": "D."
      },
      {
        "family": "Holt",
        "given": "Gary"
      },
      {
        "family": "Golovin",
        "given": "Daniel"
      },
      {
        "family": "Davydov",
        "given": "Eugene"
      },
      {
        "family": "Phillips",
        "given": "Todd"
      },
      {
        "family": "Ebner",
        "given": "Dietmar"
      },
      {
        "family": "Chaudhary",
        "given": "Vinay"
      },
      {
        "family": "Young",
        "given": "Michael"
      },
      {
        "family": "Crespo",
        "given": "Jean-Francois"
      },
      {
        "family": "Dennison",
        "given": "Dan"
      }
    ],
    "title": "Hidden Technical Debt in Machine Learning Systems",
    "container-title": "International Conference on Neural Information Processing\n   Systems (NIPS)",
    "issued": {
      "date-parts": [
        [
          "2015"
        ]
      ]
    },
    "_line": "docs/proposal.bib:130"
  },
  "reinforcement": {
    "id": "reinforcement",
    "type": "book",
    "author": [
      {
        "family": "Sutton",
        "given": "Richard S."
      },
      {
        "family": "Barto",
        "given": "Andrew G."
      }
    ],
    "title": "Reinforcement Learning: an Introduction",
    "issued": {
      "date-parts": [
        [
          "1998"
        ]
      ]
    },
    "publisher": "MIT Press",
    "isbn": "0262193981",
    "publisher-place": "Cambridge, MA, USA",
    "_line": "docs/proposal.bib:138"
  },
  "acar": {
    "id": "acar",
    "type": "thesis",
    "genre": "phdthesis",
    "author": [
      {
        "family": "Acar",
        "given": "Umut A."
      }
    ],
    "title": "Self-adjusting Computation",
    "issued": {
      "date-parts": [
        [
          "2005"
        ]
      ]
    },
    "publisher": "Carnegie Mellon University",
    "_line": "docs/proposal.bib:147"
  },
  "gadt-xi": {
    "id": "gadt-xi",
    "type": "paper-conference",
    "author": [
      {
        "family": "Xi",
        "given": "Hongwei"
      },
      {
        "family": "Chen",
        "given": "Chiyan"
      },
      {
        "family": "Chen",
        "given": "Gang"
      }
    ],
    "title": "Guarded Recursive Datatype Constructors",
    "container-title": "ACM SIGPLAN&ndash;SIGACT Symposium on Principles of Programming Languages (POPL)",
    "issued": {
      "date-parts": [
        [
          "2003"
        ]
      ]
    },
    "_line": "docs/proposal.bib:154"
  },
  "gadt-cheney": {
    "id": "gadt-cheney",
    "type": "report",
    "author": [
      {
        "family": "Cheney",
        "given": "James"
      },
      {
        "family": "Hinze",
        "given": "Ralf"
      }
    ],
    "title": "First-Class Phantom Types",
    "publisher": "Cornell University",
    "URL": "http://hdl.handle.net/1813/5614",
    "number": "TR2003-1901",
    "_line": "docs/proposal.bib:161"
  },
  "passert": {
    "id": "passert",
    "type": "paper-conference",
    "author": [
      {
        "family": "Sampson",
        "given": "Adrian"
      },
      {
        "family": "Panchekha",
        "given": "Pavel"
      },
      {
        "family": "Mytkowicz",
        "given": "Todd"
      },
      {
        "family": "McKinley",
        "given": "Kathryn S."
      },
      {
        "family": "Grossman",
        "given": "Dan"
      },
      {
        "family": "Ceze",
        "given": "Luis"
      }
    ],
    "title": "Expressing and Verifying Probabilistic Assertions",
    "container-title": "ACM Conference on Programming Language Design and\n   Implementation (PLDI)",
    "issued": {
      "date-parts": [
        [
          "2014"
        ]
      ]
    },
    "_line": "docs/proposal.bib:169"
  },
  "decaf": {
    "id": "decaf",
    "type": "paper-conference",
    "author": [
      {
        "family": "Boston",
        "given": "Brett"
      },
      {
        "family": "Sampson",
        "given": "Adrian"
      },
      {
        "family": "Grossman",
        "given": "Dan"
      },
      {
        "family": "Ceze",
        "given": "Luis"
      }
    ],
    "title": "Probability Type Inference for Flexible Approximate Programming",
    "container-title": "ACM Conference on Object-Oriented Programming, Systems,\n   Languages, and Applications (OOPSLA)",
    "issued": {
      "date-parts": [
        [
          "2015"
        ]
      ]
    },
    "_line": "docs/proposal.bib:177"
  },
  "conrev": {
    "id": "conrev",
    "type": "paper-conference",
    "author": [
      {
        "family": "Burckhardt",
        "given": "Sebastian"
      },
      {
        "family": "Baldassin",
        "given": "Alexandro"
      },
      {
        "family": "Leijen",
        "given": "Daan"
      }
    ],
    "title": "Concurrent Programming with Revisions and Isolation Types",
    "container-title": "ACM Conference on Object-Oriented Programming, Systems,\n   Languages, and Applications (OOPSLA)",
    "issued": {
      "date-parts": [
        [
          "2010"
        ]
      ]
    },
    "_line": "docs/proposal.bib:184"
  },
  "tardis": {
    "id": "tardis",
    "type": "paper-conference",
    "author": [
      {
        "family": "Crooks",
        "given": "Natacha"
      },
      {
        "family": "Pu",
        "given": "Youer"
      },
      {
        "family": "Estrada",
        "given": "Nancy"
      },
      {
        "family": "Gupta",
        "given": "Trinabh"
      },
      {
        "family": "Alvisi",
        "given": "Lorenzo"
      },
      {
        "family": "Clement",
        "given": "Allen"
      }
    ],
    "title": "TARDiS: A Branch-and-Merge Approach To Weak Consistency",
    "container-title": "International Conference on Management of Data (SIGMOD)",
    "issued": {
      "date-parts": [
        [
          "2016"
        ]
      ]
    },
    "_line": "docs/proposal.bib:191"
  },
  "persistent": {
    "id": "persistent",
    "type": "article-journal",
    "author": [
      {
        "family": "Driscoll",
        "given": "James R."
      },
      {
        "family": "Sarnak",
        "given": "Neil"
      },
      {
        "family": "Sleator",
        "given": "Daniel D."
      },
      {
        "family": "Tarjan",
        "given": "Robert E."
      }
    ],
    "title": "Making Data Structures Persistent",
    "container-title": "Journal of Computer and System Sciences",
    "issued": {
      "date-parts": [
        [
          "1989",
          "2"
        ]
      ]
    },
    "page": "86-124",
    "page-first": "86",
    "volume": "38",
    "issue": "1",
    "_line": "docs/proposal.bib:198"
  },
  "sweet": {
    "id": "sweet",
    "type": "no-type",
    "author": [
      {
        "family": "Mozilla"
      }
    ],
    "title": "Sweet.js",
    "note": "<http://sweetjs.org>",
    "_line": "docs/proposal.bib:210"
  },
  "typescript": {
    "id": "typescript",
    "type": "no-type",
    "author": [
      {
        "family": "Microsoft"
      }
    ],
    "title": "TypeScript",
    "note": "<https://www.typescriptlang.org>",
    "_line": "docs/proposal.bib:216"
  },
  "flow": {
    "id": "flow",
    "type": "no-type",
    "author": [
      {
        "family": "Facebook"
      }
    ],
    "title": "Flow",
    "note": "<https://flowtype.org>",
    "_line": "docs/proposal.bib:222"
  },
  "mwt": {
    "id": "mwt",
    "type": "article-journal",
    "author": [
      {
        "family": "Agarwal",
        "given": "Alekh"
      },
      {
        "family": "Bird",
        "given": "Sarah"
      },
      {
        "family": "Cozowicz",
        "given": "Markus"
      },
      {
        "family": "Hoang",
        "given": "Luong"
      },
      {
        "family": "Langford",
        "given": "John"
      },
      {
        "family": "Lee",
        "given": "Stephen"
      },
      {
        "family": "Li",
        "given": "Jiaji"
      },
      {
        "family": "Melamed",
        "given": "Dan"
      },
      {
        "family": "Oshri",
        "given": "Gal"
      },
      {
        "family": "Ribas",
        "given": "Oswaldo"
      },
      {
        "family": "Sen",
        "given": "Siddhartha"
      },
      {
        "family": "Slivkins",
        "given": "Alex"
      }
    ],
    "title": "A Multiworld Testing Decision Service",
    "container-title": "CoRR",
    "issued": {
      "date-parts": [
        [
          "2016"
        ]
      ]
    },
    "URL": "http://arxiv.org/abs/1606.03966",
    "volume": "abs/1606.03966",
    "_line": "docs/proposal.bib:228"
  },
  "ifttt": {
    "id": "ifttt",
    "type": "paper-conference",
    "author": [
      {
        "family": "Quirk",
        "given": "Chris"
      },
      {
        "family": "Mooney",
        "given": "Raymond"
      },
      {
        "family": "Galley",
        "given": "Michel"
      }
    ],
    "title": "Language to Code: Learning Semantic Parsers for If-This-Then-That Recipes",
    "container-title": "Annual Meeting of the Association for Computational Linguistics (ACL)",
    "issued": {
      "date-parts": [
        [
          "2015"
        ]
      ]
    },
    "_line": "docs/proposal.bib:248"
  },
  "jif": {
    "id": "jif",
    "type": "paper-conference",
    "author": [
      {
        "family": "Myers",
        "given": "Andrew C."
      }
    ],
    "title": "JFlow: Practical Mostly-static Information Flow Control",
    "container-title": "ACM SIGPLAN&ndash;SIGACT Symposium on Principles of Programming Languages (POPL)",
    "issued": {
      "date-parts": [
        [
          "1999"
        ]
      ]
    },
    "_line": "docs/proposal.bib:255"
  }
}