News & Events
Department Events & Announcements

Events

  • Oct
    5

    CS Seminar: Formal Relational Equivalence for SQL, GenAI, and Beyond (Brian Suchy)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    Monday / CS Seminar
    October 5 / 12:00 PM
    Hybrid / Mudd 3514

    Speaker
    Brian Suchy, Software Engineer Google DeepMind

    Talk Title
    Formal Relational Equivalence for SQL, GenAI, and Beyond

    Abstract
    Verifying that complex query rewrites from database optimizers or AI-driven generators preserve exact bag semantics under three-valued logic is an NP-hard challenge. To address this, we present an MLIR-native compiler framework that formally reasons about relational algebra. By decoupling query semantics from specific execution engines and lowering queries into a unified Relational Algebra Intermediate Representation, our language-agnostic methodology definitively proves semantic equivalence across all possible database states.

    The core of the presentation will deep-dive into our multi-tiered proving architecture, which synthesizes several advanced academic methodologies. First, we utilize E-Graphs and Equality Saturation to rapidly explore the equivalence space and detect structural congruence between query abstract syntax trees using fast, algebraic rewrite rules. Second, we employ Semiring Arithmetic, treating relational algebra as expressions over K-relations to leverage algebraic simplification and canonical forms under semiring laws. Finally, we implement a First-Order Logic and SMT translation path, lowering Relational Algebra into Relational Calculus and then into First-Order Logic to evaluate constraints and domain-specific axioms using parallel solvers like Z3 and CVC5, which either formally proves equivalence or synthesizes concrete counter-examples.

    Finally, we will discuss the practical implications of combining these formal mathematical methods with modern compiler design. Attendees will leave with a comprehensive understanding of how bridging database theory, equality saturation, and SMT solving can create robust solutions for verifying query optimizers, enforcing semantic correctness, and validating automated SQL generation at scale.

    Biography
    Brian Suchy is a Software Engineer within Google DeepMind.
    In his time at Google he has worked on F1 Query (Google's internal SQL query engine), hardware development, and (of course) AI.
    Prior to joining Google, Brian received his PhD student at Northwestern University, advised by Peter Dinda, with a focus on hardware/software codesign and memory management.

    Research Interests: Artificial Intelligence, Query Processing and Formal Logic

    ---
    Zoom Link
    Panopto Link

    more less

    TIME Monday, October 5, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Jun
    26

    IDEAL Workshop: Emerging Markets: Data, Models, Tokens

    Department of Computer Science (CS)

    9:45 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILSmore info

    TIME Friday, June 26, 2026 at 9:45 AM - 3:30 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Jul
    1

    Blaine Rothrock CS PhD Final Defense: Bridging Prototype to Field: Patterns for Low-Power Wireless Sensing Across Mobile Health and Environmental Conservation

    Department of Computer Science (CS)

    1:00 PM Mudd Library, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Wednesday, July 1, 2026 at 1:00 PM - 3:00 PM

    LOCATION Mudd Library, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Jensen Smith    jensen.smith@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Jul
    2

    Lily Ge CS PhD Final Defense: Toward a More Comprehensive Understanding of Visualization Literacy Through Designing and Developing Measurements and Interventions

    Department of Computer Science (CS)

    12:00 PM Mudd 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, July 2, 2026 at 12:00 PM - 1:30 PM

    LOCATION Mudd 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Jensen Smith    jensen.smith@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Sep
    24

    Bagel Thursday + Discussion

    Department of Computer Science (CS)

    9:00 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, September 24, 2026 at 9:00 AM - 11:00 AM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Sep
    28

    CS Seminar

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, September 28, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Oct
    29

    Bagel Thursday + Discussion

    Department of Computer Science (CS)

    9:00 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, October 29, 2026 at 9:00 AM - 11:00 AM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    19

    Bagel Thursday + Discussion

    Department of Computer Science (CS)

    9:00 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, November 19, 2026 at 9:00 AM - 11:00 AM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)