Conceptio
›
programming-languages
Topic
programming-languages
Knowledge-graph topic
· documents ABOUT programming-languages across the archive
229
Documents about programming-languages
Documents about programming-languages
From C to Idiomatic Rust: A Ship-of-Theseus Agentic Translation
#789805
arXiv (OAI Expanded)
M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
#793612
arXiv (All)
From C to Idiomatic Rust: A Ship-of-Theseus Agentic Translation
#793810
arXiv (All)
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
#797328
arXiv (OAI Expanded)
Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents
#797505
arXiv (OAI Expanded)
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
#798742
arXiv (All)
Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents
#798919
arXiv (All)
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
#799938
arXiv (All)
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
#927162
arXiv (All)
CPL: A Compact C-like Systems Language with Explicit Low-Level Control
#971563
arXiv (All)
Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
#985023
arXiv (All)
From Code to Career: Assessing Competitive Programmers for Industry Placement
#1013178
arXiv (All)
Expressing NumPy Broadcasting via Verb Rank in J
#1013706
arXiv (All)
The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs
#1014201
arXiv (All)
Mapping the landscape of software vulnerabilities in connected vehicles
#686946
Springer Nature OA
Less is more: usefulness of data flow diagrams and large language models for security threat validation
#130606
Springer Nature OA
The Capstone game factory: From throwaway projects to legacy software
#456088
Springer Nature OA
Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
#153057
arXiv (OAI)
ChipVerilog: A Large-Scale OpenCores-Derived Benchmark for LLM-Based Verilog RTL Generation
#614130
arXiv (OAI Expanded)
ChipVerilog: A Large-Scale OpenCores-Derived Benchmark for LLM-Based Verilog RTL Generation
#615097
arXiv (All)
Titanium Language Reference Manual (Version 2.19)
#619895
eScholarship
Relational Task Generation Language: A Declarative Specification Framework for Relational Deep Learning
#821244
arXiv (All)
Design Docs Are All You Need: An AI-native Machine-Learning Performance Tool
#972292
arXiv (All)
Titanium Language Reference Manual (Version 1.5)
#983386
eScholarship
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
#998232
arXiv (All)
Folding the dragon
#999761
arXiv (All)
BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
#1013446
arXiv (All)
The epiDiagram and Some Other Conceptual Resources for Interdisciplinary Diagram Research
#447060
Springer Nature OA
Using digital traces to analyze software work: skills, careers and programming languages
#128364
arXiv (OAI)
Can a dynamic language like Ruby/Python reach C/C++ like performance?
#796568
Stack Exchange
Nova: An End-to-End MLIR Compiler for Deep Learning
#821968
arXiv (All)
GadIR: A Spatial-Topology Preserving Compiler for Quantum Many-Body Systems Simulation
#822198
arXiv (All)
Enhancing the Power of Polyhedral-Based Optimizations with Coordinate-Based Hill Climbing
#925478
arXiv (All)
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
#1034630
arXiv (All)
Multithreaded Parallelism: Languages and Compilers
#3459
MIT OpenCourseWare
Do programming languages still matter to your AI coding agent teammate? Evidence at scale from chess engines
#271909
arXiv CS
Solid applications of category theory in TCS?
#787508
Stack Exchange
Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
#788957
arXiv (OAI Expanded)
Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
#792961
arXiv (All)
How are variables stored in and retrieved from the program stack?
#796601
Stack Exchange
POLYFLOW: A Neuro-Symbolic Framework for Static Cross-Language Information Flow Analysis
#797019
arXiv (OAI Expanded)
POLYFLOW: A Neuro-Symbolic Framework for Static Cross-Language Information Flow Analysis
#798432
arXiv (All)
Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving
#927427
arXiv (All)
JLIR: A Julia-Native MLIR-Inspired Intermediate Representation with Automatic JACC Kernel Extraction
#927860
arXiv (All)
Beyond Lemma Sharing -- Novel Parallelization Strategies for Property Directed Reachability
#972493
arXiv (All)
MSLL: A Runtime Multi-Stack Parsing Approach for Interactive Grammar Development - A Lightweight Extension of LL-Style Recursive Descent
#1013272
arXiv (All)
The Metamorphosis of an Introduction to Computer Science.
#333195
ERIC
High School Computer Science Education: A Five-State Study.
#333329
ERIC
Beyond OAuth: Task-Scoped Authorization for AI Agents via Natural Language Slices
#668462
arXiv (OAI Expanded)
Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring
#668652
arXiv (OAI Expanded)
← Previous
Page 4 of 6
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.