三明北大附属实验学校项目紧张有序推进 预计9月招生

Authors and titles for recent submissions

• Wed, 6 Aug 2025
• Tue, 5 Aug 2025
• Mon, 4 Aug 2025
• Fri, 1 Aug 2025
• Thu, 31 Jul 2025

See today's new changes

Wed, 6 Aug 2025 (showing 11 of 11 entries )

[1] arXiv:2508.03640 [pdf, other]

Title: Teaching Introductory Functional Programming Using Haskelite

Pedro Vasconcelos (University of Porto)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 49-66

Subjects: Programming Languages (cs.PL)

[2] arXiv:2508.03558 [pdf, html, other]

Title: SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation

M Zafir Sadik Khan, Nowfel Mashnoor, Mohammad Akyash, Kimia Azar, Hadi Kamali

Comments: Accepted to the IEEE International Conference on Computer Design (ICCD 2025)

Subjects: Programming Languages (cs.PL)

[3] arXiv:2508.02857 [pdf, other]

Title: Compositional Quantum Control Flow with Efficient Compilation in Qunity

Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand

Comments: 88 pages, 30 figures

Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)

[4] arXiv:2508.03678 (cross-list from cs.CL) [pdf, html, other]

Title: More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation

Yangtian Zi, Harshitha Menon, Arjun Guha

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)

[5] arXiv:2508.03641 (cross-list from cs.FL) [pdf, other]

Title: Visual Execution and Validation of Finite-State Machines and Pushdown Automata

Marco T. Morazán (Seton Hall University), David Anthony K. Fields (Seton Hall University), Andrés M. Garced (Seton Hall University), Tijana Mini? (University of Washington)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 87-108

Subjects: Formal Languages and Automata Theory (cs.FL); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[6] arXiv:2508.03639 (cross-list from cs.FL) [pdf, other]

Title: A Design Recipe and Recipe-Based Errors for Regular Expressions

Marco T. Morazán (Seton Hall University), Shamil Dzhatdoyev (Axoni, USA), Josephine Des Rosiers (Penguin Random House), Tijana Mini? (University of Washington), Andrés M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 25-48

Subjects: Formal Languages and Automata Theory (cs.FL); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[7] arXiv:2508.03638 (cross-list from cs.FL) [pdf, other]

Title: Design Support for Multitape Turing Machines

Marco T. Morazán (Seton Hall University), Oliwia Kempinski (University of Maryland), Andrés M. Garced (Seton Hall University)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 1-24

Subjects: Formal Languages and Automata Theory (cs.FL); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[8] arXiv:2508.03603 (cross-list from cs.SE) [pdf, html, other]

Title: ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs

Iti Shree, Karine Even-Mendoz, Tomasz Radzik

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[9] arXiv:2508.03435 (cross-list from cs.SE) [pdf, html, other]

Title: StoneDetector: Conventional and versatile code clone detection for Java

Thomas S. Heinze, André Sch?fer, Wolfram Amme

Comments: supplementary information available at this http URL

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[10] arXiv:2508.02820 (cross-list from cs.SE) [pdf, html, other]

Title: Automated Code Repair for C/C++ Static Analysis Alerts

David Svoboda, Lori Flynn, William Klieber, Michael Duggan, Nicholas Reimer, Joseph Sible

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[11] arXiv:2508.02721 (cross-list from cs.SE) [pdf, html, other]

Title: Blueprint First, Model Second: A Framework for Deterministic LLM Workflow

Libin Qiu, Yuhang Ye, Zhirong Gao, Xide Zou, Junfu Chen, Ziming Gui, Weizhi Huang, Xiaobo Xue, Wenkai Qiu, Kun Zhao

Comments: 8 pages, 6 figures, 3 tables

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

Tue, 5 Aug 2025 (showing 4 of 4 entries )

[12] arXiv:2508.02305 [pdf, other]

Title: Proceedings 14th International Workshop on Trends in Functional Programming in Education

Rose Bohrer (AIST, Tokyo, JP)

Journal-ref: EPTCS 424, 2025

Subjects: Programming Languages (cs.PL)

[13] arXiv:2508.01199 [pdf, html, other]

Title: Efficient compilation and execution of synchronous programs via type-state programming

Avinash Malik

Subjects: Programming Languages (cs.PL)

[14] arXiv:2508.01974 (cross-list from cs.SE) [pdf, html, other]

Title: Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis

Jiahao Zhang, Xiao Cheng, Yuxiang Lei

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[15] arXiv:2508.00952 (cross-list from cs.CY) [pdf, other]

Title: Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint

Matthew G Crowson, Leo Celi A. Celi

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

