Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/pldi/AbadiIM17,
  author       = {Mart{\'{\i}}n Abadi and
                  Michael Isard and
                  Derek Gordon Murray},
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {A computational model for TensorFlow: an introduction},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525.3088527},
  doi          = {10.1145/3088525.3088527},
  timestamp    = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/AbadiIM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/KocSFP17,
  author       = {Ugur Koc and
                  Parsa Saadatpanah and
                  Jeffrey S. Foster and
                  Adam A. Porter},
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {Learning a classifier for false positive error reports emitted by
                  static code analysis tools},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  pages        = {35--42},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525.3088675},
  doi          = {10.1145/3088525.3088675},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KocSFP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/MurphyGS17,
  author       = {Charlie Murphy and
                  Patrick Gray and
                  Gordon Stewart},
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {Verified perceptron convergence theorem},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525.3088673},
  doi          = {10.1145/3088525.3088673},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/MurphyGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/NandiGSMM17,
  author       = {Chandrakana Nandi and
                  Dan Grossman and
                  Adrian Sampson and
                  Todd Mytkowicz and
                  Kathryn S. McKinley},
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {Debugging probabilistic programs},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  pages        = {18--26},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525.3088564},
  doi          = {10.1145/3088525.3088564},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NandiGSMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/VieiraFFKE17,
  author       = {Tim Vieira and
                  Matthew Francis{-}Landau and
                  Nathaniel Wesley Filardo and
                  Farzad Khorasani and
                  Jason Eisner},
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {Dyna: toward a self-optimizing declarative language for machine learning
                  applications},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  pages        = {8--17},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525.3088562},
  doi          = {10.1145/3088525.3088562},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/VieiraFFKE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/ZhangSN17,
  author       = {Xin Zhang and
                  Xujie Si and
                  Mayur Naik},
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {Combining the logical and the probabilistic in program analysis},
  booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525.3088563},
  doi          = {10.1145/3088525.3088563},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ZhangSN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2017mapl,
  editor       = {Tatiana Shpeisman and
                  Justin Gottschlich},
  title        = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
                  Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
                  June 18, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3088525},
  doi          = {10.1145/3088525},
  isbn         = {978-1-4503-5071-6},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/2017mapl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}