Concept: Scripting language
Cerebra: Aligning Implicit Knowledge in Interactive SQL Authoring
Interactive tool aligns user expectations with AI-generated SQL queries
RAG Without the Lag: Enabling “What-If” Analysis for Retrieval-Augmented Generation Pipelines
Tool for quickly testing different configurations in AI retrieval and generation pipelines
Retrieval-augmented Generation of Enhanced Trigger-action Programming Rules in Smart Home
AI system helps users create complex smart home automation rules without programming knowledge
FLAT uses formal languages to type strings
Using formal languages as type constraints to prevent string-based security vulnerabilities
