Synthesis and Verification of Finite Horizon Tasks
Explore finite horizon task synthesis and verification techniques, focusing on model and system creation for time-bounded objectives in computational systems.
Grisette: Symbolic Compilation as a Functional Programming Library
Explore symbolic compilation techniques in functional programming with Grisette, enhancing model and system synthesis capabilities for advanced software development.
5 Common Mistakes Spring Developers Make and How to Improve
Discover and rectify 5 frequent errors in Spring development to enhance your coding practices and build more robust applications.
Fix Your Broken Windows: Managing Technical Debt
Discover strategies to combat technical debt and maintain code quality, preventing small issues from escalating into major problems in software projects.
How to Build an LLM Query Engine in 10 Minutes - LlamaIndex and Ray Crossover
Explore building and scaling LLM applications with LlamaIndex and Ray through a code tutorial on creating a powerful query engine.
Scaling AI Systems: Challenges and Opportunities
Explore cutting-edge AI developments and industry insights in Kim Hazelwood's keynote address at Ray Summit 2022.
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
Explore deductive verification for parameterized embedded systems in SystemC, focusing on formal encoding, automated transformation, and novel invariant construction for global properties.
Formal Runtime Error Detection in Automotive Software Development
Explore formal runtime error detection in automotive software development using inferred contracts and abstract interpretation for improved precision and scalability in module-level analysis.
CHERI Static Analysis - POCL'24
Explore CHERI static analysis techniques for enhanced memory safety and security in software development.
Designing Beyond Behaviours - An Industrial Tale
Explore industrial software design beyond behaviors with insights from NomaSystems engineers. Learn innovative approaches to tackle complex system challenges in this Code BEAM Lite talk.
Automated Ambiguity Detection in Layout-Sensitive Grammars
Explore automated ambiguity detection in layout-sensitive grammars using SMT solving. Learn about local ambiguity, reachability conditions, and their application to language design.
How Domain Experts Use an Embedded DSL
Explore how domain experts utilize embedded DSLs, uncovering key themes and user needs to inform future designs. Gain insights into eDSL usability and adoption challenges.
Did We Make Developers Happy by Shifting to Microservices? - Conf42 Kube Native 2022
Explore microservices' impact on developer happiness, examining challenges and solutions in containerized environments. Analyze industry efforts to improve developer experience.
Osiris: An Iris-Based Program Logic for OCaml
Explore Osiris, an Iris-based program logic for OCaml, enabling code verification using Separation Logic. Learn about its features, limitations, and future development plans.
The New React Native Debugger
Explore the latest updates to React Native's core debugging experience, including architecture changes and a preview of future developments.
From the Racetrack to the Road - How Open Source Boosts Autonomous Vehicle Development
Discover how autonomous racing technology at speeds of 270kph translates to everyday vehicles, exploring open-source collaboration and ROS 2's role in advancing self-driving capabilities.
CXL Memory Connectivity Platform - Memory Expansion and Pooling with Leo
Discover the groundbreaking Leo CXL platform for memory expansion and pooling, featuring advanced connectivity solutions and comprehensive system-level interoperability capabilities.
Elevation of Privilege - Drawing Developers into Threat Modeling
Explore a game-based approach to engage developers in threat modeling, enhancing software security through interactive and non-threatening techniques.
Zero Trust Security for Your APIs
Explore Zero Trust Security for APIs: Learn the model, architecture, and implementation steps to protect your API ecosystem from attacks and abuse.
Maven, My Life Is Short
Optimize Maven builds: profiling, skipping Mojos, using Maven Daemon, vertical scaling, and incremental builds. Learn strategies to significantly reduce build times with real-world examples and trade-off discussions.
Containerization Crossroads - Experiences - Experiments - Expectations
Explore containerization principles, from build to runtime, addressing image size, security, resource management, and scalability. Gain insights into best practices and future expectations.