Search Results - "Computer Science - Programming Languages"

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

Authors: İhsan Ozan Yildirim Cansu Çetin Er Ege Keskin et al.

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

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

Authors: Simone Faro Francesco Pio Marino Gabriele Messina

Source: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing. :1-9

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

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

High-level quantum algorithm programming using Silq

Authors: Viktorija Bezganovic Marco Lewis Sadegh Soudjani et al.

Source: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing. :1-11

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2409.10231
https://hdl.handle.net/11573/1748867
https://doi.org/10.1145/3731545.3744152

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects

Authors: Noam Zilberstein

Source: ACM Transactions on Programming Languages and Systems. 47:1-71

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

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

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Authors: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

Source: ACM Transactions on Programming Languages and Systems. 47:1-56

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

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

2-Functoriality of Initial Semantics, and Applications

Authors: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux et al.

Contributors: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux et al.

Source: Proceedings of the ACM on Programming Languages. 9:643-674

Subject Terms: Initial semantics, FOS: Computer and information sciences, Computer Science - Programming Languages, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], FOS: Mathematics, Monoidal categories, Mathematics - Category Theory, Category Theory (math.CT), Substitution, Theory of computation→Categorical semantics, Variable binding, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2503.10863
https://hal.science/hal-05201321v1
https://doi.org/10.1145/3747527

CompilerDream: Learning a Compiler World Model for General Code Optimization

Authors: Chaoyi Deng Jialong Wu Ningya Feng et al.

Source: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. :486-497

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

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

Checkification: A Practical Approach for Testing Static Analysis Truths

Authors: DANIELA FERREIRO IGNACIO CASSO JOSE F. MORALES et al.

Source: Theory and Practice of Logic Programming. :1-38

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

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

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)

Authors: Rupprecht, Sophia Hounat, Yassine Kumar, Monisha et al.

Source: Systems and Control Transactions. 4:1706-1711

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

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

Rel: A Programming Language for Relational Data

Authors: Aref, Molham Guagliardo, Paolo Kastrinis, George et al.

Contributors: Aref, Molham Guagliardo, Paolo Kastrinis, George et al.

Source: Companion of the 2025 International Conference on Management of Data. :283-296

Subject Terms: FOS: Computer and information sciences, Relational data model, Computer Science - Programming Languages, Computer Science - Databases, Impedance mismatch, Programming in the large, Query language design, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Relational knowledge graph, Databases (cs.DB), Relational pro- gramming, Graph normal form, Programming Languages (cs.PL)

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

RTL++: Graph-enhanced LLM for RTL Code Generation

Authors: Akyash, Mohammad Azar, Kimia Kamali, Hadi

Source: 2025 IEEE International Conference on LLM-Aided Design (ICLAD). :44-50

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Hardware Architecture (cs.AR), Computer Science - Hardware Architecture, Programming Languages (cs.PL), Machine Learning (cs.LG)

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

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis

Authors: Li, Zeju Xu, Changran Shi, Zhengyuan et al.

Source: 2025 IEEE International Conference on LLM-Aided Design (ICLAD). :204-211

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

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

LitmusKt: Concurrency Stress Testing for Kotlin

Authors: Denis Lochmelis Evgenii Moiseenko Yaroslav Golubev et al.

Source: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :1074-1078

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

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

The Incredible Shrinking Context... in a Decompiler Near You

Authors: Sifis Lagouvardos Yannis Bollanos Neville Grech et al.

Source: Proceedings of the ACM on Software Engineering. 2:1350-1373

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

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

Integrating Large Language Models and Reinforcement Learning for Non-linear Reasoning

Authors: Yoav Alon Cristina David

Source: Alon, Y & David, C 2025, Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning. in FSE '25 : ACM International Conference on the Foundations of Software Engineering (FSE)., FSE044, Proceedings of the ACM on Software Engineering, no. FSE, vol. 2, Association for Computing Machinery (ACM), pp. 957-977, The ACM International Conference on the Foundations of Software Engineering (FSE) 2025, Trondheim, Norway, 23/07/25. https://doi.org/10.48550/arXiv.2410.13501, https://doi.org/10.1145/3715761

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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2410.13501
https://research-information.bris.ac.uk/en/publications/78264631-2a85-4148-9fea-2e439ddf702e
https://hdl.handle.net/1983/78264631-2a85-4148-9fea-2e439ddf702e

CoverUp: Effective High Coverage Test Generation for Python

Authors: Juan Altmayer Pizzorno Emery D. Berger

Source: Proceedings of the ACM on Software Engineering. 2:2897-2919

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, D.2.5, I.2.0, Machine Learning (cs.LG), Programming Languages (cs.PL)

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

FSLH: Flexible Mechanized Speculative Load Hardening

Authors: Baumann, Jonathan Blanco, Roberto Ducruet, Léon et al.

Source: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :569-584

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

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

Gradual Sensitivity Typing

Authors: Arquez, Damian Toro, Matías Tanter, Éric

Source: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :553-568

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

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

Memory Consistency and Program Transformations

Authors: Akshay Gopalakrishnan Clark Verbrugge Mark Batty

Source: Formal Aspects of Computing. 37:1-42

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

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

Fully Randomized Pointers

Authors: Sai Dhawal Phaye Gregory J. Duck Roland H. C. Yap et al.

Source: Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management. :94-108

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

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