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
Beyond OAuth: Task-Scoped Authorization for AI Agents via Natural Language Slices
#670527
arXiv (All)
Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring
#670717
arXiv (All)
FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps
#789111
arXiv (OAI Expanded)
FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps
#793115
arXiv (All)
SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs
#797051
arXiv (OAI Expanded)
SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs
#798464
arXiv (All)
Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study
#926851
arXiv (All)
Detecting Soft Errors in Parallel Software with LLM-tuned Instruction Duplication
#1014124
arXiv (All)
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
#144325
arXiv (OAI)
CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark
#155576
arXiv (OAI)
SAIA: a seamless Slurm-native solution for HPC-based services
#164226
Springer Nature OA
T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework
#610915
arXiv (OAI Expanded)
T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework
#612392
arXiv (All)
Compiler-supported reduced precision and AoS-SoA transformations for heterogeneous hardware
#984098
arXiv (All)
Automated Instruction Encoding Synthesis for Modern GPU ISA Compression
#1012834
arXiv (All)
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
#183171
arXiv (OAI)
How can a language whose compiler is written in C ever be faster than C?
#796523
Stack Exchange
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)
#809708
arXiv (OAI Expanded)
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)
#819704
arXiv (All)
Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution
#1035691
arXiv (All)
Sandwich: Joint Configuration Search and Hot-Switching for Efficient CPU LLM Serving
#144330
arXiv (OAI)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
#650549
arXiv (OAI Expanded)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
#652002
arXiv (All)
CUDA-Harness: Harnessing Agentic CUDA Kernel Generation and Optimization from Natural Language
#809544
arXiv (OAI Expanded)
CUDA-Harness: Harnessing Agentic CUDA Kernel Generation and Optimization from Natural Language
#819540
arXiv (All)
Under which Conditions Are Highlighted Multi-attribute Tables more Effective for Decision Making? An Eye-Tracking Study
#447058
Springer Nature OA
L2GT: a line loss analysis method for medium and low-voltage distribution networks
#252045
Springer Nature OA
The AR Fairness Metamodel: A Structured Framework for Fairness Measures
#1013832
arXiv (All)
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
#789569
arXiv (OAI Expanded)
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
#793573
arXiv (All)
Taming Bitwise Behavior in GPU Kernels with Tensor Core: Black-Box Reconstruction, Compiler Enforcement, and Static Verification
#998891
arXiv (All)
WHO constitution; authentic Arabic text
#184005
WHO IRIS
All for one and none forall: Compiling polymorphic relations without monomorphization
#664380
arXiv (OAI Expanded)
All for one and none forall: Compiling polymorphic relations without monomorphization
#665880
arXiv (All)
MIRAGE-CAD: Construction-Mediated Multimodal Generation of Executable CAD Programs
#788914
arXiv (OAI Expanded)
MIRAGE-CAD: Construction-Mediated Multimodal Generation of Executable CAD Programs
#792918
arXiv (All)
Python in the front, party in the Backline: compiling quantum workloads across CPUs, GPUs, and FPGAs
#987035
arXiv (All)
FloatLib: Verified Floating-Point Arithmetic in Lean
#1013949
arXiv (All)
JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
#1037698
arXiv (All)
Extending the quantitative toolset for higher-order programming languages
#124319
HAL (France)
ㅎㅎ쉘: 동심(同心) 계약에 기반한 한글 네이티브 셸 겸 프로그래밍 언어의 설계와 자기호스팅 실증
#420120
Figshare
Kozuchi Agent: A Language-Agnostic Open-Weight Agent for Software Repair
#616235
arXiv (OAI Expanded)
Kozuchi Agent: A Language-Agnostic Open-Weight Agent for Software Repair
#616735
arXiv (All)
Assessing the strength of machine learning and deep learning models for network anomaly detection: insights from multi-dataset cybersecurity analysis
#159390
Springer Nature OA
From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
#609200
arXiv (OAI Expanded)
Relational-Core Graph Analytics Querying graphs at SQL scale, and why the node/edge model is a performance tax, not a truer picture of connected data
#821558
arXiv (All)
Challenges and Opportunities of Mastery-Based Learning: A Student-Centered Analysis in an Upper Division Programming Languages Course
#332985
DigitalCommons@CalPoly
Operational Derivation of the Born Rule and Projective Update in the Enter Calculus
#402197
Figshare
Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries
#614098
arXiv (OAI Expanded)
Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries
#615065
arXiv (All)
← Previous
Page 5 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.