Compiler Design
Comprehensive exploration of compiler design, covering lexical analysis, parsing techniques, syntax-directed translation, code generation, and optimization strategies for efficient language processing.
How to Be a Rockstar Developer - CPH DevFest 2024
Explore the fascinating journey of Rockstar, an esoteric programming language inspired by 1980s power ballads, in this keynote address from Copenhagen Developers Festival. Delve into the unexpected evolution of a joke specification that captured the inte…
Verified Software Security Down to Gates
Explore hardware-software contracts synthesis, security vulnerability detection, and microarchitecture updates for verified software security. Gain insights into cutting-edge approaches for high-assurance computer systems design.
What's New in F# 4.5 - Features, Fixes, and Performance Enhancements
Explore F# 4.5's new features, community-driven development, and performance enhancements to improve your applications. Gain insights into the RFC process and decision-making behind this release.
The State of Julia in 2021 - JuliaCon Keynote
Comprehensive overview of Julia's progress in 2021, covering threading, compiler improvements, linear algebra advancements, package updates, and future development plans.
What's Bad About Julia - Addressing Fundamental Issues
Julia co-creator Jeff Bezanson discusses fundamental issues in the language, focusing on modularity, types, and method specificity rules, offering insights into potential solutions for a better programming experience.
Flex - Lexical Analysis
Learn to use flex for lexical analysis in compiler construction, covering setup, syntax, and practical examples for tokenizing source code.
Context-Free Grammars
Learn about Context-Free Grammars, their role in parser and compiler design, and applications in programming languages. Gain practical advice and understand associativity concepts.
Liouville and JT Quantum Gravity - Holography and Matrix Models
Explore holography and matrix models in Liouville and JT quantum gravity, covering fixed-length boundaries, partition functions, multi-boundary amplitudes, and quantum group interpretations.
Non-Perturbative Studies of JT Gravity and Supergravity Using Minimal Strings - Clifford V. Johnson
Explore non-perturbative aspects of JT gravity and supergravity through minimal strings, covering topics like double scaling limit, Dyson gas, and complex matrix models.
Developing Audio Products with Cortex-M3, NuttX, and C++11
Explore Sony's use of NuttX RTOS for Cortex-M3 audio products, covering modifications, porting, debugging, and development strategies for efficient embedded systems.
Name Resolution in Rust - Code Review
Dive into Rust's name resolution code with an in-depth review, exploring its intricacies and implementation details.
Compiler and Runtime Co-design for WebAssembly-based FaaS - KubeCon Europe 2022
Explore WebAssembly's potential in FaaS through compiler and runtime co-design, addressing challenges and leveraging Wasm's efficiency for improved serverless computing.
RustLex: Introduction to Lexical Analyzer Generators - Meetup Rust Paris
Explore RustLex, a lexical analyzer generator for Rust, with insights on compiler front-ends, syntax extensions, and practical usage examples in systems programming.
Developing Kind Compiler Errors in Rust - RustLatam 2019
Exploración de los principios y desarrollo de mensajes de error amigables en el compilador de Rust, destacando su enfoque en la experiencia del usuario y cómo contribuir al proyecto.
Complete Compiler Design - From Introduction to Code Generation
Comprehensive Hindi tutorial covering all phases of compiler design, from lexical analysis to code generation, with practical examples and in-depth explanations.
Understanding Swift's Type Inference - try! Swift Tokyo 2024
Swiftの型推論の仕組みを解説。双方向型情報伝搬アルゴリズム、オーバーロード対応、関連トピックを紹介。コンパイラオプションで動作観察方法も説明し、理解を深める。
Protecting Bare-metal Embedded Systems with Privilege Overlays
Innovative technique for securing bare-metal embedded systems using privilege overlaying, code integrity, and randomization to prevent attacks while minimizing performance impact.
Readactor: Practical Code Randomization Resilient to Memory Disclosure
Explore practical code randomization techniques resilient to memory disclosure attacks, enhancing software security against return-oriented programming and other code-reuse threats.
Shining Light on Shadow Stacks
Comprehensive analysis of shadow stack mechanisms for protecting against control-flow hijacking attacks, evaluating performance, compatibility, and security. Proposes a novel design using a dedicated register.
Side-Channel Attacks
Explore side-channel attacks, including Spectre, timing attacks, and countermeasures. Learn about developer knowledge, resistance techniques, and future directions in cybersecurity.