Busting the Func'ing Jargon
Demystifying functional programming concepts and jargon through clear explanations and F# examples, making FP accessible to developers of all backgrounds.
Allegro Means Both Fast and Happy - Coincidence
Explore lesser-known, faster variants of classic sorting algorithms while uncovering surprises and learning to navigate modern complex architectures.
Automatic Text Summarization
Explore algorithms and tools for automatic text summarization, including extractive and abstractive methods, and learn about evaluation techniques for assessing summary quality.
Configanator - A Data-driven Approach to Improving CDN Performance
Explore a data-driven approach to optimize CDN performance by dynamically configuring web server parameters based on network and device characteristics, improving tail web performance by 32-67%.
Practicably Boosting the Processing Performance of BFS-like Algorithms on Semi-External Graph System via I-O-Efficient Graph Ordering
Explores innovative techniques to enhance BFS-like algorithm performance on semi-external graph systems, focusing on I/O efficiency improvements through strategic graph data pre-processing.
Ceci N'est Pas un CPU Load
Explore the limitations of digital troubleshooting compared to analog electronics, and discover why our mental models for digital systems are constrained.
Controlling Memory Footprint of Stateful Streaming Graph Processing
Innovative techniques for reducing memory usage in streaming graph processing systems, enabling analysis of larger dynamic graphs while maintaining performance and accuracy.
PET - Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections
Optimizing tensor programs with partially equivalent transformations, improving DNN efficiency by up to 2.5×. Introduces PET framework for automated corrections and theoretical foundations for equivalence examination.
Complexity - The Crucial Ingredient in Your Kitchen
Explore how software engineering can learn from NASA's Challenger incident, drawing parallels to modern reliability challenges and navigating complexity in system architecture.
Outsourcing Humanity - Do Algorithms Make Better Decisions Than People?
Explore the impact of AI decision-making in healthcare, policy, and ethics. Leading researchers discuss the benefits, challenges, and ethical implications of algorithmic decision-making in various fields.
Advanced Napkin Math - Estimating System Performance from First Principles
Learn to quickly estimate system performance using base rates and napkin math, enabling informed decision-making in technical discussions and design processes without building systems first.
F2FS - A New File System for Flash Storage
Explore F2FS, a Linux file system optimized for flash storage. Learn its design, data structures, and algorithms, and see how it outperforms EXT4 in various scenarios on mobile and server systems.
F2FS - A New File System for Flash Storage
Explore F2FS, a Linux file system optimized for flash storage. Learn its design, data structures, and algorithms, and see how it outperforms EXT4 in various scenarios on mobile and server systems.
Big Data - Power, Potential, and Perils
Explore the power, potential, and perils of Big Data in this panel discussion. Experts examine its impact on society, scientific inquiry, and human decision-making, addressing benefits and ethical concerns.
The Mathemagician - Arthur Benjamin
Arthur Benjamin demonstrates incredible feats of mental math, from squaring large numbers to determining dates, while sharing the secrets behind his skills in this captivating blend of mathematics and magic.
Visualization Driven Development
Interactive visualizations for understanding algorithms: techniques and examples using HTML, CSS, JavaScript, and D3 to supplement traditional testing and improve code comprehension.
DBREACH - Database Reconnaissance and Exfiltration via Adaptive Compression Heuristics
Explore database vulnerabilities through compression side-channel attacks, learning techniques to extract encrypted content and strategies for prevention and patching.
Exploiting Social Navigation
Discover techniques to compromise social navigation systems through fake GPS reports and bot drivers, exploring privacy risks and traffic manipulation in applications like Waze.
How to Delegate Computations - The Power of No-Signaling Proofs
Explore the concept of delegating computations and the significance of no-signaling proofs in cryptography, presented by expert Yael Tauman Kalai at Crypto 2014.
SNARKs for C - Verifying Program Executions Succinctly and in Zero Knowledge
Explore succinct non-interactive arguments of knowledge (SNARKs) for verifying program executions, focusing on TinyRAM architecture and concrete efficiency improvements.
Algorithms and Their Habitat
Explore efficient algorithms and data structures for web app performance optimization. Learn to apply academic knowledge to solve real-world development challenges.