Cover Image

Unsafe Impedance: Safe Languages and Safe by Design Software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barney, Lee, Neto, Adolfo
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
by: Braunsdorf, Oliver, et al.
Published: (2025)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

Safe + Safe = Unsafe? Exploring How Safe Images Can Be Exploited to Jailbreak Large Vision-Language Models
by: Cui, Chenhang, et al.
Published: (2024)

LoRe: A Programming Model for Verifiably Safe Local-First Software
by: Haas, Julian, et al.
Published: (2023)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

Cage: Hardware-Accelerated Safe WebAssembly
by: Fink, Martin, et al.
Published: (2024)

Pacing Types: Safe Monitoring of Asynchronous Streams
by: Kohn, Florian, et al.
Published: (2025)

SafeTree: Expressive Tree Policies for Microservices
by: Grewal, Karuna, et al.
Published: (2025)

Annotating and Auditing the Safety Properties of Unsafe Rust
by: Rao, Zihao, et al.
Published: (2025)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
by: Fromherz, Aymeric, et al.
Published: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
by: Kudasov, Nikolai, et al.
Published: (2024)

LACUNA: Safe Agents as Recursive Program Holes
by: Zhao, Yaoyu, et al.
Published: (2026)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
by: Bagrel, Thomas
Published: (2026)

Thread and Memory-Safe Programming with CLASS
by: Caires, Luís
Published: (2025)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2026)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
by: Deng, Haotian, et al.
Published: (2025)

Safe Inputs but Unsafe Output: Benchmarking Cross-modality Safety Alignment of Large Vision-Language Model
by: Wang, Siyin, et al.
Published: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
by: Rao, Zihao, et al.
Published: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
by: Paraskevopoulou, Zoe, et al.
Published: (2024)

Safe and usable kernel extensions with Rex
by: Jia, Jinghao, et al.
Published: (2025)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
by: Han, Chang, et al.
Published: (2026)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
by: He, Mengting, et al.
Published: (2026)

Safe Memory Reclamation Techniques
by: Singh, Ajay
Published: (2025)

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
by: Gülmez, Merve, et al.
Published: (2023)

Anvil: A General-Purpose Timing-Safe Hardware Description Language
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
by: Castagna, Giuseppe, et al.
Published: (2024)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
by: Esmaeilsabzali, Shahram, et al.
Published: (2025)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
by: Zhang, Kaiwen, et al.
Published: (2026)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
by: Pomian, Dorin, et al.
Published: (2024)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
by: Sim, Hohyun, et al.
Published: (2026)

SafeLawBench: Towards Safe Alignment of Large Language Models
by: Cao, Chuxue, et al.
Published: (2025)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Costa, Diana, et al.
Published: (2024)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Peters, Kirstin, et al.
Published: (2026)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

Introduction to Analytical Software Engineering Design Paradigm
by: Houichime, Tarik, et al.
Published: (2025)