Programming Languages

Authors and titles for recent submissions, skipping first 23

[ total of 12 entries: 1-10 | 3-12 ]
[ showing 10 entries per page: fewer | more | all ]

[3] arXiv:2405.06399 (cross-list from cs.LG) [pdf, other]: Title: Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

Authors: Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[4] arXiv:2405.06074 (cross-list from cs.CR) [pdf, other]: Title: Protocols to Code: Formal Verification of a Next-Generation Internet Router

Authors: João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, Adrian Perrig

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL)

[5] arXiv:2405.05751 (cross-list from cs.LG) [pdf, other]: Title: A Multi-Level Superoptimizer for Tensor Programs

Authors: Mengdi Wu, Xinhao Cheng, Oded Padon, Zhihao Jia

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[6] arXiv:2405.05431 (cross-list from cs.LG) [pdf, other]: Title: Searching for Programmatic Policies in Semantic Spaces

Authors: Rubens O. Moraes, Levi H. S. Lelis

Comments: Available code: this https URL

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

[7] arXiv:2405.05118 [pdf, other]: Title: Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms

Authors: Ari Rasch

Comments: A short version of this paper is published at ACM TOPLAS

Subjects: Programming Languages (cs.PL)
[8] arXiv:2405.04612 [pdf, ps, other]: Title: Numerical Fuzz: A Type System for Rounding Error Analysis

Authors: Ariel E. Kellison, Justin Hsu

Subjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)

[9] arXiv:2405.03727 (cross-list from cs.SE) [pdf, other]: Title: Large Language Models Synergize with Automated Machine Learning

Authors: Jinglue Xu, Zhen Liu, Nagar Anthel Venkatesh Suryanarayanan, Hitoshi Iba

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[10] arXiv:2405.03709 (cross-list from cs.SE) [pdf, other]: Title: Generating Probabilistic Scenario Programs from Natural Language

Authors: Karim Elmaaroufi, Devan Shankar, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia

Comments: 17 pages, 2 figures

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

[11] arXiv:2405.03536 (cross-list from cs.LO) [pdf, other]: Title: Extensional and Non-extensional Functions as Processes

Authors: Ken Sakayori, Davide Sangiorgi

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[12] arXiv:2405.02326 (cross-list from cs.AR) [pdf, other]: Title: Evaluating LLMs for Hardware Design and Test

Authors: Jason Blocklove, Siddharth Garg, Ramesh Karri, Hammond Pearce

Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)

[ total of 12 entries: 1-10 | 3-12 ]
[ showing 10 entries per page: fewer | more | all ]