Programming Languages

Authors and titles for October 2018

[51] arXiv:1810.11530 (cross-list from cs.LG) [pdf, other]

Title: Automatic differentiation in ML: Where we are and where we should be going

Bart van Merriënboer, Olivier Breuleux, Arnaud Bergeron, Pascal Lamblin

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Machine Learning (stat.ML)

[52] arXiv:1810.12041 (cross-list from cs.LO) [pdf, other]

Title: SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

Mikhail R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Comments: 4 pages

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[53] arXiv:1810.13432 (cross-list from cs.DC) [pdf, other]

Title: Making root cause analysis feasible for large code bases: a solution approach for a climate model

Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)