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.
Auto-detecting Sleeping Lock Calls in Non-preemptible Context via Static Analysis
Explore techniques for automatically detecting sleeping lock calls in non-preemptible contexts using static analysis methods in Linux kernel development.
A Little GitLab Won't Hurt You
Explore GitLab's potential in streamlining development workflows and enhancing collaboration within Linux projects.
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.
AI Won't Take Your Job but It Will Help You Do It Better
Discover how AI tools like Github's Co-Pilot and ChatGPT can streamline code generation, automate tasks, and enhance productivity in Android development. Learn to leverage AI for efficient programming workflows.
Git Help: Understanding and Mastering Git Commands
Explore git's inner workings, master Android Studio's git features, and learn tips to optimize git usage for improved development workflow and efficiency.
Get a Performance Score for Your App
Explore techniques to measure and compare app performance, including emerging universal standards for mobile performance scoring.
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.
What a Long Strange Trip it's Been: A Year in Android - 2022-2023
Explore a year's worth of Android developments, from Droidcon Berlin 2022 to present, covering major events, releases, and community progress in this fast-evolving ecosystem.
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.
Unleash Your Programming Creativity: Balancing STEM with Arts in Software Development
Explore ways to enhance creativity and apply it to problem-solving in programming projects, featuring a musical live performance.
Crime Scene InvestiGITor - Mastering Git for Effective Version Control
Become a master Git detective: probe inner workings, remove secrets, hunt bugs, and travel through commit history. Defend your codebase with lesser-known techniques and solve version control mysteries.
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.
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.
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.
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.
Lightning Talks on Haskell Programming - Session II
Explore diverse Haskell topics through rapid-fire presentations, gaining insights into cutting-edge developments and innovative applications in functional programming.
Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture
Explore how immutable arrays enable compiler optimizations for efficient implementations, challenging intuitions about low-level control in array computations.
The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser
Explore the design and implementation of Salto, a static analyzer for OCaml programs using abstract interpretation to detect exceptions and undefined behaviors.
Artificial Languages are Dead. Long Live Artificial Languages - SLE23
Explore the impact of Large Language Models on programming, artificial languages, and CS education in this thought-provoking talk by Crista Lopes.