Concurrent Mutation Must Go
Explore concurrent mutation challenges and solutions in programming languages, focusing on innovative approaches to enhance system reliability and performance.
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Explore a formally-verified framework for fair and abortable synchronization, enabling efficient implementation of various primitives with modular proofs and improved performance.
Heterogeneous Concurrency - A New Frontier for Weak Memory
Explore heterogeneous processors' shared memory interfaces and their impact on weak memory concurrency models in emerging computing domains.
Evolving Weak Memory Models for Evolving Architectures
Explore evolving weak memory models for modern architectures, focusing on advancements and challenges in concurrent programming and hardware design.
What Compilers Desire from Weak Memory Semantics
Explore compiler optimization challenges in concurrent programs, focusing on memory models and safety. Investigate deriving models that retain optimization safety across different consistency levels.
System-Level Weak Memory Models: The Need for Formalisation, ISA Semantics Integration and Model Diversity
Explore system-level weak memory models, focusing on formalization, ISA semantics integration, and model diversity in computer architecture.
What Can Go Wrong with Distributed Systems - The Hazelcast Experience
Explore common pitfalls in distributed systems through Hazelcast's experiences, gaining insights for building robust architectures.
A Parallel Programming Language Extension for Java
Explore a simplified, intuitive parallel programming model for Java using compositional operators, enhancing efficiency and correctness.
Maximizing Database Performance With Isolation Levels
Optimize database concurrency and performance by understanding and leveraging transaction isolation levels in Azure SQL Database and SQL Server.
TigerBeetle - Magical Memory Tour
Explore TigerBeetle's innovative approach to memory management in database systems, focusing on performance optimization and efficient resource utilization.
Think Parallel - Changing Mindsets for Parallel Programming in C++
Explore parallelism in C++ through four algorithms, uncovering key principles and implementation strategies to shift your mindset towards parallel thinking in modern programming.
Distributed Async Await - A New Programming Model for the Cloud
Explore Distributed Async Await, a new cloud programming model extending async-await simplicity. Learn theoretical foundations and practical insights for crafting delightful, scalable cloud applications.
Contemporary C++ in Action
Explore modern C++ techniques through live coding, debunking myths and showcasing practical applications for everyday developers using modules, coroutines, and C++23 features.
Belle Views on C++ Ranges, Their Details and the Devil - Keynote Meeting C++ 2022
Entdecken Sie C++ Ranges: Möglichkeiten, Vorteile und Herausforderungen. Tauchen Sie ein in fortgeschrittene Konzepte wie Templates, Threads und atomare Referenzen.
Transactions - Myths, Surprises and Opportunities
Explore the evolution of database transactions, from NoSQL to modern implementations. Learn about ACID, isolation levels, distributed algorithms, and maintaining transactional guarantees in stream processing.
A Race Against Time - How to Exploit Race Conditions in Web Apps
Explora la explotación de condiciones de carrera en aplicaciones web, presentando herramientas de prueba y demostraciones de escenarios de ataque del mundo real.
Writing Linux Kernel Modules in Safe Rust
Explore safe Rust for Linux kernel module development, addressing memory vulnerabilities, binary compatibility, and C integration. Learn techniques for creating secure kernel APIs and potential upstream integration.
Exploiting Race Conditions Using the Scheduler
Explore techniques for exploiting race conditions in Linux and Android using scheduler manipulation, focusing on real-world vulnerabilities and practical exploitation strategies.
Attacking iPhone XS Max
Explore iPhone XS Max vulnerabilities, including PAC implementation, XNU bug exploitation, and kernel read/write access. Learn about Unix Domain Socket, race conditions, and unprotected control flow transfer points.
Best Practices - Async vs. Coroutines
Explore the benefits of async over coroutines in Unity, with practical examples and best practices for implementing asynchronous routines in game development.
How to Start Using Coroutines
Learn to implement and utilize C++20 coroutines with practical examples and a custom library, exploring their benefits and applications in modern programming.