Deegen: A JIT-Capable VM Generator for Dynamic Languages

Συγγραφείς: Haoran Xu, Fredrik Kjolstad

Πηγή: Proceedings of the ACM on Programming Languages. 10:1266-1294

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.11469

CodeV: Empowering LLMs With HDL Generation Through Multilevel Summarization

Συγγραφείς: 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

Πηγή: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 45:1893-1906

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2407.10424

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

Συγγραφείς: Clemens Bachmann, Alexandra Maximova, Tobias Kohn, Dennis Komm

Πηγή: Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1. :73-79

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Tobias Schwarz, Tobias Kamm, Alexis Engelke

Πηγή: 2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). :427-439

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.22610

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

Συγγραφείς: Caleb Donovick, Jackson Melchert, Ross Daly, Lenny Truong, Priyanka Raina, Pat Hanrahan, Clark Barrett

Πηγή: ACM Transactions on Embedded Computing Systems. 25:1-22

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2308.13106

Dynamic Quantum Circuit Compilation

Συγγραφείς: Kun Fang 0001, Munan Zhang, Ruqi Shi, Yinan Li 0004

Πηγή: IEEE Transactions on Computers. 75:748-759

Θεματικοί όροι: FOS: Computer and information sciences, Quantum Physics, Computer Science - Programming Languages, FOS: Physical sciences, Quantum Physics (quant-ph), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2310.11021

Logical Relations for Formally Verified Authenticated Data Structures

Συγγραφείς: Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

Πηγή: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :1394-1408

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2501.10802

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Συγγραφείς: Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis

Πηγή: CCS'25

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.02077

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

Συγγραφείς: Ihsan Ozan Yildirim, Cansu Çetin Er, Ege Keskin, Murat Kuscu, Oguzhan Özcan

Πηγή: Companion Proceedings of the Annual Symposium on Computer-Human Interaction in Play. :80-87

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.08340

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

Συγγραφείς: Zhiyao Zhong, Cyrus Omar

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

Θεματικοί όροι: D.3.0, FOS: Computer and information sciences, 68N15, 68U35, Computer Science - Programming Languages, K.3.2, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10781

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

Συγγραφείς: Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova

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

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.22906

Quantum Backtracking in Qrisp Applied to Sudoku Problems

Συγγραφείς: Raphael Seidel, Rene Zander, Matic Petric, Niklas Steinmann, David Liu, Nikolay Tcholtchev, Manfred Hauswirth

Πηγή: ACM Transactions on Quantum Computing.

Θεματικοί όροι: FOS: Computer and information sciences, Quantum Physics, Computer Science - Programming Languages, Computer Science - Data Structures and Algorithms, FOS: Physical sciences, Data Structures and Algorithms (cs.DS), Quantum Physics (quant-ph), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2402.10060

Solving Package Management via Hypergraph Dependency Resolution

Συγγραφείς: Gibb, Ryan, Ferris, Patrick, Allsopp, David, Dales, Michael Winston, Elvers, Mark, Gazagnaire, Thomas, Jaffer, Sadiq, Leonard, Thomas, Ludlam, Jon, Madhavapeddy, Anil

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10803

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

Συγγραφείς: Zhong, Zhiyao, Omar, Cyrus

Θεματικοί όροι: Computer Science - Programming Languages, 68N15, 68U35, D.3.0, K.3.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10781

A Language-Agnostic Logical Relation for Message-Passing Protocols

Συγγραφείς: Zhang, Tesla, Simkin, Sonya, Li, Rui, Yao, Yue, Balzer, Stephanie

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10026

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

Συγγραφείς: Hu, Lifan

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08396

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

Συγγραφείς: de la Torre, Jordi

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Artificial Intelligence

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.10021

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping

Συγγραφείς: Bravetti, Mario, Padovani, Luca, Zavattaro, Gianluigi

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.06078

An Execution Model for RICE

Συγγραφείς: Libby, Steven

Πηγή: EPTCS 421, 2025, pp. 112-129

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.05839

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking

Συγγραφείς: Oza, Neeva, Govil, Ishaan, Gupta, Parul, Khandelwal, Dinesh, Garg, Dinesh, Singla, Parag

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Computation and Language, Computer Science - Machine Learning, Computer Science - Programming Languages, 68-02 (Primary) 68T50, 68T07, 68N19, 68N30 (Secondary), I.2.7, I.2.6, I.2.5, D.3.0, D.3.3, D.3.1, F.3.2, F.3.1, F.3.3, D.2.3, D.2.5

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.04019