Programming Languages

Authors and titles for recent submissions, skipping first 10

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

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

[12] arXiv:2405.19514 [pdf, other]: Title: Wavefront Threading Enables Effective High-Level Synthesis

Authors: Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, Doug Burger

Comments: Accepted to PLDI'24

Subjects: Programming Languages (cs.PL)
[13] arXiv:2405.20083 (cross-list from cs.LO) [pdf, other]: Title: Tachis: Higher-Order Separation Logic with Credits for Expected Costs

Authors: Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[14] arXiv:2405.19787 (cross-list from cs.CL) [pdf, other]: Title: From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers

Authors: Dylan Zhang, Justin Wang, Francois Charton

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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