Programming Languages

Authors and titles for recent submissions

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

[1] 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)

[2] arXiv:2404.10250 [pdf, other]: Title: AniFrame: A Programming Language for 2D Drawing and Frame-Based Animation

Authors: Mark Edward M. Gonzales, Hans Oswald A. Ibrahim, Elyssia Barrie H. Ong, Ryan Austin Fernandez

Comments: Accepted for paper presentation at the 24th Philippine Computing Science Congress (PCSC 2024), held in Laguna, Philippines

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Multimedia (cs.MM)

[3] arXiv:2404.08885 [pdf, other]: Title: Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension

Authors: Mengnan Qi, Yufan Huang, Yongqiang Yao, Maoquan Wang, Bin Gu, Neel Sundaresan

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Machine Learning (cs.LG)
[4] arXiv:2404.08751 [pdf, ps, other]: Title: Performant Dynamically Typed E-Graphs in Pure Julia

Authors: Alessandro Cheli, Niklas Heim

Comments: 8 pages, 5 figures, submission for 2024 PLDI e-graph workshop

Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[5] arXiv:2404.09066 (cross-list from cs.CR) [pdf, other]: Title: CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants

Authors: Amit Finkman, Eden Bar-Kochva, Avishag Shapira, Dudu Mimran, Yuval Elovici, Asaf Shabtai

Subjects: Cryptography and Security (cs.CR); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)
[6] arXiv:2404.08817 (cross-list from cs.CL) [pdf, other]: Title: Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance

Authors: Yewei Song, Cedric Lothritz, Daniel Tang, Tegawendé F. Bissyandé, Jacques Klein

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

[7] arXiv:2404.08217 [pdf, ps, other]: Title: Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking

Authors: Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf

Subjects: Programming Languages (cs.PL)
[8] arXiv:2404.08163 [pdf, other]: Title: ViCAR: Visualizing Categories with Automated Rewriting in Coq

Authors: Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand

Comments: 13 pages, 10 figures

Subjects: Programming Languages (cs.PL); Category Theory (math.CT)
[9] arXiv:2404.08106 [pdf, other]: Title: KestRel: Relational Verification Using E-Graphs for Program Alignment

Authors: Robert Dickerson, Prasita Mukherjee, Benjamin Delaware

Subjects: Programming Languages (cs.PL)
[10] arXiv:2404.08494 (cross-list from cs.LO) [pdf, other]: Title: Almost-Sure Termination by Guarded Refinement

Authors: Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[11] arXiv:2404.08029 (cross-list from cs.LG) [pdf, other]: Title: A Multi-Expert Large Language Model Architecture for Verilog Code Generation

Authors: Bardia Nadimi, Hao Zheng

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

[12] arXiv:2404.07235 (cross-list from cs.AR) [pdf, other]: Title: Explaining EDA synthesis errors with LLMs

Authors: Siyu Qiu, Benjamin Tan, Hammond Pearce

Comments: 6 pages, 6 figures

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

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