We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

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

Fri, 26 Apr 2024

[1]  arXiv:2404.16381 [pdf, ps, other]
Title: Abstracting Effect Systems for Algebraic Effect Handlers
Authors: Takuma Yoshioka (1), Taro Sekiyama (2), Atsushi Igarashi (1) ((1) Kyoto University, (2) National Institute of Informatics & SOKENDAI)
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2404.16213 [pdf, ps, other]
Title: MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
Authors: Matthew Alan Le Brun, Ornela Dardha
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2404.16143 [pdf, ps, other]
Title: A Two-Phase Infinite/Finite Low-Level Memory Model
Authors: Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2404.16077 [pdf, other]
Title: Supercompiler Code Optimization with Zero-Shot Reinforcement Learning
Authors: Jialong Wu, Chaoyi Deng, Jianmin Wang, Mingsheng Long
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[5]  arXiv:2404.16075 [pdf, other]
Title: Validating Traces of Distributed Programs Against TLA+ Specifications
Authors: Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[6]  arXiv:2404.16062 [pdf, other]
Title: QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Authors: Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
Comments: 12 pages, IFL 2023
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2404.16041 [pdf, other]
Title: Forklift: An Extensible Neural Lifter
Authors: Jordi Armengol-Estapé, Rodrigo C. O. Rocha, Jackson Woodruff, Pasquale Minervini, Michael F.P. O'Boyle
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[8]  arXiv:2404.16333 (cross-list from cs.SE) [pdf, other]
Title: AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
Authors: Zhensu Sun, Xiaoning Du, Zhou Yang, Li Li, David Lo
Comments: under review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Wed, 24 Apr 2024

[9]  arXiv:2404.15204 [pdf, other]
Title: Towards a high-performance AI compiler with upstream MLIR
Authors: Renato Golin, Lorenzo Chelini, Adam Siemieniuk, Kavitha Madhu, Niranjan Hasabnis, Hans Pabst, Evangelos Georganas, Alexander Heinecke
Comments: 13 pages, 8 figures, presented at CGO C4ML 2024 & MLIR Workshop EuroLLVM 2024
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
[10]  arXiv:2404.14924 (cross-list from cs.LO) [pdf, other]
Title: An Encoding for CLP Problems in SMT-LIB
Authors: Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 118-130
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[11]  arXiv:2404.14921 (cross-list from cs.LO) [pdf, ps, other]
Title: More Church-Rosser Proofs in BELUGA
Authors: Alberto Momigliano (Dipartimento di Informatica, Università degli Studi di Milano, Italy), Martina Sassella (Dipartimento di Matematica, Università degli Studi di Milano, Italy)
Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Journal-ref: EPTCS 402, 2024, pp. 34-42
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[12]  arXiv:2404.14662 (cross-list from cs.LG) [pdf, other]
Title: NExT: Teaching Large Language Models to Reason about Code Execution
Authors: Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
Comments: 35 pages
Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[13]  arXiv:2404.14580 (cross-list from cs.CR) [pdf, other]
Title: Demystifying Invariant Effectiveness for Securing Smart Contracts
Authors: Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)

Tue, 23 Apr 2024

[14]  arXiv:2404.14385 [pdf, other]
Title: Encoding Petri Nets into CCS (Technical Report)
Authors: Benjamin Bogø, Andrea Burattin, Alceste Scalas
Comments: 38 pages, 18 figures, extended version of paper to be published at COORDINATION 2024
Subjects: Programming Languages (cs.PL)
[15]  arXiv:2404.14370 (cross-list from cs.SE) [pdf, other]
Title: Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
Authors: Gábor Antal, Richárd Vozár, Rudolf Ferenc
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[16]  arXiv:2404.14340 (cross-list from cs.LO) [pdf, other]
Title: Hybrid Intersection Types for PCF (Extended Version)
Authors: Pablo Barenbaum, Delia Kesner, Mariana Milicich
Comments: 38 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[17]  arXiv:2404.14223 (cross-list from cs.LO) [pdf, other]
Title: Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Authors: Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[18]  arXiv:2404.13672 (cross-list from cs.LO) [pdf, ps, other]
Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Authors: Temur Kutsia (RISC, Johannes Kepler University Linz), Daniel Ventura (INF, Universidade Federal de Goiás), David Monniaux (CNRS - Verimag), José F. Morales (IMDEA)
Journal-ref: EPTCS 402, 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[19]  arXiv:2404.13359 (cross-list from cs.DB) [pdf, other]
Title: Declarative Concurrent Data Structures
Authors: Aun Raza, Hamish Nicholson, Ioanna Tsakalidou, Anna Herlihy, Prathamesh Tagore, Anastasia Ailamaki
Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

Mon, 22 Apr 2024

[20]  arXiv:2404.12934 [pdf, ps, other]
Title: AuDaLa is Turing Complete
Authors: Tom T.P. Franken, Thomas Neele
Comments: To be published in the proceedings of FORTE 2024. This version contains the appendices as referred to in the version to be published
Subjects: Programming Languages (cs.PL)
[21]  arXiv:2404.12747 [pdf, other]
Title: Customizing Static Analysis using Codesearch
Authors: Avi Hayoun, Veselin Raychev, Jack Hair
Comments: 34 pages, 2 figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[22]  arXiv:2404.12608 (cross-list from cs.DB) [pdf, other]
Title: Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
Authors: Sibei Chen, Yeye He, Weiwei Cui, Ju Fan, Song Ge, Haidong Zhang, Dongmei Zhang, Surajit Chaudhuri
Comments: full version of a paper to appear in SIGMOD 2024
Subjects: Databases (cs.DB); Computation and Language (cs.CL); Programming Languages (cs.PL)
[23]  arXiv:2404.12603 (cross-list from quant-ph) [pdf, other]
Title: Qwerty: A Basis-Oriented Quantum Programming Language
Authors: Austin J. Adams, Sharjeel Khan, Jeffrey S. Young, Thomas M. Conte
Comments: 30 pages, 27 figures
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

Thu, 18 Apr 2024

[24]  arXiv:2404.10952 (cross-list from cs.CL) [pdf, other]
Title: Can Language Models Solve Olympiad Programming?
Authors: Quan Shi, Michael Tang, Karthik Narasimhan, Shunyu Yao
Comments: Code and data: this https URL
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2404, contact, help  (Access key information)