default search action

combined dblp search
author search
venue search
publication search

ask others

1st MAPL@PLDI 2017: Barcelona, Spain

> Home > Conferences and Workshops > PLDI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2017mapl
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2017mapl
Tatiana Shpeisman, Justin Gottschlich:
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain, June 18, 2017. ACM 2017, ISBN 978-1-4503-5071-6

Languages and Frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AbadiIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AbadiIM17
Martín Abadi, Michael Isard, Derek Gordon Murray:
A computational model for TensorFlow: an introduction. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/VieiraFFKE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/VieiraFFKE17
Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner:
Dyna: toward a self-optimizing declarative language for machine learning applications. 8-17

Debugging, Analysis, and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NandiGSMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NandiGSMM17
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley:
Debugging probabilistic programs. 18-26
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZhangSN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZhangSN17
Xin Zhang, Xujie Si, Mayur Naik:
Combining the logical and the probabilistic in program analysis. 27-34
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KocSFP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KocSFP17
Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam A. Porter:
Learning a classifier for false positive error reports emitted by static code analysis tools. 35-42
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MurphyGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MurphyGS17
Charlie Murphy, Patrick Gray, Gordon Stewart:
Verified perceptron convergence theorem. 43-50

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.