PapersWeLove Courses

Bin Packing Can Be Solved Within 1 + ε in Linear Time - Lecture

Explore bin packing optimization with Yiduo Ke, delving into a linear-time solution within 1 + ε. Gain insights into this fundamental problem's applications and theoretical advancements.

• YouTube
• 36 minutes
• On-Demand
• Free Video

Attention Is All You Need - A Landmark Paper in AI

Explore the groundbreaking "Attention Is All You Need" paper, its impact on modern AI, and the potential of transformer architecture in various applications beyond machine translation.

• YouTube
• 49 minutes
• On-Demand
• Free Video

An Introduction to Bε-trees and Write-Optimization

Explore Bε-trees and write-optimization techniques, understanding their properties and applications in file systems. Learn from Ori Bernstein's insights and practical implementation experience.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Dynamo: Amazon's Highly Available Key-Value Store - Lecture 15

Explore Amazon's Dynamo, a highly available key-value store. Learn about its architecture, design principles, and how it achieves scalability and reliability in distributed systems.

• YouTube
• 1 hour
• On-Demand
• Free Video

Sense and Structure: Towards a Textual Analysis of Software

Explore software as a unique text, examining its collaborative nature, instrumental reading, and explicit boundaries. Gain insights from philosophy, semiotics, and literary studies to enhance understanding of software's textual qualities.

• YouTube
• 47 minutes
• On-Demand
• Free Video

A Case for Correctly Rounded Math Libraries

Explore the RLIBM project's approach to building correctly rounded elementary functions, revolutionizing polynomial approximations for enhanced mathematical precision in computing.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Give the Drummer Some More: Advances in Breakbeat Analysis and Synthesis

Explore breakbeat analysis and synthesis in electronic music, examining ethical sampling, cultural impact, and cutting-edge techniques developed at Birmingham City University's SoMA Group.

• YouTube
• 51 minutes
• On-Demand
• Free Video

Hashing it Out - Understanding Psychoactive Substance Use in Programming

Explore the intersection of psychoactive substance use and programming, focusing on cannabis. Examine prevalence, perceptions, motivations, and impacts on software development at individual and organizational levels.

• YouTube
• 39 minutes
• On-Demand
• Free Video

Collaborative and Creative Content Generation in Game Design

Explore collaborative content generation in game design, focusing on two-way feedback between players and AI systems for more engaging, human-like, and challenging experiences.

• YouTube
• 50 minutes
• On-Demand
• Free Video

A Requiem for SIDH - Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Explore isogeny-based cryptography's rise and fall, from SIDH's game-changing efficiency to its ultimate demise, and discover potential future directions for post-quantum cryptosystems.

• YouTube
• 47 minutes
• On-Demand
• Free Video

Apache Arrow DataFusion: A Fast, Embeddable, Modular Analytic Query Engine

Delve into Apache Arrow DataFusion's architecture and capabilities as a versatile, modular query engine that revolutionizes database technology through its deconstructed approach and flexible integration options.

• YouTube
• 1 hour
• On-Demand
• Free Video

EXE - Automatically Generating Inputs of Death

Discover how EXE combines concrete execution with symbolic analysis to automatically generate test inputs that expose software vulnerabilities and edge cases.

• YouTube
• 57 minutes
• On-Demand
• Free Video

Error Detecting and Error Correcting Codes - Understanding Hamming's Techniques

Explore the foundational concepts of error detection and correction in data transmission through Hamming's groundbreaking work at Bell Labs, including its historical context and modern implications.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Liquid Type Systems - Understanding Type Theory and SMT Solvers

Explore the innovative Liquid Types system, combining traditional type theory with SMT solvers to enhance type system expressivity while maintaining practical usability in programming languages.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Performal: Formal Verification of Latency Properties for Distributed Systems

Explore Performal, a formal verification approach for reasoning about latency in distributed systems, abstracting over real-world infrastructure complexity while enabling accurate end-to-end latency estimation.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video