Programming Languages

Authors and titles for April 2022

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

Title: RL4ReAl: Reinforcement Learning for Register Allocation

S. VenkataKeerthy, Siddharth Jain, Anilava Kundu, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta

Comments: Published in CC'23

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

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

Title: Compositional Generalization and Decomposition in Neural Program Synthesis

Kensen Shi, Joey Hong, Manzil Zaheer, Pengcheng Yin, Charles Sutton

Comments: Published at the Deep Learning for Code (DL4C) Workshop at ICLR 2022

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

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

Title: A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on

Tom Hirschowitz (LAMA), Ambroise Lafont

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

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

Title: About Opposition and Duality in Paraconsistent Type Theory

Juan C. Agudelo-Agudelo (Universidad de Antioquia), Andrés Sicard-Ramírez (Universidad EAFIT)

Comments: In Proceedings LSFA 2021, arXiv:2204.03415

Journal-ref: EPTCS 357, 2022, pp. 25-37

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

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

Title: Landmarks and Regions: A Robust Approach to Data Extraction

Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza

Comments: To be published at PLDI,2022

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

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

Title: A note on occur-check (extended report)

Włodzimierz Drabent

Comments: 21 pages. Extended version of arXiv:2109.07914 in "Proceedings 37th ICLP (Technical Communications)". This version: corrections, extensions, simplifications

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

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

Title: Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar

Yaojie Hu, Xingjian Shi, Qiang Zhou, Lee Pike

Comments: ICLR 2022 Deep Learning for Code workshop

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

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

Title: Example-based Synthesis of Static Analysis Rules

Pranav Garg, Srinivasan Sengamedu SHS

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

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

Title: On Distribution Shift in Learning-based Bug Detectors

Jingxuan He, Luca Beurer-Kellner, Martin Vechev

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

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

Title: An Exploratory Study on Code Attention in BERT

Rishab Sharma, Fuxiang Chen, Fatemeh Fard, David Lo

Comments: Accepted in ICPC 2022

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

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

Title: GypSum: Learning Hybrid Representations for Code Summarization

Yu Wang, Yu Dong, Xuesong Lu, Aoying Zhou

Comments: 12 pages, 6 figures, 6 tables

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL); Social and Information Networks (cs.SI)