Test Strategies for Multi-Threaded Code - Lecture
Explore strategies for testing multi-threaded code, focusing on taming complexity and boosting confidence in critical realtime applications.
Mistral Large vs GPT-4: Practical Benchmarking and LLM Evaluation
Explore practical benchmarking of Mistral Large vs GPT4. Compare performance, run custom evaluations, and gain insights into LLM capabilities for informed decision-making.
Cloud AI 100 High Performance Cloud-Edge Inferencing
Explore Qualcomm's Cloud AI 100 accelerator for high-performance cloud-edge inferencing, featuring leadership-class performance, power efficiency, and comprehensive software tools for production deployment.
Fuzzing Rekor for Bugs and Vulnerabilities
Explore fuzzing techniques for Rekor, Sigstore's transparency log. Learn about challenges, artifact types, and results from months of testing. Gain insights on third-party security research approaches.
Supporting Large-Scale and Reliability Testing in Kubernetes using KWOK
探索KWOK工具包，实现大规模Kubernetes集群的创建和测试。学习如何利用虚拟节点进行工作负载部署，并通过故障注入进行可靠性和容错性测试，提升Kubernetes弹性。
Write Better Tests and Stop Breaking the Build
Explore techniques to improve test writing, including using snippets, Copilot, and test-first approaches. Learn to create robust tests that enhance code quality and prevent build breaks.
Supporting Large-Scale and Reliability Testing in Kubernetes using KWOK
Explore KWOK, an open-source toolkit for creating and testing large-scale Kubernetes clusters with minimal resources. Learn about its capabilities for reliability and fault-tolerance testing.
Implement Auto Instrumentation Under GraalVM Static Compilation on OTel Java Agent
Explore GraalVM static compilation's impact on Java applications and learn about a static instrumentation solution for OTel Java Agent, enhancing performance in cloud-native environments.
Evaluating LLM-Synthesized Julia Code
Explore LLM performance in Julia code generation using HumanEval and MBPP benchmarks, with ongoing updates at HumanEval.jl for SOTA code LLMs.
Workflow for Developing Multiple Interdependent Packages - JuliaCon 2024
Explore efficient workflows for developing interconnected Julia packages, covering version management, testing, and deployment strategies for large-scale projects and team collaboration.
Developing an IDE for Clojure Code - Cursive
Explore Cursive, an IntelliJ-based IDE for Clojure using static analysis. Learn about unique features, challenges, and future plans for enhancing Clojure development workflows.
Testing Data Pipelines - Techniques for Ensuring Data Flow Integrity
Explore effective techniques for testing data pipelines, ensuring smooth data flow and quick problem resolution. Learn about unit, integration, and end-to-end tests, plus unique methods like data snapshot testing.
Comparing AI Models on Coding Problems - From Simple to Hard Leetcode
Comprehensive comparison of 20+ AI models' performance on coding challenges, from simple tasks to hard LeetCode problems, revealing their strengths and limitations.
Lineage Quality Measurement for Privacy Engineering
Exploring a framework for measuring lineage performance in data systems, aiding product teams and privacy engineers in selecting effective approaches for privacy protection.
IronSpec - Increasing the Reliability of Formal Specifications
Innovative framework for enhancing formal specification reliability through automated testing, SpecTesting Proofs, and mutation testing. Discovers bugs in real-world verified systems, strengthening software verification.
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
Explore Meta's ServiceLab platform for detecting minute performance regressions in large-scale systems, addressing challenges in noisy cloud environments through statistical analysis and machine factor studies.
SuperBench - Improving Cloud AI Infrastructure Reliability with Proactive Validation
Proactive validation system enhancing cloud AI infrastructure reliability by mitigating hidden degradation, featuring comprehensive benchmarks and intelligent component evaluation for optimal performance.
WingFuzz: Implementing Continuous Fuzzing for Database Management Systems
Continuous fuzzing technique for enterprise-level DBMSs, addressing challenges in SQL grammar, codebase evolution, and anomaly analysis. Discovered 236 bugs across 12 major DBMSs.
More is Different: Prototyping and Analyzing a New Form of Edge Server with Massive Mobile SoCs
Innovative edge server design using mobile SoCs for improved energy efficiency in cloud gaming, video transcoding, and deep learning inference, with insights on performance and cost-effectiveness.
Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux
Explore FiTx, a framework for fast, daily bug detection in Linux. Learn how it balances analysis time and bug-finding capabilities, outperforming existing tools in speed and effectiveness.
Monarch: A Fuzzing Framework for Distributed File Systems
Innovative fuzzing framework for distributed file systems, addressing complexity and scalability challenges through multi-node architecture, fault injection, and semantic checking.