Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
Explore formal methods for creating bug-free software, including SeL4 microkernel and CompCert compiler. Learn about recent advancements and limitations in producing high-assurance software for vehicles.
How to Reduce LLM Costs by 98% - Practical, Scalable Solutions
Discover advanced techniques to leverage LLMs cost-effectively. Learn strategies for using SLMs, LLM distillation, and prompt unit testing to overcome budget constraints while maintaining quality in GenAI projects.
Avoiding Rigor Mortis in Software Development - Pragmatic Approaches
Explore strategies to avoid software rigidity with Pragmatic Dave Thomas. Learn functional programming, concurrency, and pattern matching techniques to keep your code flexible and maintainable.
Did Microservices Break DORA? - Analyzing the State of DevOps Report 2022
Exploring DORA's 2022 DevOps report findings on loose-coupled architecture, burnout, and metrics. Analyzing surprising results and their implications for software development practices.
How to Make Smart Architecture Decisions when Building Generative AI Apps
Explore architectural decisions for building reliable, performant generative AI apps. Learn to make smart choices, enhance safety and accuracy, and apply best practices through real-life use cases.
How Event-Driven Architectures Go Wrong and How to Fix Them - Common Pitfalls and Solutions
Explore common pitfalls in Event Driven Architectures and learn effective strategies to avoid them. Gain insights on improving distributed cloud applications for better speed and agility.
The Technical Debt Trap - Understanding and Managing Code Rework
Explore technical debt's true meaning, impact, and management strategies. Learn to identify, address, and prevent technical debt for better software development practices.
Patterns for Building Event-driven Web and Mobile App Backends
Explore patterns for asynchronous, event-driven integrations between frontend and backend, enhancing agility and responsiveness in web and mobile app development.
Function Extraction: Mapping Programs into Mathematica Equations
Extract precise program functions by mapping C-like code to Mathematica equations, enabling correctness verification and solving for program behavior.
Software Engineering and Computer Science with the Wolfram Compiler
Explore software engineering practices and compiler techniques using the Wolfram Compiler, gaining insights into its internal organization and innovative approaches.
With Great Power Comes Great Responsibility - Engineering Ethics in the Modern Era
Explore the critical shift in software engineering towards failure-safe systems and learn how leaders can drive this change in the profession.
The Big Picture of Debt - Understanding and Managing Technical Debt
Explore technical debt through a database case study, distinguishing good from regrettable choices and learning when to tackle complex issues.
Explosive Overflow: Lessons from Rocket Science - StaffPlus New York 2024
Explore rocket science lessons on resilience and product security, analyzing historical software flaws to improve design, testing, and validation practices.
Several Components Are Rendering - Performance Optimization in Complex Applications
Explore performance bottlenecks in Slack's desktop app, examining architectural decisions and strategies to mitigate inefficiencies causing system strain.
When to Know You've Outgrown Your Monolith - StaffPlus New York 2024
Discover key indicators for transitioning from a monolithic architecture to microservices, enhancing system scalability and efficiency in software development.
How AI Can Actually Help Your Software Development Teams
Explore AI's practical applications across the software development lifecycle, addressing cultural and technical challenges for effective team integration.
How to Create a Standardization Plan for Tools, Libraries, and Frameworks
Explore the practical advantages and challenges of standardizing tools and frameworks across your organization, and learn effective implementation strategies.
How to Implement Platform Engineering at Scale
Overcome cultural barriers and team silos to successfully adopt platform engineering practices in large organizations.
Reframing Incidents: Using Reactive Work to Enhance Customer Satisfaction
Reframe incidents as tools for customer satisfaction. Learn to lower thresholds, adapt processes, and prioritize customer focus in reactive work scenarios.
How to Make Better Modernization Decisions
Discover effective methods for system modernization, including Service Blueprints and Wardley Mapping. Learn to assess pain points, risks, and incrementally improve existing systems.
Managing Architecture - Strategic Approaches for Modern Software Development
Explore strategic software architecture approaches for modern organizations. Learn to implement principles across empowered teams, avoiding short-term fixes and fostering scalable, change-friendly systems.