Building a Website in 10 Minutes with GitHub Copilot - AI in Production Conference
Build a console web app in 10 minutes using GitHub Copilot. Learn about this GPT-based tool that boosts developer productivity by automating code generation.
BLASPhemy - Improving BLAS Handling in Enzyme.jl
Optimizing BLAS and Lapack routines for Enzyme.jl, improving performance and reliability in numerical computations and machine learning applications within the Julia ecosystem.
Developer Productivity in a Post-AI World
Explore AI's impact on developer tools, from code suggestions to security improvements. Learn to leverage virtual assistants for enhanced productivity and efficiency.
LingoDB: An Open Compilation and Optimization Framework for Sustainable Data Processing
Discover how LingoDB's open-source framework enables efficient data processing through flexible architecture, cross-domain optimizations, and seamless adaptation to modern hardware capabilities.
Symbolic Macros and Rule Finalizers in Bazel Build System
Discover how symbolic macros enhance code structure with rule-like capabilities, typed attributes, and dependencies, plus learn about rule finalizers for advanced package loading control.
Integrating Language Engineering into Software Development - Domain-Specific Languages and Workbenches
Discover how to seamlessly integrate domain-specific language engineering into software development workflows, from initial prototyping to long-term maintenance using language workbenches and Eclipse Langium.
Generating BPF Infrared Decoders Using Finite Automations
Generate BPF infrared decoders efficiently using finite automations. Explore advanced techniques for optimizing decoder performance in Linux systems.
Deriving as a Library - Type Classes and Language Features
Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.
Grounded Copilot - How Programmers Interact with Code-Generating Models
Explore how programmers interact with AI coding assistants like Github Copilot, uncovering bimodal usage patterns and providing recommendations for future AI programming tools.
Generating Java Interfaces for Accessing Foreign Objects in GraalVM - Work in Progress
Explore a tool for automating Java interface generation to access foreign language objects in GraalVM, improving code clarity and reducing errors in language interoperability.
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
Explore Flan, a Datalog compiler embedded in Scala that combines expressiveness and performance for program analysis, offering powerful extensions and specialized code generation.
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Explore advanced compiler testing techniques for loop optimizations in C++ and data-parallel languages. Learn about YARPGen's reimplementation, static undefined behavior avoidance, and loop code diversity mechanisms.
Four Languages for Portability - SPARSE 2024
Explore four languages for achieving software portability across different platforms and architectures in this concise programming talk.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages
Explore a lightweight generator composition concept using symbol tables for heterogeneous modeling languages, enabling seamless code generator synchronization and enhancing language composition capabilities.
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.
Language Model Agents Enable Semi-Formal Programming - LIVE23
Explore semi-formal programming using language model agents to capture semantic information and execute informal program elements, enhancing malleable programming environments.
CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
Explore CLOVER, a paradigm for ensuring correctness in AI-generated code through consistency checking among code, docstrings, and formal annotations using verification tools and language models.
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.
Substrate Engineering - Foundations for AI-Assisted Development
Explore the importance of substrate engineering in LLM-based tools, focusing on improving programming languages and frameworks for enhanced code reliability and safety.
Level Up with GitHub Copilot - AI Pair Programming
Discover how GitHub Copilot, an AI pair programmer, can enhance your coding efficiency by suggesting code, explaining concepts, and translating between languages.