Experiments with Non-Temporal Writes and Application Architectures
Explore non-temporal writes and their impact on application architectures through experimental insights and practical demonstrations.
Data Placement at Scale - Landscape, Trade-Offs, and Direction
Explore data placement strategies for large-scale systems, analyzing trade-offs and future trends in optimizing storage and retrieval efficiency.
Making Linux Fly: Towards a Certified Linux Kernel
Explore efforts to create a certified Linux kernel, enhancing reliability and security through formal verification techniques and advanced testing methodologies.
CXL MC Error Handling - Status and Outlook
Explore CXL MC error handling strategies, current status, and future prospects with industry experts. Gain insights into advanced memory management techniques.
Program Verification for the Linux Kernel - Potential Costs and Benefits
Explore potential costs and benefits of program verification for the Linux kernel, gaining insights into its impact on development and reliability.
Lazy Abstraction Refinement with Proof for an Enhanced Verifier
Explore advanced techniques in software verification using lazy abstraction refinement with proof, enhancing verifier capabilities for improved code analysis.
Device Dependency Tracking with fw_devlink - Status, TODOs, and Leveraging Techniques
Explore device dependency tracking in Linux using fw_devlink, including current status, future tasks, and implementation strategies.
Let's Shake the Flutter Tree: Understanding Tree-Shaking in Multi-Platform Development
Explore Flutter's Tree-shaking mechanism to optimize cross-platform code and ensure efficient platform-specific builds.
Exploring the Kotlin Multiplatform Ecosystem
Discover the depth of Kotlin Multiplatform's ecosystem for mobile development, covering networking, persistence, concurrency, and more. Gain insights to evaluate its suitability for your projects.
Forging the Path from Monolith to Multi-Module App
Discover strategies for transitioning from monolith to multi-module structure in Android apps, balancing modularization with feature delivery and optimizing build tools.
Demystifying the Test Pyramid - Improving Test Suites for Modern Development
Explore the test pyramid concept, its criticisms, and adaptations. Gain insights to improve your test suites with practical tips and guidelines for modern software development.
Sweet Architecture: Unidirectional Data Flow for Scalable Android Apps
Explore unidirectional data flow architecture for scalable Android apps. Learn modular navigation, flexible presenter technologies, and efficient view testing to manage complexity in large-scale projects.
The State of Code Coverage for Kotlin
Explore Kotlin code coverage tools, techniques, and challenges. Learn to interpret results and understand future improvements for effective testing.
How to Trust a Verified Program - Challenges and Solutions in Program Verification
Explore challenges in trusting verified programs, examining theoretical and practical issues in program verification using proof assistants, and discussing potential solutions for enhancing trustworthiness.
The 4 Horsemen of Unsoundness in Object-Oriented Languages
Explore 4 subtle issues challenging OO verification: termination, leaky partial verification, ill-founded contracts, and reduction to primitive operations.
Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement
Explore task equivalence in software engineering practice adaptation, focusing on maintaining functionality while tailoring to local contexts. Learn to identify compatible aspects for effective modifications.
Competitive Debugging: Toward Contests Promoting Debugging as a Skill
Explore competitive debugging as a novel approach to enhance software development skills through engaging contests, promoting debugging techniques and tool adoption.
Code Analysis at WhatsApp - Keynote
Explore WhatsApp's code analysis tools, dynamic and static analysis techniques, and their integration into software development lifecycles.
Trustworthy Runtime Verification via Bisimulation - Experience Report
Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.
Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Explore Domain-Driven Design principles for enhancing Glasgow Haskell Compiler's architecture, addressing immutability, modularity, and composability in large-scale functional systems.
Typed Design Patterns for the Functional Era - FUNARCH'23
Explore functional design patterns in modern programming, focusing on architectural concepts and their implementation in Rust's type system.