Interaction with Real-World JavaScript from Compiled Rust
Explore Rust's interaction with JavaScript, including DOM API and libraries. Learn low-level techniques, API wrapping, and object interaction without native GC support in Rust.
The Road to Winch - Improving WebAssembly Startup Performance
Explore Winch, a new baseline compiler in Wasmtime, and its impact on server-side WebAssembly applications' startup performance through Shopify's usage perspective.
RPITIT Deep Dive - Exploring Rust Compiler Errors
Dive deep into Return Position Impl Trait in Trait (RPITIT) with Rust compiler expert @compiler-errors. Explore implementation details and challenges in this advanced session.
Writing a GraphQL Compiler in Rust - A Case Study
Explore the journey of apollo-rs, a GraphQL compiler written in Rust, from parser to full-fledged compiler. Learn about its performance, error handling, and modern design principles.
MIR Formality Walkthrough - Coherence Overlap Check
Explore MIR formality and coherence overlap checks in Rust programming, enhancing your understanding of the language's internal representation and type system.
Coherence in Chalk - Implementing Trait-Solving in Rust
Explore trait-solving implementation in Rust Compiler, focusing on coherence concept and its implementation in rustc and Chalk using logic programming.
Representing Types in Rustc - Type System Internals
Explore rustc's type representation, covering Ty type, generics, substitution, and type folding. Gain insights into Rust's internal type system implementation.
Rustc-Chalk Integration Overview: Plans and Implementation
Overview of rustc-chalk integration plans and implementation, covering answer tables, search strategies, inference contexts, and key components like the trait engine and canonicalization.
Polonius and Rustc Code Walkthrough
Explore rustc and Polonius codebases, understanding their connection and key components like IntroFax, compute regions, and liveness computation in this comprehensive walkthrough.
Rust-Analyzer Type-Checker Overview
Explore the inner workings of rust-analyzer's type checker and potential integrations with chalk for RLS 2.0 in this technical deep dive.
Miri and Constant Evaluation in Rust
Explore miri, Rust's MIR interpreter, and its role in compile-time evaluation. Learn about its architecture, memory representation, and capabilities for interpreting safe and unsafe Rust code.
Universes and Lifetimes in Rust - Higher-Ranked Types Implementation
Explore higher-ranked types in Rust, focusing on universes and placeholders in subtyping. Learn about implementation details and advanced concepts in the Rust compiler.
Class Fixes - Becoming the Rust Compiler - Lecture
Explore Rust's powerful features like the borrow checker and learn to apply compiler-like thinking to enhance debugging and system design across all programming projects.
Rust for Weld: High Performance Parallel JIT Compiler - RustConf 2019
Explore Weld: an open-source Rust project accelerating data-intensive libraries through JIT compilation and optimization, enhancing performance without compromising modularity.
Rust 1.0 Progress Update and New Features - August 2014
Explore Rust 1.0's progress, drop semantics, borrow checking, and Cargo package manager in this comprehensive meetup featuring talks by Rust core team members.
Rustc Explore Session: HIR Type-Checking - Session 1
Dive into Rust compiler internals, focusing on HIR type-checking with @compiler-errors. Gain insights into the intricacies of Rust's type system and compiler implementation.
Method Selection in Rust: Understanding Compiler Errors - Session 1
Explore method selection in Rust: understand its purpose, challenges, and inner workings. Dive deep into the process behind `.call()` operations and learn about special rules and considerations.
Regularizing the Irregular: Analyses and Transformations for Recursive, Irregular Applications
Explores techniques for optimizing irregular programs operating on trees, using vector-based abstractions to enhance locality and enable vectorization in compiler research.
An Overview of the Checked C Project
Extending C with bounds checking to prevent low-level programming errors. Explores language design, implementation in clang compiler, and plans for real-world code modification to improve security and reliability.
Introduction to Compiler Design - Lecture 1
Introduction to compiler design, covering traditional compilers, front-end analysis, interpreters, data structures, optimization, and compiler mechanics. Explores theory and history of compilers.
Compiler Design and Implementation - Lecture 4
Explore static semantics, semantic checks, and type checking in programming languages. Dive into field references and attributes with practical examples.