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

Programming Languages

Authors and titles for recent submissions

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

Fri, 7 Jun 2024

[1]  arXiv:2406.03636 [pdf, other]
Title: Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages
Authors: Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
Comments: 15 pages, 6 figures, 1 table
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)

Thu, 6 Jun 2024

[2]  arXiv:2406.03077 [pdf, other]
Title: Detrimental task execution patterns in mainstream OpenMP runtimes
Authors: Adam S. Tuft Tobias Weinzierl Michael Klemm
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[3]  arXiv:2406.03003 [pdf, other]
Title: Verified Code Transpilation with LLMs
Authors: Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
Subjects: Programming Languages (cs.PL)

Wed, 5 Jun 2024

[4]  arXiv:2406.02174 [pdf, ps, other]
Title: Incremental units-of-measure verification
Authors: Matthew Danish, Dominic Orchard, Andrew Rice
Comments: Please note that this article was written in 2018 and has been relocated to arXiv simply for archival purposes
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2406.01792 [pdf, other]
Title: The SemGuS Toolkit
Authors: Keith J.C. Johnson, Andrew Reynolds, Thomas Reps, Loris D'Antoni
Subjects: Programming Languages (cs.PL)

Tue, 4 Jun 2024

[6]  arXiv:2406.01500 [pdf, ps, other]
Title: Going Bananas! - Unfolding Program Synthesis with Origami
Authors: Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2406.01456 [pdf, other]
Title: Corps: A Core Calculus of Hierarchical Choreographic Programming
Authors: Andrew K. Hirsch
Subjects: Programming Languages (cs.PL)
[8]  arXiv:2406.00884 [pdf, ps, other]
Title: An Iris for Expected Cost Analysis
Authors: Janine Lohse, Deepak Garg
Subjects: Programming Languages (cs.PL)
[9]  arXiv:2406.00115 [pdf, other]
Title: Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
Authors: Hanxian Huang, Zhenghan Lin, Zixuan Wang, Xin Chen, Ke Ding, Jishen Zhao
Subjects: Programming Languages (cs.PL)
[10]  arXiv:2406.00602 (cross-list from cs.SE) [pdf, other]
Title: From Effectiveness to Efficiency: Comparative Evaluation of Code Generated by LCGMs for Bilingual Programming Questions
Authors: Weipeng Jiang, Xuanqi Gao, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen
Comments: 10 and a quarter pages, 6 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[11]  arXiv:2406.00043 (cross-list from eess.SY) [pdf, ps, other]
Title: Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas
Authors: Andres Guevara, Juan Achury, Juan Sierra, Sebastian Benavides
Comments: 8 PAGINAS, in Spanish language
Subjects: Systems and Control (eess.SY); Programming Languages (cs.PL)

Mon, 3 Jun 2024

[12]  arXiv:2405.20551 (cross-list from cs.SE) [pdf, other]
Title: EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
Authors: Dorin Pomian, Abhiram Bellur, Malinda Dilhara, Zarina Kurbatova, Egor Bogomolov, Andrey Sokolov, Timofey Bryksin, Danny Dig
Comments: This paper is accepted to the tool demonstration track of the 32nd ACM Symposium on the Foundations of Software Engineering (FSE 2024). This is an author copy
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Programming Languages (cs.PL)
[ total of 12 entries: 1-12 ]
[ showing 12 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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