International Journal of Computer Science & Programming languages

Deegen: A JIT-Capable VM Generator for Dynamic Languages

Authors: Haoran Xu, Fredrik Kjolstad

Source: Proceedings of the ACM on Programming Languages. 10:1266-1294

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2411.11469

CodeV: Empowering LLMs With HDL Generation Through Multilevel Summarization

Authors: Yang Zhao 0013, Di Huang, Chongxiao Li, Pengwei Jin, Muxin Song, Yinan Xu 0001, Ziyuan Nan, Mingju Gao, Tianyun Ma, Lei Qi, Yansong Pan, Zhenxing Zhang, Rui Zhang 0040, Xishan Zhang, Zidong Du, Qi Guo 0001, Xing Hu 0001

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 45:1893-1906

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2407.10424

PEak: A Single Source of Truth for Hardware Design and Verification

Authors: Caleb Donovick, Jackson Melchert, Ross Daly, Lenny Truong, Priyanka Raina, Pat Hanrahan, Clark Barrett

Source: ACM Transactions on Embedded Computing Systems. 25:1-22

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Hardware Architecture (cs.AR), 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Computer Science - Hardware Architecture, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2308.13106

WebTigerPython: A Low-Floor High-Ceiling Python IDE for the Browser

Authors: Clemens Bachmann, Alexandra Maximova, Tobias Kohn, Dennis Komm

Source: Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1. :73-79

Subject Terms: ddc:004, K–12 education, FOS: Computer and information sciences, CS education, Computer Science - Programming Languages, programming education, educational robotics, Programming education, DATA processing & computer science, Educational robotics, Python, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2410.07001
https://publikationen.bibliothek.kit.edu/1000191550/177301531
https://doi.org/10.5445/IR/1000191550
https://publikationen.bibliothek.kit.edu/1000191550

TPDE: A Fast Adaptable Compiler Back-End Framework

Authors: Tobias Schwarz, Tobias Kamm, Alexis Engelke

Source: 2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). :427-439

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2505.22610

Dynamic Quantum Circuit Compilation

Authors: Kun Fang 0001, Munan Zhang, Ruqi Shi, Yinan Li 0004

Source: IEEE Transactions on Computers. 75:748-759

Subject Terms: FOS: Computer and information sciences, Quantum Physics, Computer Science - Programming Languages, FOS: Physical sciences, Quantum Physics (quant-ph), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2310.11021

Spatial data science languages: commonalities and needs

Authors: Edzer Pebesma, Martin Fleischmann, Josiah Parry, Jakub Nowosad, Anita Graser, Dewey Dunnington, Maarten Pronk, Rafael Schouten, Robin Lovelace, Marius Appel, Lorena Abad

Source: Journal of Spatial Information Science. :119-144

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Statistics - Computation, Computation (stat.CO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2503.16686

WizardMerge —Save Us from Merging without Any Clues

Authors: Qingyu Zhang 0005, Junzhe Li, Jiayi Lin 0007, Jie Ding, Lanteng Lin, Chenxiong Qian

Source: ACM Transactions on Software Engineering and Methodology. 35:1-28

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Emerging Technologies (cs.ET), D.3, D.2, Computer Science - Emerging Technologies, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2407.02818

Logical Relations for Formally Verified Authenticated Data Structures

Authors: Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

Source: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :1394-1408

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2501.10802

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Authors: Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis

Source: CCS'25

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Cryptography and Security, Computer Science - Programming Languages, Cryptography and Security (cs.CR), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2411.02077

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

Authors: Ihsan Ozan Yildirim, Cansu Çetin Er, Ege Keskin, Murat Kuscu, Oguzhan Özcan

Source: Companion Proceedings of the Annual Symposium on Computer-Human Interaction in Play. :80-87

Subject Terms: FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Programming Languages, Computers and Society (cs.CY), Computer Science - Human-Computer Interaction, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Human-Computer Interaction (cs.HC), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2410.08340

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations

Authors: Zhiyao Zhong, Cyrus Omar

Source: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). :266-271

Subject Terms: D.3.0, FOS: Computer and information sciences, 68N15, 68U35, Computer Science - Programming Languages, K.3.2, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2506.10781

HiLDE: Intentional Code Generation via Human-in-the-Loop Decoding

Authors: Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova

Source: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). :222-233

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction, Human-Computer Interaction (cs.HC), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2505.22906

Solving Package Management via Hypergraph Dependency Resolution

Authors: Gibb, Ryan, Ferris, Patrick, Allsopp, David, Dales, Michael Winston, Elvers, Mark, Gazagnaire, Thomas, Jaffer, Sadiq, Leonard, Thomas, Ludlam, Jon, Madhavapeddy, Anil

Subject Terms: Computer Science - Software Engineering, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2506.10803

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations

Authors: Zhong, Zhiyao, Omar, Cyrus

Subject Terms: Computer Science - Programming Languages, 68N15, 68U35, D.3.0, K.3.2

Access URL: http://arxiv.org/abs/2506.10781

A Language-Agnostic Logical Relation for Message-Passing Protocols

Authors: Zhang, Tesla, Simkin, Sonya, Li, Rui, Yao, Yue, Balzer, Stephanie

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2506.10026

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline

Authors: Hu, Lifan

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2506.08396

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop

Authors: de la Torre, Jordi

Subject Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2506.10021

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping

Authors: Bravetti, Mario, Padovani, Luca, Zavattaro, Gianluigi

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2506.06078