中国科协所属学会有序承接政府转移职能...

Authors and titles for recent submissions

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

See today's new changes

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Wed, 30 Jul 2025 (showing 3 of 3 entries )

[23] arXiv:2507.22048 [pdf, other]

Title: Composable Effect Handling for Programming LLM-integrated Scripts

Di Wang

Subjects: Programming Languages (cs.PL)

[24] arXiv:2507.21439 [pdf, html, other]

Title: Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm

Yong Qi Foo, Brian Sze-Kai Cheong, Michael D. Adams

Subjects: Programming Languages (cs.PL)

[25] arXiv:2507.21317 [pdf, html, other]

Title: One Weird Trick to Untie Landin's Knot

Paulette Koronkevich, William J. Bowman

Subjects: Programming Languages (cs.PL)