From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

Συγγραφείς: İhsan Ozan Yildirim, Cansu Çetin Er, Ege Keskin, Murat Kuscu, Oğuzhan Ö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

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing

Συγγραφείς: Simone Faro, Francesco Pio Marino, Gabriele Messina

Πηγή: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing. :1-9

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

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

High-level quantum algorithm programming using Silq

Συγγραφείς: Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Πηγή: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing. :1-11

Θεματικοί όροι: 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 computing, programming, silq, quantum algorithms, Quantum Physics (quant-ph), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2409.10231
https://hdl.handle.net/11573/1748867
https://doi.org/10.1145/3731545.3744152

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

Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput

Συγγραφείς: Orlanski, Gabriel, Roberts, Nicholas, Albarghouthi, Aws, Sala, Frederic

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

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

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

Verification of the Release-Acquire Semantics

Συγγραφείς: Abdulla, Parosh, Anastasiadi, Elli, Atig, Mohamed Faouzi, Grahn, Samuel

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

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

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

Towards a Characterization of Two-way Bijections in a Reversible Computational Model

Συγγραφείς: Palazzo, Matteo, Roversi, Luca

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Computer Science - Programming Languages, F.3.2

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

Improving compiler support for SIMD offload using Arm Streaming SVE

Συγγραφείς: Mohamed, Mohamed Husain Noor, Patil, Adarsh, Ionkov, Latchesar, Van Hensbergen, Eric

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

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

Spegion: Implicit and Non-Lexical Regions with Sized Allocations

Συγγραφείς: Hughes, Jack, Vollmer, Michael, Batty, Mark

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

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

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning

Συγγραφείς: Lamouri, Djamel Rassem, Aouadj, Iheb Nassim, Kourta, Smail, Baghdadi, Riyadh

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

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

Policy as Code, Policy as Type

Συγγραφείς: Fuchs, Matthew D.

Θεματικοί όροι: Computer Science - Cryptography and Security, Computer Science - Programming Languages, D.4.6, K.6.5, D.3.2, F.3.1, D.2.4

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

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling

Συγγραφείς: Ishii, Hiromi, Shimizu, Taro, Teramura, Toshiki

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Mathematical Software, Mathematics - Optimization and Control

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

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation

Συγγραφείς: Yin, Jiaqi, Song, Zhan, Agostini, Nicolas Bohm, Tumeo, Antonino, Yu, Cunxi

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

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