Mon, 4 Aug 2025 (showing 10 of 10 entries )

[16] arXiv:2508.00534 [pdf, html, other]

Title: Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations

Mikel Vandeloise

Comments: Preprint submitted to the Journal of Object Technology on July 29, 2025. Data available upon request until peer-review is completed

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

[17] arXiv:2508.00482 [pdf, html, other]

Title: Semantic Subtyping for Maps in Erlang

Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa

Subjects: Programming Languages (cs.PL)

[18] arXiv:2508.00422 [pdf, html, other]

Title: Automated Type Annotation in Python Using Large Language Models

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Comments: Under Review

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)

[19] arXiv:2508.00016 [pdf, other]

Title: Extended Abstract: Mutable Objects with Several Implementations

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr

Comments: In Proceedings ACL2 2025, arXiv:2507.18567

Journal-ref: EPTCS 423, 2025, pp. 60-64

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[20] arXiv:2508.00013 [pdf, html, other]

Title: From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms

Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze

Comments: 78 pages. Undergraduate thesis project submitted in partial fulfillment of the requirements for the Bachelor's degree in Computer Science at Kutaisi International University

Subjects: Programming Languages (cs.PL)

[21] arXiv:2508.00005 [pdf, html, other]

Title: Modelling Program Spaces in Program Synthesis with Constraints

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[22] arXiv:2508.00772 (cross-list from cs.SE) [pdf, html, other]

Title: From Code to Career: Assessing Competitive Programmers for Industry Placement

Md Imranur Rahman Akib, Fathima Binthe Muhammed, Umit Saha, Md Fazlul Karim Patwary, Mehrin Anannya, Md Alomgeer Hussein, Md Biplob Hosen

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[23] arXiv:2508.00508 (cross-list from cs.SE) [pdf, html, other]

Title: Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

Panagiotis Diamantakis, Thanassis Avgerinos, Yannis Smaragdakis

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[24] arXiv:2508.00419 (cross-list from cs.LO) [pdf, html, other]

Title: Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Comments: Under Review

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG); Programming Languages (cs.PL)

[25] arXiv:2508.00244 (cross-list from cs.SE) [pdf, html, other]

Title: Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems

Briza Mel Dias de Sousa (1), Renato Cordeiro Ferreira (1,2,3,4), Alfredo Goldman (1) ((1) University of S?o Paulo, (2) Jheronimus Academy of Data Science, (3) Technical University of Eindhoven, (4) Tilburg University)

Comments: 11 pages, 16 figures (1 table, 3 diagrams, 5 graphics, 7 listings), submitted to CTICQS capstone project competition at SBQS 2025

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Fri, 1 Aug 2025 (showing 4 of 4 entries )

[26] arXiv:2507.23205 [pdf, html, other]

Title: Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks

Hebi Li, Forrest Sheng Bao, Qi Xiao, Jin Tian

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[27] arXiv:2507.23151 [pdf, html, other]

Title: Abstractions of Sequences, Functions and Operators

Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo

Comments: Under consideration for publication in STTT

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[28] arXiv:2507.23292 (cross-list from cs.LG) [pdf, html, other]

Title: SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy

RJ Skerry-Ryan, Julian Salazar, Soroosh Mariooryad, David Kao, Daisy Stanton, Eric Battenberg, Matt Shannon, Ron J. Weiss, Robin Scheibler, Jonas Rothfuss, Tom Bagby

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE); Audio and Speech Processing (eess.AS)

[29] arXiv:2507.23186 (cross-list from cs.LG) [pdf, html, other]

Title: NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions

Peter Sharpe

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)

Thu, 31 Jul 2025 (showing 4 of 4 entries )

[30] arXiv:2507.22069 [pdf, html, other]

Title: A Compute-Matched Re-Evaluation of TroVE on MATH

Tobias Sesterhenn, Ian Berlot-Attwell, Janis Zenkner, Christian Bartelt

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[31] arXiv:2507.22086 (cross-list from cs.SE) [pdf, html, other]

Title: TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories

Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si

Journal-ref: Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada. PMLR 267, 2025

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

[32] arXiv:2507.22070 (cross-list from cs.SE) [pdf, html, other]

Title: Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach

Y. Du

Comments: 7 pages

Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE); Programming Languages (cs.PL)

[33] arXiv:2507.22065 (cross-list from cs.SE) [pdf, html, other]

Title: Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models

Xiaotao Feng, Xiaogang Zhu, Kun Hu, Jincheng Wang, Yingjie Cao, Guang Gong, Jianfeng Pan

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Programming Languages (cs.PL)