Programming Languages

Authors and titles for cs.PL in Mar 2024, skipping first 50

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

Title: CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text

Authors: Zhenru Lin, Yiqun Yao, Yang Yuan

Comments: 10 pages, 5 figures

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

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

Title: AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning

Authors: Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan

Comments: Published in ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

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

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

Title: Automated Software Verification of Hyperliveness

Authors: Raven Beutner

Comments: TACAS 2024

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

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

Title: IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators

Authors: Indraneil Paul, Goran Glavaš, Iryna Gurevych

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

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

Title: Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction

Authors: Abdoulaye Gamatié (LIRMM | ADAC), Yuyang Wang (LIRMM | ADAC)

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

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

Title: QRscript specification

Authors: Stefano Scanzio, Matteo Rosani, Mattia Scamuzzi, Gianluca Cena

Comments: Specification document, 13 pages

Subjects: Networking and Internet Architecture (cs.NI); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

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

Title: QRtree -- Decision Tree dialect specification of QRscript

Authors: Stefano Scanzio, Matteo Rosani, Mattia Scamuzzi, Gianluca Cena

Comments: Specification document, 32 pages

Subjects: Networking and Internet Architecture (cs.NI); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

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

Title: Realizability in Semantics-Guided Synthesis Done Eagerly

Authors: Roland Meyer, Jakob Tepe, Sebastian Wolff

Comments: 47 pages, 16 figures

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

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

Title: A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics

Authors: Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas

Comments: Published in ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

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

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

Title: DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models

Authors: Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff

Comments: @2024 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Subjects: Robotics (cs.RO); Programming Languages (cs.PL)

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

Title: A bargain for mergesorts (functional pearl) -- How to prove your mergesort correct and stable, almost for free

Authors: Cyril Cohen, Kazuhiko Sakaguchi

Comments: The supplementary material is available at this https URL

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

[62]  arXiv:2403.10086 (cross-list from cs.SE) [pdf, ps, other]

Title: Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties

Authors: Denis Schwachhofer, Peter Domanski, Steffen Becker, Stefan Wagner, Matthias Sauer, Dirk Pflüger, Ilia Polian

Comments: Testmethoden und Zuverl\"assigkeit von Schaltungen und Systemen, TuZ 2024

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Emerging Technologies (cs.ET); Programming Languages (cs.PL)

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

Title: NLP Verification: Towards a General Methodology for Certifying Robustness

Authors: Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: Programming Frameworks for Differential Privacy

Authors: Marco Gaboardi, Michael Hay, Salil Vadhan

Comments: To appear as a chapter in the book "Differential Privacy for Artificial Intelligence," edited by Ferdinando Fioretto and Pascal van Hentenryck and to be published by now publishers

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

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

Title: Data is all you need: Finetuning LLMs for Chip Design via an Automated design-data augmentation framework

Authors: Kaiyan Chang, Kun Wang, Nan Yang, Ying Wang, Dantong Jin, Wenlong Zhu, Zhirong Chen, Cangyuan Li, Hao Yan, Yunhao Zhou, Zhuoliang Zhao, Yuan Cheng, Yudong Pan, Yiqi Liu, Mengdi Wang, Shengwen Liang, yinhe han, Huawei Li, Xiaowei Li

Comments: Accepted by DAC 2024; please note that this is not the final camera-ready version

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

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

Title: Pattern-Based Peephole Optimizations with Java JIT Tests

Authors: Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric

Comments: 12 pages, 9 figures, 3 tables, published in ISSTA 2023 (Research Papers track)

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

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

Title: Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines

Authors: Ekaterina Trofimova, Emil Sataev, Andrey E. Ustyuzhanin

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

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

Title: depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers

Authors: Kaichao You, Runsheng Bai, Meng Cao, Jianmin Wang, Ion Stoica, Mingsheng Long

Comments: 16 pages, 2 figures

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

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

Title: E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis

Authors: Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang

Comments: Accepted by DAC 2024; Please note that this is not the final camera-ready version

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

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

Title: The Elements of Differentiable Programming

Authors: Mathieu Blondel, Vincent Roulet

Comments: Draft version 1

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

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

Title: A Survey of Neural Code Intelligence: Paradigms, Advances and Beyond

Authors: Qiushi Sun, Zhirui Chen, Fangzhi Xu, Kanzhi Cheng, Chang Ma, Zhangyue Yin, Jianing Wang, Chengcheng Han, Renyu Zhu, Shuai Yuan, Qipeng Guo, Xipeng Qiu, Pengcheng Yin, Xiaoli Li, Fei Yuan, Lingpeng Kong, Xiang Li, Zhiyong Wu

Comments: 64 pages, 6 figures, 10 tables, 688 references

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

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

Title: Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course

Authors: Boxaun Ma, Li Chen, Shin'ichi Konomi

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

Title: CoverUp: Coverage-Guided LLM-Based Test Generation

Authors: Juan Altmayer Pizzorno, Emery D. Berger

Comments: 11 pages

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

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

Title: ChatDBG: An AI-Powered Debugging Assistant

Authors: Kyla Levin, Nicolas van Kempen, Emery D. Berger, Stephen N. Freund

Comments: 11 pages

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

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

Title: Synapse: Learning Preferential Concepts from Visual Demonstrations

Authors: Sadanand Modak, Noah Patton, Isil Dillig, Joydeep Biswas

Comments: 25 pages, 7 tables, 9 figures; Preprint; Updated figures and appendix, added VLM ablations

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