Automated Verification - Session Preview
Explore automated verification techniques and advancements in program analysis with expert Viktor Kunčak at POPL'24's session preview.
Effect Handlers for Choice-Based Learning in Machine Learning Programming
Explore a novel choice-based learning paradigm combining algebraic effects, handlers, and loss continuations to enhance modularity in machine learning programming.
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.
Programmers Love Mind-Bogglingly Complicated Weak Memory Models
Explore mind-boggling complexities of weak memory models in programming, delving into their intricacies and implications for software development.
Designing Wait-free Weak Reference Counting
Explore wait-free weak reference counting design techniques for efficient memory management in concurrent systems.
API-Driven Program Synthesis for Testing Static Typing Implementations
Explore API-driven program synthesis for testing static typing in compilers. Learn about generating type-intensive programs using existing APIs to uncover compiler bugs efficiently.
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.
Event Streaming for the Best of All Worlds - Apache Pulsar vs Apache Kafka
Explore event-driven messaging systems, focusing on Apache Pulsar's unique capabilities in supporting both streaming and queueing semantics for modern, cloud-native applications.
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.
A Parallel Programming Language Extension for Java
Explore a simplified, intuitive parallel programming model for Java using compositional operators, enhancing efficiency and correctness.
OpenTelemetry Metrics: Observability's Holy Grail
Explore OpenTelemetry Metrics' revolutionary impact on microservices and libraries, understanding its benefits, concepts, and API/SDK entities for improved observability.
The Right Feature at the Right Place - Authorization Example
Explore moving authorization from code to a readable, accessible place using Open Policy Agent and Apache APISIX API Gateway for improved system auditability.
Face Anonymization with Python - Blurring and Pixelating Techniques
Anonymize faces in images using Python: detect, blur, and pixelate for privacy. Learn CPU and GPU techniques, compare results, and ensure data protection in your projects.
Fear Not the Unknown: Go Functional Programming
Explore functional programming concepts and overcome fears of the unknown in this engaging talk on modern coding paradigms.
Information Exchange in Distributed Blockchain Systems - Epidemic Model Approach
Explore architectural drivers, communication models, and distributed consensus in complex blockchain systems. Learn from real-world experiences in designing and implementing large-scale node networks.
Tracing for Java Developers - Hands-on Overview and Implementation
Explore hands-on tracing and APM for Java applications. Learn implementation, benefits, and OpenTracing concepts using Elastic APM and Jaeger agents.
Generative AI for Application Modernization with Konveyor AI - Demo and Introduction
Explore Konveyor AI's integration of generative AI and static code analysis for efficient Java EE to Quarkus migration, with a practical demo using the "coolstore" application.
Blockchain Technology: A Powerful Tool - Understanding Basics and Applications
Explore blockchain technology's popularity, concepts, and integration with Java backend applications. Learn about cryptocurrencies, Proof of Work, and Proof of Stake.
Understanding DDD and Clean Architecture Through "The Three Little Pigs" - A Java Implementation
Explore DDD and Clean Architecture through "The Three Little Pigs" fairy tale, with Java code examples for practical implementation insights.
Introduction to Python
Learn Python basics, including data types, variables, and control structures. Gain hands-on experience with coding exercises and practical examples for beginners.
Supervised Learning Algorithms - Lecture 3
Explore supervised learning algorithms, model evaluation, and Python implementation for classification and regression tasks in petroleum engineering and energy transition.