Software Design Courses

USENIX

NetTLP - A Development Platform for PCIe Devices in Software Interacting with Hardware

Explore NetTLP, a platform for developing PCIe devices that enables software-hardware interaction. Learn about its potential impact on datacenter networks and low-latency, high-bandwidth packet delivery.

• YouTube
• 20 minutes
• Self-Paced
• Conference Talk

USENIX

Software Networking and Interfaces on Linux

Comprehensive overview of Linux network interfaces, from traditional to modern cloud-native types. Explores VMs, containers, and service meshes, aiding in debugging cloud platforms.

• YouTube
• 57 minutes
• Self-Paced
• Conference Talk

USENIX

Shipping Software with an SRE Mindset

Explore how SRE techniques can be applied to on-premise software delivery, enhancing construction, packaging, and shipment processes for improved reliability and customer satisfaction.

• YouTube
• 27 minutes
• Self-Paced
• Conference Talk

USENIX

Circonus - Design Failures Case Study

Explore Circonus platform's evolution, including architectural changes and lessons learned from failures in telemetry management and SLO implementation for system reliability.

• YouTube
• 41 minutes
• Self-Paced
• Conference Talk

USENIX

Design and Verification of the Arm Confidential Compute Architecture

Explores Realms, a new confidential computing abstraction protecting data privacy in virtual machines. Introduces novel verification techniques for secure firmware in complex, concurrent systems.

• YouTube
• 19 minutes
• Self-Paced
• Conference Talk

USENIX

BlockFlex - Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms

Explore BlockFlex, a learning-based framework for efficient storage harvesting in cloud platforms, enabling fine-grained resource utilization while ensuring performance and security isolation.

• YouTube
• 16 minutes
• Self-Paced
• Conference Talk

USENIX

Justitia - Software Multi-Tenancy in Hardware Kernel-Bypass Networks

Explore software multi-tenancy in hardware kernel-bypass networks, addressing challenges in network sharing policies while preserving low latency and CPU efficiency in modern datacenters.

• YouTube
• 15 minutes
• Self-Paced
• Conference Talk

USENIX

Sustainable Software Engineering and SREs

Explore how SREs can champion technical, operational, and environmental sustainability efforts, balancing reliability with eco-friendly practices in software engineering.

• YouTube
• 19 minutes
• Self-Paced
• Conference Talk

IEEE

How Does Usable Security Not End Up in Software Products - Results From a Qualitative Interview Study

Explore findings from qualitative interviews on the challenges of implementing usable security in software products, revealing insights for developers and security professionals.

• YouTube
• 22 minutes
• Self-Paced
• Conference Talk

IEEE

TASHAROK - Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems

Explore mechanism design for optimizing security resource allocation in interconnected systems, enhancing overall protection and addressing interdependencies.

• YouTube
• 25 minutes
• Self-Paced
• Conference Talk

IEEE

Reasoning Analytically About Password Cracking Software

Efficient techniques for analyzing transformation-based password cracking software, enabling improved attack configurations and scientific reasoning about real-world password-guessing attacks.

• YouTube
• 20 minutes
• Self-Paced
• Conference Talk

IEEE

Hackers vs. Testers - A Comparison of Software Vulnerability Discovery Processes

Explore the processes, skills, and challenges of software testers and white-hat hackers in identifying security vulnerabilities, based on a comparative study of 25 professionals.

• YouTube
• 21 minutes
• Self-Paced
• Conference Talk

IEEE

Toward a LangSec Software Development Lifecycle

Explore the integration of Language-theoretic Security principles into software development lifecycles, enhancing security and reliability in system design and implementation.

• YouTube
• 43 minutes
• Self-Paced
• Conference Talk

IEEE

Noise-SDR - Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software and Its Impact on Emission Security

Explore how unprivileged software can modulate electromagnetic noise, affecting emission security. Discover potential implications for data protection and system vulnerabilities.

• YouTube
• 15 minutes
• Self-Paced
• Conference Talk

IEEE

SoK - Practical Foundations for Software Spectre Defenses

Explore practical foundations for software Spectre defenses, covering key strategies and techniques to mitigate this critical security vulnerability in modern processors.

• YouTube
• 16 minutes
• Self-Paced
• Conference Talk