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

Programming Languages

Authors and titles for recent submissions

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

Thu, 23 Mar 2023

[1]  arXiv:2303.12606 [pdf, ps, other]
Title: Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels
Authors: Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Comments: Pre-print PLDI 2023
Subjects: Programming Languages (cs.PL); Databases (cs.DB)
[2]  arXiv:2303.12254 [pdf, other]
Title: Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp
Authors: Nathan Braswell, Sharjeel Khan, Santosh Pande
Comments: 26 pages, 23 figures (incl appendix), submitted to ICFP23
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2303.12570 (cross-list from cs.CL) [pdf, other]
Title: RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation
Authors: Fengji Zhang, Bei Chen, Yue Zhang, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, Weizhu Chen
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

Wed, 22 Mar 2023

[4]  arXiv:2303.11767 (cross-list from math.NA) [pdf, other]
Title: Domain-specific implementation of high order Discontinuous Galerkin methods in spherical geometry
Authors: Kalman Szenes, Niccolò Discacciati, Luca Bonaventura, William Sawyer
Comments: 22 pages; will be subsequently submitted to Journal of Computational Physics
Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

Tue, 21 Mar 2023

[5]  arXiv:2303.10515 [pdf, ps, other]
Title: Ownership guided C to Rust translation
Authors: Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[6]  arXiv:2303.10453 [pdf, ps, other]
Title: Modularity and Separate Compilation in Logic Programming
Authors: Steven Holte, Gopalan Nadathur
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2303.10381 [pdf, other]
Title: Modelling Chess in VDM++
Authors: Morten Haahr Kristensen, Peter Gorm Larsen
Subjects: Programming Languages (cs.PL)
[8]  arXiv:2303.11075 (cross-list from math.LO) [pdf, ps, other]
Title: Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Authors: Martin Escardo
Subjects: Logic (math.LO); Programming Languages (cs.PL)
[9]  arXiv:2303.11018 (cross-list from cs.DC) [pdf]
Title: Real-Time Parallel Programming: State of Play and Open Issues
Authors: Luis Miguel Pinho
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[10]  arXiv:2303.10174 (cross-list from cs.HC) [pdf, other]
Title: Visual Studio Code in Introductory Computer Science Course: An Experience Report
Authors: Jialiang Tan, Yu Chen, Shuyin Jiao
Subjects: Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)
[ total of 18 entries: 1-10 | 11-18 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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