Programming Languages

Authors and titles for September 2018

[26] arXiv:1809.02613 (cross-list from cs.IT) [pdf, other]

Title: Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez

Comments: Accepted by Formal Aspects of Computing

Journal-ref: Formal Aspects of Computing, 31(2), pp.165-206, 2019

Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

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

Title: Affine Sessions

Dimitris Mostrous, Vasco T. Vasconcelos

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 15, 2018) lmcs:4815

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

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

Title: Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Temesghen Kahsai (Amazon), German Vidal (Universitat Politecnica de Valencia)

Journal-ref: EPTCS 278, 2018

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

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

Title: Automatic Program Synthesis of Long Programs with a Learned Garbage Collector

Amit Zohar, Lior Wolf

Comments: Published at NIPS 2018

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

[30] arXiv:1809.05193 (cross-list from cs.SE) [pdf, other]

Title: Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts

Rohan Bavishi, Michael Pradel, Koushik Sen

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

[31] arXiv:1809.05859 (cross-list from cs.AR) [pdf, other]

Title: Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

Comments: 35 pages

Subjects: Hardware Architecture (cs.AR); Emerging Technologies (cs.ET); Programming Languages (cs.PL)

[32] arXiv:1809.06962 (cross-list from cs.CR) [pdf, other]

Title: Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities

Z. Berkay Celik, Earlence Fernandes, Eric Pauley, Gang Tan, Patrick McDaniel

Comments: syntax and grammar error are fixed, and IoT platforms are updated to match with the submission

Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[33] arXiv:1809.10756 (cross-list from stat.ML) [pdf, other]

Title: An Introduction to Probabilistic Programming

Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, Frank Wood

Comments: Under review at Foundations and Trends in Machine Learning

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