Programming Languages

Authors and titles for September 2018

[1] arXiv:1809.00821 [pdf, other]

Title: The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

Comments: 19 pages, 1 figure, 2 tables

Subjects: Programming Languages (cs.PL)

[2] arXiv:1809.00959 [pdf, other]

Title: Translating Xd-C programs to MSVL programs

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao

Subjects: Programming Languages (cs.PL)

[3] arXiv:1809.00976 [pdf, other]

Title: Language Interoperability in Control Network Programming

Kostadin Kratchanov, Efe Ergün

Comments: 12 pages

Journal-ref: Int. J. of Science and Engineering Investigation, vol. 7, issue 78, Jul. 2018, 79 - 90

Subjects: Programming Languages (cs.PL)

[4] arXiv:1809.01427 [pdf, other]

Title: Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

Giuseppe Castagna

Comments: This is a corrected version of the paper arXiv:1809.01427v7 published originally on Feb. 13, 2020

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (February 22, 2022) lmcs:4809

Subjects: Programming Languages (cs.PL)

[5] arXiv:1809.01955 [pdf, other]

Title: Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints

Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri

Subjects: Programming Languages (cs.PL)

[6] arXiv:1809.02161 [pdf, other]

Title: Future Directions for Optimizing Compilers

Nuno P. Lopes, John Regehr

Subjects: Programming Languages (cs.PL)

[7] arXiv:1809.02283 [pdf, other]

Title: Relational Program Synthesis

Yuepeng Wang, Xinyu Wang, Isil Dillig

Subjects: Programming Languages (cs.PL)

[8] arXiv:1809.03252 [pdf, other]

Title: Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures

Satoshi Egi

Comments: 14 pages, Scheme and Functional Programming Workshop 2018

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

[9] arXiv:1809.03981 [pdf, other]

Title: Vandal: A Scalable Security Analysis Framework for Smart Contracts

Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, Bernhard Scholz

Comments: 28 pages, 11 figures

Subjects: Programming Languages (cs.PL)

[10] arXiv:1809.04059 [pdf, other]

Title: Neural-Augmented Static Analysis of Android Communication

Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau

Comments: Appears in Proceedings of the 2018 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

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

[11] arXiv:1809.04151 [pdf, other]

Title: Feature-Specific Profiling

Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

[12] arXiv:1809.04193 [pdf, other]

Title: Faster Variational Execution with Transparent Bytecode Transformation

Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[13] arXiv:1809.04209 [pdf, other]

Title: Bidirectional Evaluation with Direct Manipulation

Mikaël Mayer, Viktor Kunčak, Ravi Chugh

Comments: OOPSLA 2018 Paper + Supplementary Appendix

Subjects: Programming Languages (cs.PL)

[14] arXiv:1809.04676 [pdf, other]

Title: Improved Basic Block Reordering

Andy Newell, Sergey Pupyrev

Comments: Published in IEEE Transactions on Computers

Subjects: Programming Languages (cs.PL)

[15] arXiv:1809.04770 [pdf, other]

Title: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Emanuele De Angelis (DEC, University "G. d'Annunzio" of Chieti-Pescara, Pescara, Italy), Fabio Fioravanti (DEC, University "G. d'Annunzio" of Chieti-Pescara, Pescara, Italy), Adrián Palacios (MiST, DSIC, Universitat Politècnica de València, València, Spain), Alberto Pettorossi (University of Roma Tor Vergata, Roma, Italy), Maurizio Proietti (CNR-IASI, Roma, Italy)

Comments: In Proceedings HCVS 2018, arXiv:1809.04554

Journal-ref: EPTCS 278, 2018, pp. 19-26

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

[16] arXiv:1809.05649 [pdf, other]

Title: Gradual Session Types

Atsushi Igarashi (1), Peter Thiemann (2), Yuya Tsuda (1), Vasco T. Vasconcelos (3), Philip Wadler (4) ((1) Kyoto University, Japan, (2) University of Freiburg, Germany, (3) University of Lisbon, Portugal, (4) University of Edinburgh, Scotland)

Comments: Preprint of an article to appear in Journal of Functional Programming

Journal-ref: J. Funct. Prog. 29 (2019) e17

Subjects: Programming Languages (cs.PL)

[17] arXiv:1809.05771 [pdf, other]

Title: Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

Joaquín Arias, Manuel Carro

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[18] arXiv:1809.06274 [pdf, other]

Title: FormuLog: Datalog for static analysis involving logical formulae

Aaron Bembenek, Stephen Chong

Comments: Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms 2018

Subjects: Programming Languages (cs.PL)

[19] arXiv:1809.06336 [pdf, other]

Title: Verification of High-Level Transformations with Inductive Refinement Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski

Subjects: Programming Languages (cs.PL)

[20] arXiv:1809.07080 [pdf, other]

Title: On the Maintenance of Classic Modula-2 Compilers

Benjamin Kowarsch

Subjects: Programming Languages (cs.PL)

[21] arXiv:1809.07444 [pdf, other]

Title: DynaSOAr: Accelerating Single-Method Multiple-Objects Applications on GPUs

Matthias Springer

Comments: ACM Student Research Competition, Grand Finals Submission, Graduate Category

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

[22] arXiv:1809.07897 [pdf, other]

Title: Modalities, Cohesion, and Information Flow

G. A. Kavvos

Journal-ref: G. A. Kavvos. 2019. Modalities, Cohesion, and Information Flow. Proc. ACM Program. Lang. 3, POPL, Article 20 (January 2019), 29 pages

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[23] arXiv:1809.09310 [pdf, other]

Title: Scenic: A Language for Scenario Specification and Scene Generation

Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Comments: 41 pages, 36 figures. Full version of a PLDI 2019 paper (extending UC Berkeley EECS Department Tech Report No. UCB/EECS-2018-8)

Subjects: Programming Languages (cs.PL); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[24] arXiv:1809.09387 [pdf, other]

Title: HSTREAM: A directive-based language extension for heterogeneous stream computing

Suejb Memeti, Sabri Pllana

Comments: Preprint, 21st IEEE International Conference on Computational Science and Engineering (CSE 2018)

Subjects: Programming Languages (cs.PL)

[25] arXiv:1809.09749 [pdf, other]

Title: Skeletal Semantics and their Interpretations

Martin Bodin, Philippa Gardner, Thomas Jensen, Alan Schmitt

Comments: 31 pages, POPL, article 44

Journal-ref: Proceedings of the ACM on Programming Languages 3, POPL (January 2019)

Subjects: Programming Languages (cs.PL)

[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)