Workshop MAPL 2017 – Author Index

A E F G I K M N P S V Z

	Abadi, Martín	MAPL '17: "A Computational Model for ..." A Computational Model for TensorFlow: An Introduction Martín Abadi, Michael Isard, and Derek G. Murray (Google Brain, USA) @InProceedings{MAPL17p1, author = {Martín Abadi and Michael Isard and Derek G. Murray}, title = {A Computational Model for TensorFlow: An Introduction}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid2-p (type: Full Paper (10 pages)) doi:
	Eisner, Jason	MAPL '17: "Dyna: Toward a Self-Optimizing ..." Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner (Johns Hopkins University, USA; Rice University, USA) @InProceedings{MAPL17p11, author = {Tim Vieira and Matthew Francis-Landau and Nathaniel Wesley Filardo and Farzad Khorasani and Jason Eisner}, title = {Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid9-p (type: Full Paper (10 pages)) doi:
	Filardo, Nathaniel Wesley	MAPL '17: "Dyna: Toward a Self-Optimizing ..." Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner (Johns Hopkins University, USA; Rice University, USA) @InProceedings{MAPL17p11, author = {Tim Vieira and Matthew Francis-Landau and Nathaniel Wesley Filardo and Farzad Khorasani and Jason Eisner}, title = {Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid9-p (type: Full Paper (10 pages)) doi:
	Foster, Jeffrey S.	MAPL '17: "Learning a Classifier for ..." Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, and Adam A. Porter (University of Maryland at College Park, USA) @InProceedings{MAPL17p41, author = {Ugur Koc and Parsa Saadatpanah and Jeffrey S. Foster and Adam A. Porter}, title = {Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid6-p (type: Full Paper (10 pages)) doi:
	Francis-Landau, Matthew	MAPL '17: "Dyna: Toward a Self-Optimizing ..." Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner (Johns Hopkins University, USA; Rice University, USA) @InProceedings{MAPL17p11, author = {Tim Vieira and Matthew Francis-Landau and Nathaniel Wesley Filardo and Farzad Khorasani and Jason Eisner}, title = {Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid9-p (type: Full Paper (10 pages)) doi:
	Gray, Patrick	MAPL '17: "Verified Perceptron Convergence ..." Verified Perceptron Convergence Theorem Charlie Murphy, Patrick Gray, and Gordon Stewart (Princeton University, USA; Ohio University, USA) @InProceedings{MAPL17p51, author = {Charlie Murphy and Patrick Gray and Gordon Stewart}, title = {Verified Perceptron Convergence Theorem}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid4-p (type: Full Paper (10 pages)) doi:
	Grossman, Dan	MAPL '17: "Debugging Probabilistic Programs ..." Debugging Probabilistic Programs Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinley (University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA) @InProceedings{MAPL17p21, author = {Chandrakana Nandi and Dan Grossman and Adrian Sampson and Todd Mytkowicz and Kathryn S. McKinley}, title = {Debugging Probabilistic Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid3-p (type: Full Paper (10 pages)) doi:
	Isard, Michael	MAPL '17: "A Computational Model for ..." A Computational Model for TensorFlow: An Introduction Martín Abadi, Michael Isard, and Derek G. Murray (Google Brain, USA) @InProceedings{MAPL17p1, author = {Martín Abadi and Michael Isard and Derek G. Murray}, title = {A Computational Model for TensorFlow: An Introduction}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid2-p (type: Full Paper (10 pages)) doi:
	Khorasani, Farzad	MAPL '17: "Dyna: Toward a Self-Optimizing ..." Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner (Johns Hopkins University, USA; Rice University, USA) @InProceedings{MAPL17p11, author = {Tim Vieira and Matthew Francis-Landau and Nathaniel Wesley Filardo and Farzad Khorasani and Jason Eisner}, title = {Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid9-p (type: Full Paper (10 pages)) doi:
	Koc, Ugur	MAPL '17: "Learning a Classifier for ..." Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, and Adam A. Porter (University of Maryland at College Park, USA) @InProceedings{MAPL17p41, author = {Ugur Koc and Parsa Saadatpanah and Jeffrey S. Foster and Adam A. Porter}, title = {Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid6-p (type: Full Paper (10 pages)) doi:
	McKinley, Kathryn S.	MAPL '17: "Debugging Probabilistic Programs ..." Debugging Probabilistic Programs Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinley (University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA) @InProceedings{MAPL17p21, author = {Chandrakana Nandi and Dan Grossman and Adrian Sampson and Todd Mytkowicz and Kathryn S. McKinley}, title = {Debugging Probabilistic Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid3-p (type: Full Paper (10 pages)) doi:
	Murphy, Charlie	MAPL '17: "Verified Perceptron Convergence ..." Verified Perceptron Convergence Theorem Charlie Murphy, Patrick Gray, and Gordon Stewart (Princeton University, USA; Ohio University, USA) @InProceedings{MAPL17p51, author = {Charlie Murphy and Patrick Gray and Gordon Stewart}, title = {Verified Perceptron Convergence Theorem}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid4-p (type: Full Paper (10 pages)) doi:
	Murray, Derek G.	MAPL '17: "A Computational Model for ..." A Computational Model for TensorFlow: An Introduction Martín Abadi, Michael Isard, and Derek G. Murray (Google Brain, USA) @InProceedings{MAPL17p1, author = {Martín Abadi and Michael Isard and Derek G. Murray}, title = {A Computational Model for TensorFlow: An Introduction}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid2-p (type: Full Paper (10 pages)) doi:
	Mytkowicz, Todd	MAPL '17: "Debugging Probabilistic Programs ..." Debugging Probabilistic Programs Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinley (University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA) @InProceedings{MAPL17p21, author = {Chandrakana Nandi and Dan Grossman and Adrian Sampson and Todd Mytkowicz and Kathryn S. McKinley}, title = {Debugging Probabilistic Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid3-p (type: Full Paper (10 pages)) doi:
	Naik, Mayur	MAPL '17: "Combining the Logical and ..." Combining the Logical and the Probabilistic in Program Analysis Xin Zhang, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Pennsylvania, USA) @InProceedings{MAPL17p31, author = {Xin Zhang and Xujie Si and Mayur Naik}, title = {Combining the Logical and the Probabilistic in Program Analysis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid8-p (type: Full Paper (10 pages)) doi:
	Nandi, Chandrakana	MAPL '17: "Debugging Probabilistic Programs ..." Debugging Probabilistic Programs Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinley (University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA) @InProceedings{MAPL17p21, author = {Chandrakana Nandi and Dan Grossman and Adrian Sampson and Todd Mytkowicz and Kathryn S. McKinley}, title = {Debugging Probabilistic Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid3-p (type: Full Paper (10 pages)) doi:
	Porter, Adam A.	MAPL '17: "Learning a Classifier for ..." Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, and Adam A. Porter (University of Maryland at College Park, USA) @InProceedings{MAPL17p41, author = {Ugur Koc and Parsa Saadatpanah and Jeffrey S. Foster and Adam A. Porter}, title = {Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid6-p (type: Full Paper (10 pages)) doi:
	Saadatpanah, Parsa	MAPL '17: "Learning a Classifier for ..." Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, and Adam A. Porter (University of Maryland at College Park, USA) @InProceedings{MAPL17p41, author = {Ugur Koc and Parsa Saadatpanah and Jeffrey S. Foster and Adam A. Porter}, title = {Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid6-p (type: Full Paper (10 pages)) doi:
	Sampson, Adrian	MAPL '17: "Debugging Probabilistic Programs ..." Debugging Probabilistic Programs Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, and Kathryn S. McKinley (University of Washington, USA; Cornell University, USA; Microsoft Research, USA; Google, USA) @InProceedings{MAPL17p21, author = {Chandrakana Nandi and Dan Grossman and Adrian Sampson and Todd Mytkowicz and Kathryn S. McKinley}, title = {Debugging Probabilistic Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid3-p (type: Full Paper (10 pages)) doi:
	Si, Xujie	MAPL '17: "Combining the Logical and ..." Combining the Logical and the Probabilistic in Program Analysis Xin Zhang, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Pennsylvania, USA) @InProceedings{MAPL17p31, author = {Xin Zhang and Xujie Si and Mayur Naik}, title = {Combining the Logical and the Probabilistic in Program Analysis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid8-p (type: Full Paper (10 pages)) doi:
	Stewart, Gordon	MAPL '17: "Verified Perceptron Convergence ..." Verified Perceptron Convergence Theorem Charlie Murphy, Patrick Gray, and Gordon Stewart (Princeton University, USA; Ohio University, USA) @InProceedings{MAPL17p51, author = {Charlie Murphy and Patrick Gray and Gordon Stewart}, title = {Verified Perceptron Convergence Theorem}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid4-p (type: Full Paper (10 pages)) doi:
	Vieira, Tim	MAPL '17: "Dyna: Toward a Self-Optimizing ..." Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner (Johns Hopkins University, USA; Rice University, USA) @InProceedings{MAPL17p11, author = {Tim Vieira and Matthew Francis-Landau and Nathaniel Wesley Filardo and Farzad Khorasani and Jason Eisner}, title = {Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid9-p (type: Full Paper (10 pages)) doi:
	Zhang, Xin	MAPL '17: "Combining the Logical and ..." Combining the Logical and the Probabilistic in Program Analysis Xin Zhang, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Pennsylvania, USA) @InProceedings{MAPL17p31, author = {Xin Zhang and Xujie Si and Mayur Naik}, title = {Combining the Logical and the Probabilistic in Program Analysis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: pldiws17maplmain-maplmainid8-p (type: Full Paper (10 pages)) doi:

23 authors

proc time: 0.03