Programming Languages

Authors and titles for August 2021

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

Title: SynCoBERT: Syntax-Guided Multi-Modal Contrastive Pre-Training for Code Representation

Xin Wang, Yasheng Wang, Fei Mi, Pingyi Zhou, Yao Wan, Xiao Liu, Li Li, Hao Wu, Jin Liu, Xin Jiang

Comments: 9 pages, 3 figures, 5 tables

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

Title: Natural Language-Guided Programming

Geert Heyman, Rafael Huysegems, Pascal Justen, Tom Van Cutsem

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

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

Title: Augmenting Decompiler Output with Learned Variable Names and Types

Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu

Comments: 17 pages to be published in USENIX Security '22

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

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

Title: On Multi-Modal Learning of Editing Source Code

Saikat Chakraborty, Baishakhi Ray

Comments: Accepted for publication in 36th IEEE/ACM conference on Automated Software Engineering (ASE-2021)

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

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

Title: Verifying C11-Style Weak Memory Libraries via Refinement

Sadegh Dalvandi, Brijesh Dongol

Comments: arXiv admin note: substantial text overlap with arXiv:2012.14133

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

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

Title: Systematic Generation of Conformance Tests for JavaScript

Blake Loring, Johannes Kinder

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

[57] arXiv:2108.07129 (cross-list from cs.AI) [pdf, other]

Title: Autoencoders as Tools for Program Synthesis

Sander de Bruin, Vadim Liventsev, Milan Petković

Comments: A dedicted website for demonstrating the principles shown in the paper is available at: this https URL Source code is available at this https URL

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

Title: Hybrid dynamical type theories for navigation

Paul Gustafson, Jared Culbertson, Daniel E. Koditschek

Comments: 6 pages, 6 figures

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Robotics (cs.RO); Category Theory (math.CT)

[59] arXiv:2108.07639 (cross-list from cs.AI) [pdf, other]

Title: Learning C to x86 Translation: An Experiment in Neural Compilation

Jordi Armengol-Estapé, Michael F.P. O'Boyle

Comments: Published in AIPLANS 2021

Journal-ref: Armengol-Estap\'e, J. and O'Boyle, M. Learning C to x86 translation: An experiment in neural compilation. In Advances in Programming Languages and Neurosymbolic Systems Workshop, 2021. URL \url{https://openreview.net/forum?id=444ug_EYXet}

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

Title: Symbolic Automatic Relations and Their Applications to SMT and CHC Solving

Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Comments: A shorter version will appear in Proceedings of SAS 2021

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

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

Title: On correctness and completeness of an n queens program

Włodzimierz Drabent

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP). 13 pages, 1 figure. A re-worked version of arXiv:1909.07479

Journal-ref: Theory and Practice of Logic Programming, Volume 22 , Issue 1 , January 2022 , pp. 37 - 50

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

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

Title: MESH: A Memory-Efficient Safe Heap for C/C++

Emanuel Q. Vintila, Philipp Zieris, Julian Horsch

Comments: Original publication in The 16th International Conference on Availability, Reliability and Security (ARES 2021)

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

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

Title: Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics

Ornela Dardha, Valentina Castiglioni

Journal-ref: EPTCS 339, 2021

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

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

Title: Bugs4Q: A Benchmark of Real Bugs for Quantum Programs

Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan

Comments: The short version of this paper will appear in the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), New Ideas and Emerging Results (NIER) track, November 15-19, 2021

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

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

Title: Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages

Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer

Comments: JSS: Special Issue on Clone Detection

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

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

Title: The Multiverse: Logical Modularity for Proof Assistants

Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

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

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

Title: The Mays and Musts of Concurrent Strategies

Simon Castellan (CELTIQUE, IRISA), Pierre Clairambault (LIP, PLUME), Glynn Winskel

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

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

Title: On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

Gopalan Nadathur, Mary Southern

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

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

Title: On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)

Andrei P. Nemytykh (Program Systems Institute of Russian Academy of Sciences)

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Learning GraphQL Query Costs (Extended Version)

Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim A. Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern

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

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

Title: Scalable and Modular Robustness Analysis of Deep Neural Networks

Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo

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

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

Title: Enterprise Architecture Model Transformation Engine

Erik Heiland, Peter Hillmann, Andreas Karcher

Journal-ref: International Conference on Operations Research and Enterprise Systems (ICORES) 2021

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Programming Languages (cs.PL); Software Engineering (cs.SE); Systems and Control (eess.SY)

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

Title: Learning Highly Recursive Input Grammars

Neil Kulkarni, Caroline Lemieux, Koushik Sen

Journal-ref: In Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)

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

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

Title: Learning to Synthesize Programs as Interpretable and Generalizable Policies

Dweep Trivedi, Jesse Zhang, Shao-Hua Sun, Joseph J. Lim

Comments: NeurIPS 2021. 53 pages, 16 figures, 12 tables. Website at this https URL

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

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

Title: Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

Hernán Ponce-de-León, Johannes Kinder

Journal-ref: IEEE Symposium on Security and Privacy, 2022

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