How Linters, Compilers & Other Cool Things Work
Explore the inner workings of JavaScript tools, focusing on abstract syntax trees. Learn how to extend these tools and gain deeper insights into computer language concepts.
Embedding by Unembedding - Extending HOAS for Complex Semantic Domains
Explore a novel language development technique that extends HOAS, addressing limitations in semantic domains for open expressions, with applications in incremental computation and bidirectional languages.
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Explore a novel technique for improving AST interpreter performance through automatically generated supernodes, enhancing execution speed and reducing JIT compiler pressure in programming language implementations.
CodeProber: Live Compiler Exploration - LIVE23
Explore interactive compiler debugging with CodeProber. Learn to identify and fix bugs in language tooling using source code-based exploration of AST properties.
Automating the Automator - Refactoring with Elixir 1.13 and Sourceror
Explore automating developer tasks like refactoring using Elixir 1.13 and Sourceror library. Learn to work smarter and enhance productivity in software engineering.
Craft Your Domain-Specific Query Language with NimbleParsec and Ecto
Aprenda a criar uma linguagem de consulta específica de domínio usando NimbleParsec e Ecto para consultas complexas em APIs, oferecendo uma alternativa flexível ao GraphQL.
Syntax Tree: A Toolkit for Interacting with Ruby Parse Trees
Explore Syntax Tree, a powerful toolkit for analyzing and manipulating Ruby code, and discover its potential applications and future possibilities.
Adventures in Julia IR - Plundering Core.Compiler
Explore Julia's typed intermediate representation (IR) and learn to implement custom optimization passes, extending compiler capabilities beyond conventional metaprogramming techniques.
CPython's Compilation Pipeline: From Source to Code Object
Explore CPython 3.13's refined compilation pipeline, from source to code object, and learn about Codoscope, a new visualization tool for understanding Python's translation process.
Recursive Descent Parser in Compiler Design - Top-Down Parsing and Parse Trees
Learn recursive descent parsing, a top-down parsing technique for compiler design. Explore parse trees and their role in syntax analysis for programming languages.
CPython's Compilation Pipeline: From Source to Code Object
Explore CPython 3.13's refined compilation pipeline, from source to code object, and learn about Codoscope, a new visualization tool for understanding Python's translation process.
Mastering IntelliJ IDEA With DevoxxGenie - Harnessing Local and Cloud-Based LLMs
Explore DevoxxGenie plugin for IntelliJ IDEA, integrating local and cloud-based LLMs to enhance coding efficiency. Learn key features, settings, and practical applications through live demos and expert insights.
Hunting Trojans with AST Transformers and Machine Learning
Discover advanced techniques for detecting malicious Python projects using AST Transformers and machine learning, focusing on obfuscation methods and countermeasures in cybersecurity.
Eclipse IDE Tooling Support for Java 18 and 19 Features
Discover how Eclipse IDE's UI features support Java 18 and 19, including pattern matching, record patterns, and code snippets through live demos and practical examples.
Java Source to Byte Code Transformation - The Hidden Story
Uncover the transformation process from Java source code to bytecode, exploring compilation stages, code structure evolution, and essential bytecode concepts for better programming understanding.
Forest: Structural Code Editing with Multiple Cursors
Explore Forest, a structural code editor bridging interactive editing and complex refactoring scripts through novel multi-cursor design for efficient and expressive code modifications.
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.
Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.
Kill All Mutants! Introduction to Mutation Testing - Code BEAM Europe 2022
Explore mutation testing to enhance test suites and code quality. Learn its benefits, drawbacks, implementation, and tools for various languages. Gain insights to improve testing practices and code reliability.
Seeing Like a Linguist - YAML
Explore linguistic concepts through YAML, enhancing understanding of both language and data structures. Gain insights into programming and linguistics.
Safer DB Migrations with Excellent_migrations
Discover how to prevent production downtime caused by unsafe database migrations using the excellent_migrations library, a static analysis tool for Elixir that detects potentially dangerous operations.