Gender Based Violence Courses

ACM SIGPLAN

Rapid: Region-Based Pointer Disambiguation for Efficient Memory Optimization

Explore Rapid, a tool for efficient pointer disambiguation using region-based allocation. Learn about its performance benefits, low-overhead allocator, and improved dynamic checks for compiler optimizations.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Validating IoT Devices with Rate-Based Session Types

Explore a novel framework for implementing and validating rate-based message passing systems in IoT domains using session types, ensuring rate error freedom and type preservation.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Modular Verification of Op-Based CRDTs in Separation Logic

Explore modular verification of op-based CRDTs using separation logic. Learn about Reliable Causal Broadcast and OpLib for simplified CRDT implementation and correctness proofs.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems

Preserve consistency of interrelated models during view-based evolution of variable systems. Unify variability management and leverage view-based consistency for systems with diverse models.

• YouTube
• 17 minutes
• Self-Paced
• Free Video

Dyalog User Meetings

Dyalog Tools Update - Enhancing APL-Based Programming and Development

Explore Dyalog's APL-based tools for programming, system interaction, and application development. Learn about web enabling, data handling, and interface improvements.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

Dyalog User Meetings

Converting a COM Server to a Jarvis-based Web Service - Dyalog '23

Explore the migration process from APL+Win to Dyalog, focusing on converting a COM Server to a Jarvis-based web service and deploying as a Docker container.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

Dyalog User Meetings

Dyalog, AWS, Jarvis, and Docker - Building a Cloud-Based Financial Application

Explore cloud deployment of financial applications using Dyalog, AWS, Jarvis, and Docker. Learn RESTful API creation, collaborative development, and automated workflows.

• YouTube
• 23 minutes
• Self-Paced
• Free Video

KansasFest

Apple2TS: Latest Developments in Browser-Based Apple IIe Emulation - KansasFest 2024

Explore the latest features of Apple2TS, a browser-based Apple IIe emulator, including Mockingboard support, MIDI, printing, and advanced debugging tools.

• YouTube
• 47 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

Guest Private Memory for Software-Based Hypervisors

Explore advanced techniques for implementing guest private memory in software-based hypervisors, enhancing security and performance in virtualized environments.

• YouTube
• 23 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

User-Space Only Uprobes - Could a BPF-Based vDSO Help?

Explore user-space uprobes and potential BPF-based vDSO solutions for enhanced performance and functionality in Linux systems.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

Pagetable-based Virtual Machine (PVM) as a PV Flavor for KVM

Explore Pagetable-based Virtual Machine (PVM) as a PV flavor for KVM, understanding its implementation and benefits for virtualization technology.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

Wattson: Trace-Based Power and Energy Estimation

Explore trace-based power and energy estimation techniques for efficient system analysis and optimization.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

Linux Kernel and BPF-Based Networking Debugger: pwru

Explore a powerful Linux kernel and BPF-based networking debugger for efficient troubleshooting and performance analysis in complex network environments.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

Challenges in Developing Trustworthy Linux-Based Systems in an Open-Source Way

Explore challenges and solutions for developing trustworthy Linux-based systems using open-source methodologies, focusing on security and reliability considerations.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

ublk-Based Zero Copy I/O - Use Case in Android

Explore ublk-based zero-copy I/O implementation in Android, enhancing storage performance and efficiency for mobile devices.

• YouTube
• 12 minutes
• Self-Paced
• Free Video