Image de couverture de livre

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Shi, Jieke, He, Junda, Yang, Zhou, Žikelić, Đorđe, Lo, David
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
par: Shi, Jieke, et autres
Publié: (2024)

Efficient and Green Large Language Models for Software Engineering: Literature Review, Vision, and the Road Ahead
par: Shi, Jieke, et autres
Publié: (2024)

Greening Large Language Models of Code
par: Shi, Jieke, et autres
Publié: (2023)

Curiosity-Driven Testing for Sequential Decision-Making Process
par: He, Junda, et autres
Publié: (2025)

Ecosystem of Large Language Models for Code
par: Yang, Zhou, et autres
Publié: (2024)

Compiling Code LLMs into Lightweight Executables
par: Shi, Jieke, et autres
Publié: (2026)

LLM-as-a-Judge for Software Engineering: Literature Review, Vision, and the Road Ahead
par: He, Junda, et autres
Publié: (2025)

From Code to Courtroom: LLMs as the New Software Judges
par: He, Junda, et autres
Publié: (2025)

ACECode: A Reinforcement Learning Framework for Aligning Code Efficiency and Correctness in Code Language Models
par: Yang, Chengran, et autres
Publié: (2024)

AgentSZZ: Teaching the LLM Agent to Play Detective with Bug-Inducing Commits
par: Lyu, Yunbo, et autres
Publié: (2026)

LLM-Based Multi-Agent Systems for Software Engineering: Literature Review, Vision and the Road Ahead
par: He, Junda, et autres
Publié: (2024)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
par: Huang, Huihui, et autres
Publié: (2026)

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
par: Wang, Bo, et autres
Publié: (2025)

Think Like Human Developers: Harnessing Community Knowledge for Structured Code Reasoning
par: Yang, Chengran, et autres
Publié: (2025)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
par: Chang, Jianming, et autres
Publié: (2025)

Unveiling Memorization in Code Models
par: Yang, Zhou, et autres
Publié: (2023)

A Functional Software Reference Architecture for LLM-Integrated Systems
par: Bucaioni, Alessio, et autres
Publié: (2025)

Artificial Intelligence for Software Architecture: Literature Review and the Road Ahead
par: Bucaioni, Alessio, et autres
Publié: (2025)

Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
par: Yang, Zhou, et autres
Publié: (2023)

Can LLMs Deobfuscate Binary Code? A Systematic Analysis of Large Language Models into Pseudocode Deobfuscation
par: Hu, Li, et autres
Publié: (2026)

Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
par: Hu, Han, et autres
Publié: (2025)

PTM4Tag+: Tag Recommendation of Stack Overflow Posts with Pre-trained Models
par: He, Junda, et autres
Publié: (2024)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
par: Ma, Chengyan, et autres
Publié: (2026)

"My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding Assistants
par: Lyu, Yunbo, et autres
Publié: (2025)

Representation Learning for Stack Overflow Posts: How Far are We?
par: He, Junda, et autres
Publié: (2023)

ESG Reporting Lifecycle Management with Large Language Models and AI Agents
par: Hoang, Thong, et autres
Publié: (2026)

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection
par: Li, Yikun, et autres
Publié: (2026)

Assessing and Advancing Benchmarks for Evaluating Large Language Models in Software Engineering Tasks
par: Hu, Xing, et autres
Publié: (2025)

PenForge: On-the-Fly Expert Agent Construction for Automated Penetration Testing
par: Huang, Huihui, et autres
Publié: (2026)

APIDocBooster: An Extract-Then-Abstract Framework Leveraging Large Language Models for Augmenting API Documentation
par: Yang, Chengran, et autres
Publié: (2023)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
par: Ma, Chengyan, et autres
Publié: (2026)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
par: Niu, Yuqing, et autres
Publié: (2025)

Hotfixing Large Language Models for Code
par: Yang, Zhou, et autres
Publié: (2024)

Identifying and Mitigating API Misuse in Large Language Models
par: Zhuo, Terry Yue, et autres
Publié: (2025)

PatchZero: Zero-Shot Automatic Patch Correctness Assessment
par: Zhou, Xin, et autres
Publié: (2023)

LIDL: LLM Integration Defect Localization via Knowledge Graph-Enhanced Multi-Agent Analysis
par: Tan, Gou, et autres
Publié: (2026)

APISENSOR: Robust Discovery of Web API from Runtime Traffic Logs
par: Yang, Yanjing, et autres
Publié: (2026)

Assessing the Interpretability of Programmatic Policies with Large Language Models
par: Bashir, Zahra, et autres
Publié: (2023)

Hidden Licensing Risks in the LLMware Ecosystem
par: Wang, Bo, et autres
Publié: (2026)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
par: Souza, Beatriz, et autres
Publié: (2026)