Programming Languages

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2602.03777 [pdf, ps, other]: Title: From Separate Compilation to Sound Language Composition

Authors: Federico Bruzzone, Walter Cazzola, Luca Favalli

Comments: 43 pages, 1 figure, 5 Listing

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[2] arXiv:2602.03033 [pdf, ps, other]: Title: Layered Modal ML: Syntax and Full Abstraction

Authors: Haoxuan Yin, Andrzej S. Murawski, C.-H. Luke Ong

Comments: 22 pages, 6 figures

Subjects: Programming Languages (cs.PL)
[3] arXiv:2602.03588 (cross-list from cs.CL) [pdf, ps, other]: Title: Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs

Authors: Xuran Cai, Amir Goharshady

Comments: Already accepted by SETTA'25. this https URL arXiv admin note: substantial text overlap with arXiv:2507.16660

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

[4] arXiv:2602.01720 [pdf, ps, other]: Title: Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis

Authors: Peisen Yao, Zinan Gu, Qingkai Shi

Subjects: Programming Languages (cs.PL)
[5] arXiv:2602.01935 (cross-list from cs.LG) [pdf, ps, other]: Title: COLT: Lightweight Multi-LLM Collaboration through Shared MCTS Reasoning for Model Compilation

Authors: Annabelle Sujun Tang, Christopher Priebe, Lianhui Qin, Hadi Esmaeilzadeh

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[6] arXiv:2602.00303 (cross-list from cs.SE) [pdf, ps, other]: Title: Towards Analyzing N-language Polyglot Programs

Authors: Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kjærgaard

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[7] arXiv:2602.00087 (cross-list from cs.LG) [pdf, ps, other]: Title: ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization

Authors: Haolin Pan, Lianghong Huang, Jinyuan Dong, Mingjie Xing, Yanjun Wu

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

[8] arXiv:2601.22557 [pdf, ps, other]: Title: Recursive Mutexes in Separation Logic

Authors: Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha

Journal-ref: RocqPL 2026-Rocq for Programming Languages

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[9] arXiv:2601.22978 (cross-list from cs.CR) [pdf, ps, other]: Title: SpecIBT: Formally Verified Protection Against Speculative Control-Flow Hijacking

Authors: Jonathan Baumann, Yonghyun Kim, Yan Farba, Catalin Hritcu, Julay Leatherman-Brooks

Comments: Submitted to CSF'26

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

[10] arXiv:2601.21842 [pdf, ps, other]: Title: Optimal Software Pipelining using an SMT-Solver

Authors: Jan-Willem Roorda

Subjects: Programming Languages (cs.PL)
[11] arXiv:2601.21096 (cross-list from cs.AI) [pdf, ps, other]: Title: Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve

Authors: Hongzheng Chen, Alexander Novikov, Ngân Vũ, Hanna Alam, Zhiru Zhang, Aiden Grossman, Mircea Trofin, Amir Yazdanbakhsh

Comments: Accepted to C4ML@CGO'26

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

[12] arXiv:2601.20783 (cross-list from cs.DB) [pdf, ps, other]: Title: The Monotone Priority System: Foundations of Contract-Specific Sequencing

Authors: Naveen Durvasula

Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[13] arXiv:2601.20370 (cross-list from cs.LO) [pdf, ps, other]: Title: A Program Logic for Abstract (Hyper)Properties

Authors: Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[14] arXiv:2601.19941 (cross-list from cs.AR) [pdf, ps, other]: Title: Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generation

Authors: M Zafir Sadik Khan, Kimia Azar, Hadi Kamali

Comments: Accepted to the Design, Automation and Test in Europe Conference (DATE 2026)

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

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]