@string{pldi = {{ACM} Conference on Programming Language Design and
    Implementation (PLDI)}}

@string{pepm = {{ACM SIGPLAN} Workshop on Partial Evaluation and Program
    Manipulation (PEPM)}}

@string{oopsla = {{ACM} Conference on Object-Oriented Programming, Systems,
    Languages, and Applications (OOPSLA)}}

@string{gpce = {International Conference on Generative Programming and
    Component Engineering (GPCE)}}

@string{ppopp = {{ACM SIGPLAN} Symposium on Principles and Practice of Parallel
    Programming (PPoPP)}}

@string{flops = {International Symposium on Functional and Logic Programming
    (FLOPS)}}

@string{isca = {International Symposium on Computer Architecture (ISCA)}}

@string{ieeedandt = {IEEE Design \& Test}}

@string{icfp = {{ACM SIGPLAN} International Conference on Functional
    Programming (ICFP)}}

@string{esop = {European Symposium on Programming (ESOP)}}

@string{siggraph = {SIGGRAPH}}

@string{ghardware = {{ACM} {SIGGRAPH/EUROGRAPHICS} Conference on Graphics
    Hardware}}

@string{sc = {{ACM/IEEE} Conference on Supercomputing}}

@string{ecoop = {European conference on Object-Oriented Programming (ECOOP)}}

@string{popl = {{ACM SIGPLAN--SIGACT} Symposium on Principles of Programming Languages (POPL)}}

@string{siggraphasia = {SIGGRAPH Asia}}

@string{ijhpca = {International Journal of High Performance Computing Applications}}

@string{jfp = {Journal of Functional Programming}}

@string{tog = {ACM Transactions on Graphics}}

@string{cacm = {Communications of the ACM}}

@string{asplos = {International Conference on Architectural Support for
    Programming Languages and Operating Systems (ASPLOS)}}

@string{fhpc = {Workshop on Functional High-Performance Computing (FHPC)}}

@string{pact = {International Conference on Parallel Architectures and
    Compilation Techniques (PACT)}}

@string{array = {International Workshop on Libraries, Languages, and Compilers
    for Array Programming (ARRAY)}}

@string{dac = {Design Automation Conference (DAC)}}

@string{micro = {{IEEE/ACM} International Symposium on Microarchitecture
    (MICRO)}}

@string{tocs = {ACM Transactions on Computer Systems (TOCS)}}

@string{hpca = {International Symposium on High-Performance Computer
    Architecture (HPCA)}}

@string{cal = {IEEE Computer Architecture Letters}}


@inproceedings{enerj,
 author = {Sampson, Adrian and Dietl, Werner and Fortuna, Emily and Gnanapragasam, Danushen and Ceze, Luis and Grossman, Dan},
 title = {{EnerJ}: approximate data types for safe and general low-power computation},
 booktitle = pldi,
 year = {2011}
}

@inproceedings {pribots,
    author = {Hamza Harkous and Kassem Fawaz and Kang G. Shin and Karl Aberer},
    title = {{PriBots}: Conversational Privacy with Chatbots},
    booktitle = {Symposium on Usable Privacy and Security (SOUPS)},
    year = {2016},
}

