News & EventsDepartment Events & Announcements
Events
-
Jul8
EVENT DETAILS
lessLarge-scale character simulations for real-time games such as Dwarf Fortress and
interactive experiences such as Bad News involve both large numbers of interacting sub
simulations and very large numbers of entities being simulated. This complexity is hard to
achieve at scale while also operating with real-time performance constraints.
Logic programming and rule-based systems are often chosen for tasks such as social
simulation because their use of declarative rules and predicates map well to rules of social
engagement. Unfortunately, they are often quite slow, due in part to its heavy use of pointer chasing, dynamic allocation, garbage collection, and runtime type-checking, making it difficult to use for large numbers of characters or high-frequency updates. Bottom-up execution of logic programs can provide the declarativity of logic programming without the performance issues for appropriate tasks. We argue that large-scale character simulations are a “sweet spot” for bottomup logic programming.
Despite the benefits of using such a performant bottom-up logic programming language
for creating large-scale character simulations, these simulations still often need to encode many of the same things – characters, locations, interactions, and relationships to name a few. These regular components can be described as temporal entities (things that come into and out of existence) and most simulations must typically track the set of temporal entities that exist in the current simulation step as well as their states, the events of these entities creation and destruction, and, when needed, the set of all temporal entities that have ever existed. However, without a standard language with which to describe temporal entities the creation of data structures and access patterns to encode for temporal entities could vary wildly depending on use case, and maintenance of all this extra code (code not directly involved in game logic) would be an unnecessary burden on developers. In this thesis we will argue that temporal entities can be declaratively authored from an ontology-based representation while still maintaining playable framerates. We present Simulog,
a very high-level declarative language for large scale character simulation based on ideas from the formal ontology literature. We will attempt to show that an ontology for these entities allows for the expressive and flexible creation of social simulations, enabling one to declaratively author a simulation with these ontological statements while maintaining very good performance.TIME Wednesday, July 8, 2026 at 6:30 PM - 8:30 PM
LOCATION 3001, Mudd Hall ( formerly Seeley G. Mudd Library) map it
CONTACT Jensen Smith jensen.smith@northwestern.edu EMAIL
CALENDAR Department of Computer Science (CS)
-
Sep24
EVENT DETAILS
lesstba
TIME Thursday, September 24, 2026 at 9:00 AM - 11:00 AM
LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library) map it
CONTACT Wynante R Charles wynante.charles@northwestern.edu EMAIL
CALENDAR Department of Computer Science (CS)
-
Sep28
EVENT DETAILS
lessMonday / CS Seminar
September 28 / 12:00 PM
Hybrid / Mudd 3514Speaker
TBATalk Title
TBAAbstract
TBABiography
TBA---
Zoom Link
Panopto LinkTIME Monday, September 28, 2026 at 12:00 PM - 1:00 PM
LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library) map it
CONTACT Wynante R Charles wynante.charles@northwestern.edu EMAIL
CALENDAR Department of Computer Science (CS)
-
Oct5
EVENT DETAILS
lessMonday / CS Seminar
October 5 / 12:00 PM
Hybrid / Mudd 3514Speaker
Brian Suchy, Software Engineer Google DeepMindTalk Title
Formal Relational Equivalence for SQL, GenAI, and BeyondAbstract
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 LinkTIME Monday, October 5, 2026 at 12:00 PM - 1:00 PM
LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library) map it
CONTACT Wynante R Charles wynante.charles@northwestern.edu EMAIL
CALENDAR Department of Computer Science (CS)
-
Oct29
EVENT DETAILS
lesstba
TIME Thursday, October 29, 2026 at 9:00 AM - 11:00 AM
LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library) map it
CONTACT Wynante R Charles wynante.charles@northwestern.edu EMAIL
CALENDAR Department of Computer Science (CS)
-
Nov19
EVENT DETAILS
lesstba
TIME Thursday, November 19, 2026 at 9:00 AM - 11:00 AM
LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library) map it
CONTACT Wynante R Charles wynante.charles@northwestern.edu EMAIL
CALENDAR Department of Computer Science (CS)