Imagen de Portada

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Esmaeilsabzali, Shahram, Khalatyan, Arayi, Mo, Zhijun, Venkatanarayanan, Sruthi, Xu, Shengjie
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages D.3.0
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Derivative-Guided Symbolic Execution
por: Yuan, Yongwei, et al.
Publicado: (2024)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
por: de Medeiros, Sérgio Queiroz, et al.
Publicado: (2024)

From Batch to Stream: Automatic Generation of Online Algorithms
por: Wang, Ziteng, et al.
Publicado: (2024)

Let's Take Esoteric Programming Languages Seriously
por: Singer, Jeremy, et al.
Publicado: (2025)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
por: Nagy, Shaan, et al.
Publicado: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
por: Shirzad, Mohammad Robati, et al.
Publicado: (2024)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
por: Mishra, Ashish, et al.
Publicado: (2025)

Multi-Language Benchmark Generation via L-Systems
por: da Silva, Vinícius Francisco, et al.
Publicado: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
por: Zhou, Zhe, et al.
Publicado: (2024)

Homomorphism Calculus for User-Defined Aggregations
por: Wang, Ziteng, et al.
Publicado: (2025)

Program Analysis via Multiple Context Free Language Reachability
por: Conrado, Giovanna Kobus, et al.
Publicado: (2024)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
por: Guo, Xiangyu, et al.
Publicado: (2024)

Improving stableKanren's Backward Compatibility
por: Guo, Xiangyu, et al.
Publicado: (2024)

Statically Contextualizing Large Language Models with Typed Holes
por: Blinn, Andrew, et al.
Publicado: (2024)

VeriFx: Correct Replicated Data Types for the Masses
por: De Porre, Kevin, et al.
Publicado: (2022)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
por: Akbarpour, Nikta, et al.
Publicado: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
por: Zeng, Zhengran, et al.
Publicado: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
por: Pu, Yewen, et al.
Publicado: (2023)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

Modular GPU Programming with Typed Perspectives
por: Bansal, Manya, et al.
Publicado: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
por: Wang, Chengpeng, et al.
Publicado: (2024)

Local connectivity of boundaries of tame Fatou components of meromorphic functions
por: Barański, Krzystof, et al.
Publicado: (2023)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
por: Zhong, Zhiyao, et al.
Publicado: (2025)

Order positive fields II
por: Korovina, Margarita, et al.
Publicado: (2025)

ACPO: AI-Enabled Compiler Framework
por: Ashouri, Amir H., et al.
Publicado: (2023)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
por: Helbling, Caleb, et al.
Publicado: (2026)

Critical Design Strategy: a Method for Heuristically Evaluating Visualisation Designs
por: Roberts, Jonathan C., et al.
Publicado: (2025)

Re-thinking Memory-Bound Limitations in CGRAs
por: Liu, Xiangfeng, et al.
Publicado: (2025)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
por: Ashouri, Amir H., et al.
Publicado: (2026)

On the structure and classification of solutions to certain nonlinear differential equations
por: Banerjee, Abhijit, et al.
Publicado: (2026)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
por: Saberi, Iman, et al.
Publicado: (2023)

Anti-Gauss cubature rules with applications to Fredholm integral equations on the square
por: de Alba, Patricia Diaz, et al.
Publicado: (2023)

CTF as a Service: A reproducible and scalable infrastructure for cybersecurity training
por: Miguel, Carlos Jimeno, et al.
Publicado: (2026)

POLYDIM: A C++ library for POLYtopal DIscretization Methods
por: Berrone, Stefano, et al.
Publicado: (2025)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
por: McCann, Alan L.
Publicado: (2026)

Further Investigations on Weighted Value Sharing and Uniqueness of Meromorphic Functions
por: Saha, Sudip, et al.
Publicado: (2024)

On Bloch's "Principle of topological continuity''
por: Bergweiler, Walter, et al.
Publicado: (2023)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
por: Erhard, Julian, et al.
Publicado: (2024)

Relationship between the value-sharing behavior of an entire function and its derivative, and the analytic structure of a nonlinear differential equation
por: Xu, Junfeng, et al.
Publicado: (2025)