@misc{botframework,
    author = {Microsoft},
    title = {{Bot Framework}},
    note = {\url{https://dev.botframework.com}},
}

@misc{watsonhealth,
    author = {IBM},
    title = {{Watson Health}},
    note = {\url{https://www.ibm.com/watson/health/}},
}

@misc{wit,
    title = {Wit},
    note = {\url{https://wit.ai}},
}

@misc{luis,
    author = {Microsoft},
    title = {{LUIS}},
    note = {\url{https://www.luis.ai}},
}

@misc{apiai,
    title = {{API.AI}},
    note = {\url{https://api.ai}},
}

@InProceedings{easyadapt,
    author =       {Daum\'e, III, Hal},
    title =        {Frustratingly Easy Domain Adaptation},
    booktitle = {Conference of the Association for Computational Linguistics (ACL)},
    year =         {2007},
    address =      {Prague, Czech Republic},
}

@inproceedings{mldebt,
title = {Machine Learning: The High Interest Credit Card of Technical Debt},
author  = {D. Sculley and Gary Holt and Daniel Golovin and Eugene Davydov and Todd Phillips and Dietmar Ebner and Vinay Chaudhary and Michael Young},
year  = 2014,
booktitle = {SE4ML: Software Engineering for Machine Learning}
}

@inproceedings{mldebt-nips,
 author = {Sculley, D. and Holt, Gary and Golovin, Daniel and Davydov, Eugene and Phillips, Todd and Ebner, Dietmar and Chaudhary, Vinay and Young, Michael and Crespo, Jean-Francois and Dennison, Dan},
 title = {Hidden Technical Debt in Machine Learning Systems},
 booktitle = {International Conference on Neural Information Processing
     Systems (NIPS)},
 year = {2015},
}

@book{reinforcement,
 author = {Sutton, Richard S. and Barto, Andrew G.},
 title = {Reinforcement Learning: an Introduction},
 year = {1998},
 isbn = {0262193981},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
}

@phdthesis{acar,
 author = {Acar, Umut A.},
 title = {Self-adjusting Computation},
 year = {2005},
 school = {Carnegie Mellon University},
}

@inproceedings{gadt-xi,
 author = {Xi, Hongwei and Chen, Chiyan and Chen, Gang},
 title = {Guarded Recursive Datatype Constructors},
 booktitle = popl,
 year = {2003},
}

@techreport{gadt-cheney,
    author = {Cheney, James and Hinze, Ralf},
    title = {First-Class Phantom Types},
    number = {TR2003-1901},
    url = {http://hdl.handle.net/1813/5614},
    institution = {Cornell University},
}

@inproceedings{passert,
    author = {Adrian Sampson and Pavel Panchekha and Todd Mytkowicz and
        Kathryn S. McKinley and Dan Grossman and Luis Ceze},
    title = {Expressing and Verifying Probabilistic Assertions},
    booktitle = pldi,
    year = {2014},
}

@inproceedings{decaf,
    author = {Brett Boston and Adrian Sampson and Dan Grossman and Luis Ceze},
    title = {Probability Type Inference for Flexible Approximate Programming},
    booktitle = oopsla,
    year = {2015},
}

@inproceedings{conrev,
 author = {Burckhardt, Sebastian and Baldassin, Alexandro and Leijen, Daan},
 title = {Concurrent Programming with Revisions and Isolation Types},
 booktitle = oopsla,
 year = {2010},
}

@inproceedings{tardis,
 author = {Crooks, Natacha and Pu, Youer and Estrada, Nancy and Gupta, Trinabh and Alvisi, Lorenzo and Clement, Allen},
 title = {{TARDiS}: A Branch-and-Merge Approach To Weak Consistency},
 booktitle = {International Conference on Management of Data (SIGMOD)},
 year = {2016},
}

@article{persistent,
 author = {Driscoll, James R. and Sarnak, Neil and Sleator, Daniel D. and Tarjan, Robert E.},
 title = {Making Data Structures Persistent},
 journal = {Journal of Computer and System Sciences},
 issue_date = {February 1989},
 volume = {38},
 number = {1},
 month = feb,
 year = {1989},
 pages = {86--124},
}

@misc{sweet,
    author = {Mozilla},
    title = {Sweet.js},
    note = {\url{http://sweetjs.org}},
}

@misc{typescript,
    author = {Microsoft},
    title = {TypeScript},
    note = {\url{https://www.typescriptlang.org}},
}

@misc{flow,
    author = {Facebook},
    title = {Flow},
    note = {\url{https://flowtype.org}},
}

@article{mwt,
  author    = {Alekh Agarwal and
               Sarah Bird and
               Markus Cozowicz and
               Luong Hoang and
               John Langford and
               Stephen Lee and
               Jiaji Li and
               Dan Melamed and
               Gal Oshri and
               Oswaldo Ribas and
               Siddhartha Sen and
               Alex Slivkins},
  title     = {A Multiworld Testing Decision Service},
  journal   = {CoRR},
  volume    = {abs/1606.03966},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.03966},
}

@inproceedings{ifttt,
    author = {Chris Quirk and Raymond Mooney and Michel Galley},
    title = {Language to Code: Learning Semantic Parsers for If-This-Then-That Recipes},
    year = {2015},
    booktitle = {Annual Meeting of the Association for Computational Linguistics (ACL)},
}

@inproceedings{jif,
 author = {Myers, Andrew C.},
 title = {{JFlow}: Practical Mostly-static Information Flow Control},
 booktitle = popl,
 year = {1999},
}