Modern Language Engineering with Langium - Building Web-Based Language Frameworks
Discover how to develop programming languages efficiently using Langium framework, focusing on TypeScript integration, grammar language, semantic models, and dependency injection for web contexts.
AI-Powered Noise Suppression in JavaScript - Real-time Neural Networks
Discover how to implement AI-powered noise suppression in real-time communication platforms using JavaScript, focusing on client-side integration and RNNoise neural network implementation.
Defense in Depth: Isolating Mesa From the Kernel
Explore advanced security techniques for isolating graphics drivers from kernel access, using virtualization and helper processes to protect against potential exploits in browser environments.
Unlocking Seamless Collaboration: Design-First APIs for Components
Explore design-first API approach for UI components to enhance collaboration between front-end and back-end teams. Learn to treat complex components as black-boxes with well-defined APIs for seamless development.
Building a Streaming Chatbot with Spring Boot and Spring AI
Create a responsive, streaming chatbot using Spring Boot and Spring AI. Implement traditional and streaming responses, integrate with Claude 3.5 Sonnet, and build a simple UI with HTMX and Tailwind CSS.
Atomics and Memory Model for Rust Code in Kernel
Explore atomics and memory models in Rust for kernel development, focusing on implementation challenges and solutions for Linux systems.
Translating Canonical SQL to Imperative Code in Coq
Explore a mechanically verified compiler translating SQL to imperative code, addressing implementation challenges and leveraging formalization advances in query compilation.
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Explore robust and modular verification of WebAssembly programs using Iris-Wasm, a mechanized higher-order separation logic for specifying and verifying individual modules with strong isolation guarantees.
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Explore novel coverage criteria for generating high-quality conformance tests in programming language implementations, focusing on feature-sensitive and feature-call-path-sensitive approaches.
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Explore a novel approach to JavaScript vulnerability detection using Multiversion Dependency Graphs, improving analysis efficiency and accuracy for npm packages.
Reducing Static Analysis Unsoundness with Approximate Interpretation
Explore a novel dynamic analysis technique for JavaScript that improves static analysis accuracy, particularly for dynamic property accesses, enhancing call graph construction and analysis recall.
Lifting On-Demand Analysis to Higher-Order Languages
Explore an innovative approach to on-demand analysis for higher-order languages, focusing on precise call graph construction and scalable bug detection in complex code bases.
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.
Realizing Persistent Signals in JavaScript
Explore persistent signals implementation in JavaScript, enabling time-travel functionality and broader application in web development through relay-server architecture and DSL library approach.
What We Learned from C++ Atomics and Memory Model Standardization
Explore insights from C++ atomics and memory model standardization, covering usage patterns, performance implications, implementation challenges, and lessons learned in language design.
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
Explore e-graph application in software testing, focusing on test suite reduction and abstraction for program analysis tools. Learn about JSON-based implementation and preliminary research findings.
How Elixir Helped Me to Love the Back End
Discover how Elixir transforms backend development, making it intuitive and approachable for JavaScript developers. Gain confidence to explore new coding territories and understand Elixir's advantages.
React Native for Beginners - Step-by-Step Tutorial
Learn React Native step-by-step: from setup to creating and running your first app using Expo framework. No prior mobile app or React experience needed.
Improving the Process of Debugging JavaScript Errors in Production
Enhance JavaScript error debugging in production: reduce time from user experience to root cause identification, improving user satisfaction and developer efficiency.
Scalable Event-Driven Applications with NestJS
Develop scalable event-driven apps using NestJS. Explore advantages, use cases, and hands-on examples to solve common scalability issues.
The Changing API Problem - Implementing API First with OpenAPI Specifications
Explore API First paradigm and OpenAPI specs to prevent unexpected API changes. Learn about tools for auto-generating code, creating mock servers, and validating APIs.