Compilers - Jared Shumway
Explore compiler internals, optimization techniques, and security enhancements to improve code efficiency and write better programs.
Quantum Cloud Computing - Prof Elham Kashefi
Explore quantum technology's impact on cloud computing, covering verification, protocols, and secure multi-party computing with Prof Elham Kashefi.
Computer Safety
Explore computer safety issues in critical systems, examining real-world failures, design principles, and industry standards to enhance engineering practices for safer technology.
Red Belly - A Deterministic Scalable Open Permissioned Blockchain
Explore a deterministic, scalable blockchain solution that removes leaders, optimizes superblocks, and implements sharding verification for enhanced performance and efficiency.
Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning
Explore decentralized witness cosigning to enhance authority security, prevent undetected exploits, and ensure public scrutiny of authoritative statements through scalable collective signatures.
CHERI - A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
Explores CHERI architecture for enhanced memory protection and software compartmentalization, demonstrating improved scalability and security benefits over traditional MMU designs.
Did You Mix Me? Formally Verifying Verifiable Mix Nets in Electronic Voting
Explore formal verification of mix nets in electronic voting, focusing on cryptographic properties, software independence, and machine-checked proofs for enhanced security and transparency.
When Function Signature Recovery Meets Compiler Optimization
Explore function signature recovery techniques and their interaction with compiler optimizations, addressing challenges and presenting improved methodologies for enhanced code analysis.
Foundations of Dynamic BFT
Explore dynamic Byzantine Fault Tolerance, its challenges, and concrete constructions like Dyno. Learn definitions, related works, and evaluation methods in this comprehensive overview.
CoSMeDis - A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
Explore a distributed social media platform with formal confidentiality guarantees. Learn about design, implementation, and verification of information flow security in a multi-node system.
Formally Verified Cryptographic Web Applications in WebAssembly
Explore formal verification of cryptographic web apps in WebAssembly, focusing on compiling Low* to WebAssembly for compact, auditable code. Includes case studies on WHACL* and LibSignal*.
What Is Platform Engineering and How It Fits Into DevOps and Cloud World
Explore platform engineering's role in DevOps and cloud, its responsibilities, and how it implements internal developer platforms to streamline development processes and improve efficiency.
GPU/JVM Cooperation - Optimizing Java Performance with GPU Integration
Explore GPU/JVM cooperation, optimization techniques, and performance enhancements for Java applications leveraging GPU capabilities.
One VM to Rule Them All
Explore GraalVM's capabilities for running multiple programming languages efficiently on a single virtual machine, enhancing performance and interoperability.
Designing Functional Programs: From Imperative to Functional Paradigm
Learn functional programming principles and design techniques to build practical applications with immutability and higher-order functions, shifting from imperative and object-oriented paradigms.
High Availability with BGP - Metal Monday
Explore high availability using BGP on Equinix Metal. Learn about bare metal challenges, BGP basics, and configure nginx, haproxy, and bird for robust load balancing and routing.
Introduction to Kube-VIP - Bare Metal Load Balancing for Kubernetes
Explore kube-vip for bare metal Kubernetes load balancing. Learn about Plunder for server provisioning and see practical demos of control plane HA and service load balancing.
Event Sourcing and Event-Driven Architecture in Software Development
Explore event-driven architecture with Frank, a staff engineer at Personio. Learn about event sourcing, CQRS, and their intersection with microservices, as well as challenges and future prospects.
Hands-on Introduction to vcluster - Kubernetes Multi-Tenancy Solution
Explore vcluster for Kubernetes multi-tenancy: installation, functionality, and deploying different versions. Learn how this lightweight tool enhances cluster management and improves developer workflows.
Monitoring and Scaling Laravel on Kubernetes
Explore auto-scaling Laravel on Kubernetes using metrics, including HPA setup, Metric Server deployment, and Linkerd sidecar integration for enhanced monitoring and performance optimization.
High Availability with Docker and Java EE
Explore containerization for Java projects, covering technology, pitfalls, and practical implementation. Learn to deploy and run your own containers for improved delivery.