Latest Research in Software Engineering

Top Research Topics in Software Engineering

• Artificial Intelligence — 78 papers
• Scientific Computing and Data Management — 54 papers
• Software Engineering — 29 papers
• Adversarial Robustness in Machine Learning — 27 papers
• Computation and Language — 26 papers
• Cryptography and Security — 22 papers
• Access Control and Trust — 20 papers
• Ethics and Social Impacts of AI — 18 papers
• Multi-Agent Systems and Negotiation — 18 papers
• Robotics — 15 papers

Highest-Cited Papers

1. Execution-Time Authorization for AI Agents: A Formal Framework for Deterministic Governance Boundaries (22 citations)
2. The Authorization Boundary Integrity Model (2 citations)
3. Built Systems and Morphogenic Systems (2 citations)
4. Agent READMEs: An Empirical Study of Context Files for Agentic Coding (2 citations)
5. Jasper OS Research Archive (2026) Deterministic Orchestration, Typed Memory, Semantic Graph Reasoning & Multi‑Rail Settlement
6. Potentiality as "It Depends": a Methodology on the Invariantial Binary Authorization of Host Platforms, With an Application to Infinite Regress
7. Autonomous Agents as First-Class Operating System Entities: Formal Architecture, Deterministic Protocols, and Self-Regulating Runtimes
8. VERITAS OS: From Authorization to Verified External Effect in AI Agent Execution Governance
9. Jasper OS Research Archive (2026) Deterministic Orchestration, Typed Memory, Semantic Graph Reasoning & Multi‑Rail Settlement
10. Jasper OS Research Archive (2026) Deterministic Orchestration, Typed Memory, Semantic Graph Reasoning & Multi‑Rail Settlement
11. Constructing a Benchmark When Every Component Is a Language Model
12. DSOS Science Archive — Field Canon Collection
13. Jasper OS Research Archive (2026) Deterministic Orchestration, Typed Memory, Semantic Graph Reasoning & Multi‑Rail Settlement
14. Autonomous Agents as First-Class Operating System Entities: Formal Architecture, Deterministic Protocols, and Self-Regulating Runtimes
15. Constructing a Benchmark When Every Component Is a Language Model
16. Potentiality as "It Depends": a Methodology on the Invariantial Binary Authorization of Host Platforms, With an Application to Infinite Regress
17. From Approval to Execution: Assurance Boundaries in Three Agent Protocols
18. Hashing Is Not Retrieval: A Three-Arm Study of Context Accumulation in Small-Model Code Cartography
19. Beyond Single-Proof Assurance: Multi-Angle Closure Qualification for AI Safety
20. VERITAS OS: From Authorization to Verified External Effect in AI Agent Execution Governance