Recent & Upcoming Seminars

If you want to give a talk or attend the seminar, please reach out to Jinsheng Ba

2024

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation

Apr 30, 2024 2:00 PM — 3:00 PM NUS SoC

Inconsistencies in TeX-produced Documents

Apr 9, 2024 2:00 PM — 3:00 PM NUS SoC

Intelligent Code Analysis and Program Repair in the Era of LLMs

Apr 2, 2024 2:00 PM — 3:00 PM NUS SoC

Detecting and Verifying Unexpected Behaviors in Web Applications using Program Analysis

Mar 26, 2024 2:00 PM — 3:00 PM NUS SoC

CS3213 Lecture - Software Evolution

Mar 19, 2024 2:00 PM — 3:00 PM NUS SoC

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs

Mar 12, 2024 2:00 PM — 3:00 PM NUS SoC

Learning-based Widget Matching for Migrating GUI Test Cases

Mar 5, 2024 2:00 PM — 3:00 PM NUS SoC

Testing Graph Database via Graph-Aware Metamorphic Relations

Feb 20, 2024 2:00 PM — 3:00 PM NUS SoC

Introduction to code commit process

Feb 6, 2024 2:00 PM — 3:00 PM NUS SoC

Golly! Granular Bug Finding via Polyhedral Analysis of GPU Kernels

Jan 30, 2024 2:00 PM — 3:00 PM NUS SoC

Equivalent Query Rewriting in Graph Database without Hard-code Rules

Jan 16, 2024 2:00 PM — 3:00 PM NUS SoC

2023

Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation

Dec 18, 2023 2:00 PM — 3:00 PM NUS SoC

Testing Change Data Capture Tools via SQLancer-CDC

Dec 4, 2023 2:00 PM — 2:30 PM NUS SoC

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Nov 27, 2023 2:00 PM — 3:00 PM NUS SoC

Software Build Maintenance: Errors and Efficiency

Nov 20, 2023 2:00 PM — 2:30 PM NUS SoC

Runtime Compiler Optimizations for CPython Bytecode

Nov 14, 2023 2:00 PM — 3:00 PM NUS SoC

Improving Reliability of JDBC Drivers

Nov 6, 2023 1:00 PM — 2:00 PM NUS SoC

Reusing Test Suites Across Database Systems

Oct 23, 2023 2:00 PM — 3:00 PM NUS SoC

Sanitizers' Blind Spots: Invisible Undefined Behaviors

Oct 16, 2023 2:00 PM — 3:00 PM NUS SoC

Finding Typing Compiler Bugs

Oct 9, 2023 2:00 PM — 3:00 PM NUS SoC

Automated Testing and Improvement of Named Entity Recognition Systems

Oct 2, 2023 2:00 PM — 3:00 PM NUS SoC

Autonomous driving system defect localization

Sep 18, 2023 2:00 PM — 3:00 PM NUS SoC

Testing Database Systems Through the Lens of Constant Folding and Constant Propagation

Sep 11, 2023 2:00 PM — 3:00 PM NUS SoC

Race Detection in CUDA Kernels

Sep 4, 2023 2:00 PM — 3:00 PM NUS SoC

Finding XPath Bugs in XML Processors via Differential Testing

Aug 28, 2023 2:00 PM — 3:00 PM NUS SoC

Detecting Logic Bugs of Join Optimizations in DBMS

Aug 21, 2023 2:00 PM — 3:00 PM NUS SoC

Deriving Test Case Generators using Domain-Specific Language to Test Database Engine (Interim Report)

Apr 17, 2023 3:00 PM — 4:00 PM NUS SoC

Part1: Reusing testsuites of Databases

Apr 17, 2023 2:00 PM — 3:00 PM NUS SoC

Measuring and Improving Fairness in NLP

Apr 10, 2023 2:00 PM — 3:00 PM NUS SoC

Testing JDBC drivers

Apr 3, 2023 2:00 PM — 3:00 PM NUS SoC

Testing Graph Databases

Mar 20, 2023 2:00 PM — 3:00 PM NUS SoC

Automated Testing for XPath Query Processors

Mar 13, 2023 2:00 PM — 3:00 PM NUS SoC

Open-Domain Aspect-Opinion Co-Mining with Double-Layer Span Extraction

Mar 6, 2023 2:00 PM — 3:00 PM NUS SoC

SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems

Feb 27, 2023 2:00 PM — 3:00 PM NUS SoC

Finding Optimization Bugs in Datalog Engines

Feb 20, 2023 2:00 PM — 3:00 PM NUS SoC

General SQL Grammar for Testing Case Generation

Feb 13, 2023 1:00 PM — 2:00 PM NUS SoC

Cardinality Estimation Testing

Feb 6, 2023 1:00 PM — 2:00 PM NUS SoC

2022

Infrared: A Meta Bug Detector

Sep 29, 2022 1:00 PM — 2:00 PM NUS SoC

Efficient Fuzzing to Detect Memory Errors

Sep 15, 2022 1:00 PM — 2:00 PM NUS SoC