How to Build a Google Photos Clone in Java
Build a Google Photos-like application in Java, covering testing, code reviews, multithreading, databases, and advanced features like JUnit dynamic tests and native executables.
Exploit Parallelism for AI Workloads with WASM and OpenMP
Explore optimizing AI workloads using WebAssembly and OpenMP for multithreaded, shared memory, and vectorized operations, focusing on challenges and benefits in cloud computing environments.
Climbing the Ladder of Abstraction Towards the Cloud-to-Edge Continuum
Exploring the future of Cloud-to-Edge computing, this talk presents innovative solutions for simplifying development, enhancing data management, and optimizing application deployment across the entire infrastructure spectrum.
Developing Embedded Applications Faster: Comparing C and Golang
Explore the advantages of Golang over C for embedded applications, focusing on productivity, speed, and ease of development. Learn through comparisons, code samples, and a practical BeagleBone demo.
Java's G1 Garbage Collector - Architecture, Usage, and Future
Explore Java's G1 Garbage Collector: its history, design, key features, and future. Learn how to use and tune G1 for optimal performance in your Java applications.
Semi-Globals and Multi-Threading - Challenges in Legacy Code Adaptation
Explore challenges and solutions in evolving a single-threaded application with global variables into a multi-threaded client-server system, focusing on SimCorp Sofia's journey.
Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Explore a novel approach to concurrent program verification using consistency-preserving propagation, improving efficiency in SMT solving.
Reference Capabilities for Flexible Memory Management
Explore Verona's innovative approach to memory management using isolated regions and reference capabilities, enabling predictable and controlled memory use in concurrent programming.
NUMAlloc: A Faster NUMA Memory Allocator
Explore a novel memory allocator designed for NUMA architecture, offering improved performance and scalability for multithreaded applications through innovative memory management techniques.
MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos
Explore a new Kokkos-based API for transparent, portable multiGPU array computation. Learn about implementation variations, autotuning, and performance comparisons with MPI+Kokkos on top supercomputers.
A New Perspective on Commutativity in Verification
Explore a fresh perspective on commutativity in program proofs, focusing on its application in automated verification goals for various program types and properties.
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability
Explore a universal, sound, and complete proof method for machine-verifiable linearizability proofs. Learn about its application to complex algorithms and verification using TLAPS.
Pipelines and Beyond: Graph Types for ADTs with Futures
Explore a novel graph type system enabling arbitrary combinations of futures and recursive data types in parallel programming, enhancing pipelining and performance optimization techniques.
Some Things I Wish I Hadn't Seen - Challenging Concurrency Patterns in Code
Explore complex concurrency patterns in code bases, examining challenging examples that push the boundaries of theoretical understanding and practical implementation.
Weak Memory Demands Model-based Compiler Testing
Explore compiler bugs arising from relaxed hardware memory models and their implications for testing, using an LLVM toolchain bug as a case study.
Compositional Verification of Concurrent C Programs with Search Structure Templates
Explore compositional verification of concurrent C programs using search structure templates, separating concurrency-control and data-structure components for modular proof combination.
Leveraging the Actor Model in Financial Transaction Systems
Explore the Actor Model's application in financial systems, covering transaction processing, lost update problems, and asynchronous solutions using Kafka and Actor Model implementation.
Disentanglement with Futures, State, and Interaction
Explore disentanglement in parallel programs with futures, examining its extension beyond fork/join parallelism and implications for functional, stateful, and non-deterministic code.
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Explore Trillium, a separation logic framework for intensional refinement in concurrent and distributed systems. Learn about strengthening program logics to prove safety and liveness properties.
Efficient Distributed Deep Learning Using MXNet
Explore distributed deep learning with MXNet, covering practical challenges, deployment strategies, and advanced techniques for efficient large-scale machine learning implementations.
Message Passing With Rust MPSC Channels - Rust Tutorial
Learn to use Rust's MPSC channels for efficient inter-thread communication. Explore sending and receiving messages, handling timeouts, and implementing closures in this practical tutorial.