Open Source Benchmarking for Ceph
Explore Ceph benchmarking complexities, tools, and protocols. Learn scalable techniques for Librados, RBD, CephFS, and RGW to optimize performance at large scale.
Kernel CI - How Far Can It Go?
Explore kernel testing systems' impact, challenges, and potential improvements. Discuss KCIDB project's role in unifying test data and enhancing developer notifications for more effective kernel development.
Testing Kubernetes Apps' Observability End-to-End
Learn end-to-end testing for Kubernetes app observability using Prometheus, Alertmanager, and testing frameworks. Set up environments, test metrics, events, and alerts for accuracy and timeliness.
Fedora ELN at Meta: A Testbed for Fleet Upgrades
Explore Fedora ELN's deployment at Meta for evaluating future CentOS Stream releases, including challenges, real-world issues, and the development of ELN Extras.
CI and Automated Testing in Fedora: Current Status - DevConf Talk
Explore Fedora's CI and automated testing landscape, current practices, and future directions for enhancing software quality and reliability.
Evaluating LLM-Based Apps - Deepchecks LLM Validation
Explore LLM hallucinations, evaluation methodologies, and golden sets. Witness a live demo of Deepchecks' new LLM evaluation module for robust performance benchmarking and quality assurance.
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.
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.
Sound Dynamic Deadlock Prediction in Linear Time
Explore a novel approach to dynamic deadlock prediction in concurrent systems, introducing sync-preserving deadlocks and efficient algorithms for sound, linear-time detection.
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code
Explore neural network models predicting heap allocation properties from static code, examining trade-offs, promising directions, and challenges in this innovative approach to memory management.
Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types
Explore coverage types and their connection to Incorrectness Logic, integrating underapproximate reasoning within refinement type systems for enhanced program analysis and verification.
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Explore a novel approach to inductive program synthesis using iterative forward-backward abstract interpretation, enhancing search space pruning and improving synthesis efficiency.
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Explore a novel automata-based approach for analyzing quantum circuits, enabling efficient verification and bug detection in large-scale quantum systems using tree automata and algebraic representations.
Merging Inductive Relations for Improved Program Specification
Explore an algorithm for merging inductive relations, improving automatic generation performance and simplifying mechanized proofs in proof engineering tools like QuickChick for Coq.
Consolidating Smart Contracts with Behavioral Contracts
Explore ConSol, a Solidity extension enhancing smart contract reliability through behavioral contracts. Learn to express critical conditions, prevent attacks, and improve code robustness and readability.
Falcon: A Scalable Analytical Cache Model
Explore a scalable analytical cache model for affine programs, improving performance prediction efficiency and enabling faster optimization decisions in large-scale software development.
Testing Specifications in Dafny - Dafny'24
Explore techniques for testing specifications in Dafny, including automatic mutation testing and Spec-Testing Proofs, to enhance trust in formal verification processes.
Measuring Configuration in Code - Risk Assessment and Metrics
Explore techniques for assessing configuration impact on code, including propagating complexity metrics and test coverage to configuration level, to mitigate outage risks and improve system reliability.
Towards a Language-parametric DSL for Refactoring - Short Paper
Explore a language-parametric DSL approach for refactoring, examining its potential to streamline code improvement across multiple programming languages.
Automated Verification - Session Preview
Explore automated verification techniques and advancements in program analysis with expert Viktor Kunčak at POPL'24's session preview.
Abstract Interpretation for Automatic Differentiation
Explore abstract interpretation for automatic differentiation, analyzing its application in machine learning, scientific computing, and graphics.