Algorithmic Verification - Session Preview
Explore algorithmic verification techniques in this concise POPL'24 session preview, focusing on cutting-edge research and advancements in the field.
Synthesis 2 - Session Preview
Explore cutting-edge research in program synthesis with Hila Peleg's preview of the Synthesis 2 session at POPL'24, highlighting recent advancements in the field.
Automated Verification - Session Preview
Explore automated verification techniques and advancements in program analysis with expert Viktor Kunčak at POPL'24's session preview.
Evolving Weak Memory Models for Evolving Architectures
Explore evolving weak memory models for modern architectures, focusing on advancements and challenges in concurrent programming and hardware design.
System-Level Weak Memory Models: The Need for Formalisation, ISA Semantics Integration and Model Diversity
Explore system-level weak memory models, focusing on formalization, ISA semantics integration, and model diversity in computer architecture.
Lifting Compiler Security Properties to Stronger Attackers: The Speculation Case
Explore compiler security properties against speculative execution attacks, focusing on lifting guarantees to stronger attacker models and developing a formal framework for well-formedness conditions.
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions
Explore a novel framework for mostly automated verification of liveness properties in distributed protocols using ranking functions, reducing complex problems to simpler safety property verifications.
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
Explore LinearActris, a novel logic ensuring deadlock and leak freedom in message-passing concurrency, combining session types and separation logic for higher-order program verification.
The Logical Essence of Well-Bracketed Control Flow
Explore the logical foundations of well-bracketed control flow in programming, introducing a Hoare-style program logic for reasoning and verification, with formalized results in the Iris framework and Coq.
Shoggoth - A Formal Foundation for Strategic Rewriting
Explore a formal foundation for strategic rewriting with Shoggoth. Learn to analyze, reason about, and prove properties of complex rewrite strategies using denotational semantics and weakest precondition calculus.
Event-Driven Autoscaling for Serverless Java on Kubernetes - KEDA and Knative Integration
Explore event-driven autoscaling for serverless Java on Kubernetes using KEDA and Knative, focusing on Apache Kafka metrics for efficient scaling.
A Testable Architecture - Creating Reliable and Maintainable Test Automation
Discover how to create a testable architecture for successful test automation and executable specifications, with practical examples and proven strategies.
Real-time Fraud Detection: Challenges and Solutions
Explore real-time fraud detection challenges and solutions using machine learning and the Hazelcast Open Source platform for rapid, scalable decision-making.
The Future of Hazelcast - Cloud-Native Revolution
Explore Hazelcast's cloud-native evolution, from caching to advanced stream processing, and discover upcoming features in this insightful tech talk.
Malevolent Architect: Only Bad Decisions in Software Development - GeeCON 2022
Explore architectural pitfalls and solutions in software development, covering debugging, logging, burnout, and more. Learn to make informed decisions and navigate challenges effectively.
Let's Adopt the Clean Archigonal Architecture
Explore Clean and Hexagonal architectures: their benefits, differences, and effectiveness in solving modern software development challenges.
Avoiding Mistakes with Events, One at a Time
Explore common pitfalls in event-driven architecture and learn strategies to overcome challenges in naming, evolution, and storage for more robust system design.
Clean and Hexagonal Architecture in Practice - It Really Works
Explore Clean and Hexagonal Architecture in practice, addressing code debt and framework challenges using Event Storming, Spring Boot, and Kotlin. Gain insights into real-world problem-solving and architectural benefits.
Domain Experiments: Refining Models Through Example Mapping and Business-Oriented TDD
Explore domain model refinement through example mapping and business-oriented TDD, enabling rapid experiments without system rewrites. Learn to adapt to evolving requirements efficiently.
What Can Go Wrong with Distributed Systems - The Hazelcast Experience
Explore common pitfalls in distributed systems through Hazelcast's experiences, gaining insights for building robust architectures.
Demystifying Event-Related Software Concepts and Methodologies
Explore and understand various 'event' related software concepts, their origins, intentions, and applications in modern IT landscapes.