Conceptio
›
software-architecture
Topic
software-architecture
Knowledge-graph topic
· documents ABOUT software-architecture across the archive
2,242
Documents about software-architecture
Documents about software-architecture
Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
#155370
arXiv CS
EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
#155380
arXiv CS
AOCI: Symbolic-Semantic Indexing for Practical Repository-Scale Code Understanding with LLMs
#155387
arXiv CS
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
#155388
arXiv CS
SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
#155396
arXiv CS
To What Extent Does Agent-generated Code Require Maintenance? An Empirical Study
#168373
arXiv CS
Beyond Accuracy: Policy Invariance as a Reliability Test for LLM Safety Judges
#168380
arXiv CS
BUILD-AND-FIND: An Effort-Aware Protocol for Evaluating Agent-Managed Codebases
#168381
arXiv CS
Breaking, Stale, or Missing? Benchmarking Coding Agents on Project-Level Test Evolution
#168382
arXiv CS
Schedule-and-Calibrate: Utility-Guided Multi-Task Reinforcement Learning for Code LLMs
#168383
arXiv CS
Mise en Place for Agentic Coding: Deliberate Preparation as Context Engineering Methodology
#168392
arXiv CS
How Does Chunking Affect Retrieval-Augmented Code Completion? A Controlled Empirical Study
#168400
arXiv CS
UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
#168404
arXiv CS
Towards Robust LLM Post-Training: Automatic Failure Management for Reinforcement Fine-Tuning
#168413
arXiv CS
GraphInstruct: A Progressive Benchmark for Diagnosing Capability Gaps in LLM Graph Generation
#175330
arXiv CS
RubricRefine: Improving Tool-Use Agent Reliability with Training-Free Pre-Execution Refinement
#175334
arXiv CS
MACAA: Belief-Revision Multi-Agent Reasoning for Open-World Code Authorship Verification
#175338
arXiv CS
Detect, Localize, and Explain: Interactive Hierarchical Log Anomaly Analytics with LLM Augmentation
#175343
arXiv CS
Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference
#178933
arXiv CS
Characterizing the Failure Modes of LLMs in Resolving Real-World GitHub Issues
#178935
arXiv CS
HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
#178940
arXiv CS
The Readability Spectrum: Patterns, Issues, and Prompt Effects in LLM-Generated Code
#180721
arXiv CS
TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
#180727
arXiv CS
Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
#180731
arXiv CS
Grid-Orch: An LLM-Powered Orchestrator for Distribution Grid Simulation and Analytics
#180732
arXiv CS
When Retrieval Hurts Code Completion: A Diagnostic Study of Stale Repository Context
#187378
arXiv CS
From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
#195547
arXiv CS
ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
#195551
arXiv CS
Compositional Jailbreaking: An Empirical Analysis of Mutator Chain Interactions in Aligned LLMs
#195553
arXiv CS
Firefly: Illuminating Large-Scale Verified Tool-Call Data Generation from Real APIs
#200558
arXiv CS
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
#200562
arXiv CS
A semantic mutation metric for metamorphic relation adequacy in scientific computing programs
#200565
arXiv CS
OpenHealth Lake: Designing and testing a data lakehouse platform for health applications
#204839
arXiv CS
Restructure This: Using AI to Restructure Onboarding Documents to Reduce Cognitive Overload
#204857
arXiv CS
Benchmarking and Improving Monitors for Out-Of-Distribution Alignment Failure in LLMs
#216896
arXiv CS
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
#216897
arXiv CS
An Event-Driven Tool for Context-Aware Code Smell Detection Using SmellDSL
#216914
arXiv CS
Privacy-by-Design Adaptive Group Assignment for Digital Lifestyle Coaching at Scale
#216917
arXiv CS
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
#216918
arXiv CS
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
#229560
arXiv CS
Beyond Summaries: Structure-Aware Labeling of Code Changes with Large Language Models
#229571
arXiv CS
Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
#229595
arXiv CS
Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning
#229596
arXiv CS
Do LLMs Favor Their Providers? Measuring Vertical Integration Bias in Code Generation
#241574
arXiv CS
From Failed Trajectories to Reliable LLM Agents: Diagnosing and Repairing Harness Flaws
#259533
arXiv CS
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
#259537
arXiv CS
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
#259540
arXiv CS
Econstellar: An Open-Source AI-Augmented Research Engine for Computational Financial Econometrics
#259543
arXiv CS
STMutants: A Mutation Testing Dataset for Structured Text Programs in Industrial Automation
#259550
arXiv CS
REStack: A Large-Scale Dataset of Reverse Engineering Discussions from Stack Exchange
#259551
arXiv CS
← Previous
Page 14 of 20
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.