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.
Unblocking the Main Thread: Solving ANRs and Frozen Frames in Android Development
Optimize Android app performance by mastering main thread management. Learn strategies to prevent ANRs, eliminate frozen frames, and deliver smooth user experiences.
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.
What Connects an Electronic Stethoscope and a Baby Monitor? - A Case Study on BLE Issues
Investigate BLE issues in healthcare Android apps through a real-world case study. Explore problem-solving approaches and learn from challenges in combining BLE with Android.
Generic Tile Engine (GTE) - A Graphic Engine for the Apple IIgs - Lecture 25
Explore the Generic Tile Engine for Apple IIgs, featuring fast full-screen multi-plane parallax scrolling. Learn design goals, technical details, and see demos showcasing capabilities.
Building a IIe-compatible Computer with the Mega-II Chip - KansasFest 2022
Explore the creation of an Apple IIe-compatible computer using the Mega-II ASIC chip from the Apple IIGS. Learn about hardware challenges, differences from the original IIe, and see a demo of the Mega IIe in action.
Writing an Apple /// Arcade Game
Explore creating an Apple /// arcade game in assembly, leveraging unique system capabilities. Dive into screen regions, interrupts, custom fonts, and audio integration for retro game development.
Snapshot Fuzzing with WTF Fuzzer - Techniques and Implementation
Master snapshot fuzzing with WTF Fuzzer. Configure Hyper-V, use Windbg and Bdump.js for snapshotting, develop harnesses, and fuzz C programs. Enhance your software security skills through hands-on practice.
Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
Optimize JavaScript VMs for IoT devices by reducing hidden classes, improving memory usage and execution speed through offline graph optimization and profile-guided techniques.
The Semantics of Plurals in Expression Languages - SLE
Explore the semantics of plurals in software languages, examining bunch theory and its integration with relations for seamless modeling and programming.
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.
Forest: Structural Code Editing with Multiple Cursors
Explore Forest, a structural code editor bridging interactive editing and complex refactoring scripts through novel multi-cursor design for efficient and expressive code 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.
The Principles of the Flix Programming Language
Explore the design values and principles of Flix, a multi-paradigm programming language, and their impact on its syntax, semantics, type system, and standard library.
Granite: Compositional Functional Logic Programming
Explore Granite, a new programming language enhancing functional programming with parallelism, expressiveness, and compositionality through first-class semilattice structures.
Operational Game Semantics for Generative Algebraic Effects and Handlers
Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus with dynamic allocation of effect instances.
Event-Driven Multiparty Session Actors
Explore a novel approach combining actor languages and multiparty session types for reliable distributed applications, featuring a statically-typed session system for multi-session actors.
Code Analysis at WhatsApp - Keynote
Explore WhatsApp's code analysis tools, dynamic and static analysis techniques, and their integration into software development lifecycles.