Programming Languages

Authors and titles for November 2024

[51] arXiv:2411.09217 (cross-list from cs.SE) [pdf, html, other]

Title: SmartInv: Multimodal Learning for Smart Contract Invariant Inference

Sally Junsong Wang, Kexin Pei, Junfeng Yang

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

[52] arXiv:2411.09489 (cross-list from cs.LO) [pdf, html, other]

Title: Positive Focusing is Directly Useful

Beniamino Accattoli, Jui-Hsuan Wu

Comments: Paper for the proceedings of MFPS 2024

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14758

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

[53] arXiv:2411.09999 (cross-list from cs.DB) [pdf, html, other]

Title: Understanding Graph Databases: A Comprehensive Tutorial and Survey

Sydney Anuyah, Victor Bolade, Oluwatosin Agbaakin

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

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

Title: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

Noam Zilberstein, Alexandra Silva, Joseph Tassarotti

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

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

Title: The Lambda Calculus is Quantifiable

Valentin Maestracci, Paolo Pistone

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

[56] arXiv:2411.11856 (cross-list from cs.AR) [pdf, html, other]

Title: Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback

Jason Blocklove, Shailja Thakur, Benjamin Tan, Hammond Pearce, Siddharth Garg, Ramesh Karri

Comments: Accepted for publication in TODAES Special Issue on Large Language Models for Electronic System Design Automation

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

[57] arXiv:2411.14072 (cross-list from cs.CL) [pdf, html, other]

Title: The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims

Shu Zhou, Xin Wang, Zhengda Zhou, Haohan Yi, Xuhui Zheng, Hao Wan

Comments: 25pages, 1 figure

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

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

Title: Translating C To Rust: Lessons from a User Study

Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu

Comments: Accepted by NDSS Symposium 2025. Please cite the conference version of this paper, e.g., "Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu. Translating C To Rust: Lessons from a User Study. In 32nd Annual Network and Distributed System Security Symposium (NDSS 2025)."

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

[59] arXiv:2411.14330 (cross-list from cs.DB) [pdf, html, other]

Title: Datalog with First-Class Facts

Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher Micinski

Comments: arXiv admin note: text overlap with arXiv:2211.11573

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

[60] arXiv:2411.14365 (cross-list from eess.SY) [pdf, other]

Title: Formal Simulation and Visualisation of Hybrid Programs

Pedro Mendes (University of Minho, Portugal), Ricardo Correia (University of Minho, Portugal), Renato Neves (INESC-TEC & University of Minho, Portugal), José Proença (CISTER, Faculty of Sciences of the University of Porto, Portugal)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 20-37

Subjects: Systems and Control (eess.SY); Programming Languages (cs.PL)

[61] arXiv:2411.14563 (cross-list from cs.CR) [pdf, html, other]

Title: Constructing Trustworthy Smart Contracts

Devora Chait-Roth, Kedar S. Namjoshi

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

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

Title: Synchronisability in Mailbox Communication

Cinzia Di Giusto (Université Côte d'Azur, CNRS, I3S, France), Laetitia Laversa (Université Sorbonne Paris Nord, Paris, France), Kirstin Peters (Universität Augsburg, Augsburg, Germany)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 19-34

Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[63] arXiv:2411.14887 (cross-list from cs.DC) [pdf, html, other]

Title: OMP4Py: a pure Python implementation of OpenMP

César Piñeiro, Juan C. Pichel

Comments: 15 pages, 14 figures

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

[64] arXiv:2411.15100 (cross-list from cs.CL) [pdf, html, other]

Title: XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

Yixin Dong, Charlie F. Ruan, Yaxing Cai, Ruihang Lai, Ziyi Xu, Yilong Zhao, Tianqi Chen

Comments: MLSys '25

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

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

Title: dafny-annotator: AI-Assisted Verification of Dafny Programs

Gabriel Poesia, Chloe Loughridge, Nada Amin

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

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

Title: The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages

Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró

Comments: Accepted by ICSE'25 Research Track

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

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

Title: A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks

Rohit Dandamudi, Gema Rodríguez-Pérez

Comments: 5 pages, ASEW 2024

Journal-ref: ASEW 2024: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, Pages 94 - 99

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

[68] arXiv:2411.15979 (cross-list from math.LO) [pdf, html, other]

Title: Kleene algebra with commutativity conditions is undecidable

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

Comments: Published at CSL 2025

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)

Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler

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

[70] arXiv:2411.18889 (cross-list from cs.DC) [pdf, html, other]

Title: Unified schemes for directive-based GPU offloading

Yohei Miki, Toshihiro Hanawa

Comments: 24 pages, 2 figures, 21 tables, accepted for publication in IEEE Access. The library and sample codes are available at this https URL

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Instrumentation and Methods for Astrophysics (astro-ph.IM); Performance (cs.PF); Programming Languages (cs.PL)

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

Title: Dynamic Taint Tracking using Partial Instrumentation for Java Applications

Manoj RameshChandra Thakur

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

[72] arXiv:2411.19410 (cross-list from cs.SE) [pdf, html, other]

Title: WDD: Weighted Delta Debugging

Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, Chengnian Sun

Comments: This work has been accepted by ICSE'25

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

[73] arXiv:2411.19744 (cross-list from cs.LG) [pdf, html, other]

Title: Amplifying human performance in combinatorial competitive programming

Petar Veličković, Alex Vitvitskyi, Larisa Markeeva, Borja Ibarz, Lars Buesing, Matej Balog, Alexander Novikov

Comments: Technical report. 18 pages, 8 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL)