Recent & Upcoming Seminars

If you want to give a talk or attend the seminar, please reach out to Yibo.

Timetable for upcoming events in AY25/26 (subject to changes):

Date Title Host Invitee
Aug 19 AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents Ningke Li Haoyu Wang
Aug 26 Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle Ningke Li Xiaokun Luan
Sep 2 Static bug detection in the era of LLMs Yibo Dong Yiling Lou
Sep 9 “My productivity is boosted, but …” Demystifying Users’ Perception on Al Coding Assistants Junwen An Yunbo Lyu
Sep 16 Group Discussion: Existing Progress and Remaining Challenges
Sep 23 Recess Week
Sep 30
Oct 7
Oct 14 OOPSLA Week \ \
Oct 21 PUBLIC HOLIDAY \ \
Oct 28 Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration Yibo Dong Jingjing Liang
Nov 4 Group Discussion
Nov 11 Zhaokun Presentation Zhaokun \
Nov 18
Nov 25
Dec 2 Group Discussion

Details of upcoming and past talks below.

2025

Static bug detection in the era of LLMs
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
CrackSQL: A Hybrid SQL Dialect Translation System Powered by Large Language Models
Towards Dialect-Agnostic Query Parsing and Rewriting
Paper Share - DOVE: Diagnosis-driven SLO Violation Detection
NeurBench: Benchmarking Learned Database Components with Data and Workload Drift Modeling
Translating C To Rust: Lessons from a User Study
Automatic Differential Testing of the PHP Interpreter
Fuzzing the PHP Interpreter via Dataflow Fusion
Efficient and Scalable Distributed LLM Training: Hiding Communication Overhead
Type Systems for Query Languages

2024

SGL: Deriving Test Case Generators using Domain-Specific Language to Test Database Engines
Automated test case reduction in query specific language(s)
Improving the Extensibility of SQLancer
CodeGRITS: A Research Toolkit for Developer Behavior and Eye Tracking in IDE
Are Deep Reinforcement Learning Implementations Really Interchangeable?
Detecting Build Dependency Errors in Incremental Builds
A Simple yet Effective Framework for Testing Various Isolation Levels in Black-Box Databases
Automatic Uncovering Memory Errors in the PHP Engine via Dataflow Fusion and Mutation
Scaling Automated Database System Testing
Inconsistencies in TeX-produced Documents
Intelligent Code Analysis and Program Repair in the Era of LLMs
CS3213 Lecture - Software Evolution
Introduction to code commit process

2023

Testing Change Data Capture Tools via SQLancer-CDC
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Software Build Maintenance​: Errors and Efficiency
Runtime Compiler Optimizations for CPython Bytecode
Improving Reliability of JDBC Drivers
Reusing Test Suites Across Database Systems
Sanitizers' Blind Spots: Invisible Undefined Behaviors
Finding Typing Compiler Bugs
Autonomous driving system defect localization
Race Detection in CUDA Kernels
Finding XPath Bugs in XML Processors via Differential Testing
Detecting Logic Bugs of Join Optimizations in DBMS
Part1: Reusing testsuites of Databases
Measuring and Improving Fairness in NLP
Testing JDBC drivers
Testing Graph Databases
Automated Testing for XPath Query Processors
Finding Optimization Bugs in Datalog Engines
General SQL Grammar for Testing Case Generation
Cardinality Estimation Testing

2022

Infrared: A Meta Bug Detector
Efficient Fuzzing to Detect Memory Errors