Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Programming Languages

Authors and titles for recent submissions

See today's new changes

Total of 15 entries
Showing up to 25 entries per page: fewer | more | all

Fri, 21 Jun 2024 (showing 5 of 5 entries )

[1] arXiv:2406.14227 [pdf, other]
Title: Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin Vechev
Comments: 25 pages, 9 figures
Subjects: Programming Languages (cs.PL)
[2] arXiv:2406.13716 [pdf, other]
Title: MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
Mako Bates, Syed Jafri, Joseph P. Near
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[3] arXiv:2406.13161 (cross-list from cs.AI) [pdf, other]
Title: APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)
[4] arXiv:2406.12902 (cross-list from cs.LG) [pdf, html, other]
Title: Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-chi Cheung, Chang Xu
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[5] arXiv:2406.12715 (cross-list from cs.SE) [pdf, html, other]
Title: Runtime Verification on Abstract Finite State Models
KP Jevitha, Bharat Jayaraman, M Sethumadhavan
Comments: 44 pages
Subjects: Software Engineering (cs.SE); Performance (cs.PF); Programming Languages (cs.PL)

Wed, 19 Jun 2024 (showing 2 of 2 entries )

[6] arXiv:2406.11935 [pdf, html, other]
Title: Iterative or Innovative? A Problem-Oriented Perspective for Code Optimization
Tong Ye, Tengfei Ma, Lingfei Wu, Xuhong Zhang, Shouling Ji, Wenhai Wang
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[7] arXiv:2406.11883 [pdf, html, other]
Title: Data Petri Nets meet Probabilistic Programming (Extended version)
Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

Tue, 18 Jun 2024 (showing 4 of 4 entries )

[8] arXiv:2406.11750 [pdf, other]
Title: Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
Alvise Spanò
Comments: 47 pages. Accepted by Journal of Systems and Software - Special Issue on Software Language Engeneering
Subjects: Programming Languages (cs.PL)
[9] arXiv:2406.10816 [pdf, html, other]
Title: Optimization of Armv9 architecture general large language model inference performance based on Llama.cpp
Longhao Chen, Yina Zhao, Qiangjun Xie, Qinghua Sheng
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Performance (cs.PF)
[10] arXiv:2406.10405 [pdf, other]
Title: Correctness is Demanding, Performance is Frustrating
Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
Subjects: Programming Languages (cs.PL)
[11] arXiv:2406.11393 (cross-list from cs.DS) [pdf, html, other]
Title: Diagram Control and Model Order for Sugiyama Layouts
Sören Domrös, Reinhard von Hanxleden
Comments: 18 pages. A short version of this paper will be published at the DIAGRAMS conference 2024
Subjects: Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

Mon, 17 Jun 2024 (showing 2 of 2 entries )

[12] arXiv:2406.09757 [pdf, html, other]
Title: Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
Shuvendu K. Lahiri
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[13] arXiv:2406.09577 (cross-list from cs.SE) [pdf, html, other]
Title: A New Generation of Intelligent Development Environments
Mark Marron
Journal-ref: 2024 First IDE Workshop (IDE '24)
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Fri, 14 Jun 2024 (showing 2 of 2 entries )

[14] arXiv:2406.09099 [pdf, html, other]
Title: Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[15] arXiv:2406.08843 (cross-list from cs.SE) [pdf, html, other]
Title: Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
Ivan R. Ivanov, Joachim Meyer, Aiden Grossman, William S. Moses, Johannes Doerfert
Subjects: Software Engineering (cs.SE); Performance (cs.PF); Programming Languages (cs.PL)
Total of 15 entries
Showing up to 25 entries per page: fewer | more | all