Automating Application Builds with AWS - Dyalog '22
Explore automating application builds using AWS resources for on-demand releases, covering VM creation, tooling installation, and efficient deployment processes.
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
Explore a verified monadic interpreter for WebAssembly, its adoption as a fuzzing oracle, and its performance compared to other interpreters and oracles.
Compiler Support for Structured Data
Explore compiler techniques for efficiently handling structured data, enhancing performance and optimization in programming languages.
Bringing the WebAssembly Standard up to Speed with SpecTec
Explore SpecTec, a DSL toolchain streamlining WebAssembly specification and feature standardization. Learn how it generates artifacts, detects errors, and aims to revolutionize Wasm standards development.
Supporting Trusted Virtual Machines with Hardware-based Secure Remote Memory
Explore hardware-assisted secure memory disaggregation, combining trusted VMs with a dedicated engine for efficient isolation and protection of remote memory pages, ensuring confidentiality and integrity.
Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers
Explore techniques to bridge abstraction gaps in VM tooling using Language Level Ordinary Object Pointers, enhancing debugging and error resolution in Pharo environments.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Explore a novel technique for improving AST interpreter performance through automatically generated supernodes, enhancing execution speed and reducing JIT compiler pressure in programming language implementations.
Towards Modular Specification and Verification of Concurrent Hypervisor-based Isolation
Explore modular specification and verification of NOVA microhypervisor using concurrent separation logic. Discover challenges in formally verifying concurrent systems for enhanced virtualization and isolation.
Crosys: Cross Architectural Dynamic Analysis for IoT Malware
Explore Crosys, a novel method for dynamic analysis of multi-architectural binaries through intermediate language interpretation and binary rewriting, addressing IoT malware analysis challenges.
When the Cloud's Reign is Over - Evaluating Cloud Computing Cost-Effectiveness
Explore cost-effectiveness of cloud computing vs. in-house infrastructure, considering scalability, regulatory compliance, and long-term financial implications for businesses beyond a certain scale.
Change Data Capture with Elixir and Debezium - ElixirConf EU23
Explore change data capture using Elixir and Debezium, covering technical debt, state sharing, and advanced solutions for data replication and consistency.
Enterprise Flight with Azure Landing Zone
Explore Azure Landing Zone implementation strategies, from Cloud Adoption Framework to deployment options, for efficient enterprise-level cloud migration and management.
How We Almost Secured Our Project by Writing More Tests
Explore how increased testing nearly secured a project, delving into code coverage, seccomp profiles, and syscall extraction. Learn about Harpoon and the benefits of libbpfgo in Golang development.
The Streaming Plane - Bridging Operational and Analytical Data
Explore the streaming plane concept, data gravity, and efficient data movement strategies for platform engineering. Learn about synchronous vs asynchronous serving and optimizing global data replication.
Building an IoT Monitoring App with InfluxDB
Aprenda a construir um aplicativo de monitoramento IoT usando InfluxDB e Flask, explorando replicação edge-to-cloud e técnicas avançadas de gerenciamento de dados em tempo real.
How to Generate Test Data for Your Database Project
Generate realistic test data for database projects using Python libraries and techniques. Improve development and testing processes.
Kubernetes for the Virtualization Admin - Conf42 Kube Native 2023
Explore Kubernetes architecture, components, and benefits for virtualization admins. Learn about container orchestration, cluster structure, and key concepts like pods and deployments.
Atomic Red Team: Closing the Gap with Threat Actors
Explore Atomic Red Team for effective threat simulation, bridging the gap with real-world attackers. Learn practical techniques to enhance incident response and cybersecurity preparedness.
There's No Place Like Production - Lessons from Incident Management
Explore production challenges, incident management, and structured logging. Learn from real-world experiences and gain insights into effective incident response and review processes.
Simplifying Kafka Governance for Developers
Explore Kafka governance simplification using Klaw. Learn about architecture, approval processes, and practical demonstrations for efficient Kafka management in DevSecOps environments.