Programming Languages

Authors and titles for recent submissions

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

[1] arXiv:2405.06505 [pdf, ps, other]: Title: Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks

Authors: Abdullah Rasheed

Comments: Undergraduate Senior Capstone Project

Subjects: Programming Languages (cs.PL)
[2] arXiv:2405.06233 [pdf, other]: Title: The Fearless Journey

Authors: Nick Webster, Marco Servetto, Michael Homer

Subjects: Programming Languages (cs.PL)
[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)

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