From 2cbdbc4faf971f2e68b4965399c07f2f7fb0c55d Mon Sep 17 00:00:00 2001 From: yibo <386083722@qq.com> Date: Tue, 27 Jan 2026 14:04:39 +0800 Subject: [PATCH 1/4] Event: update event and holiday --- content/event/_index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/event/_index.md b/content/event/_index.md index 112cd6b..f770bb7 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -35,8 +35,8 @@ Timetable for upcoming events in AY25/26 (subject to changes): | March 10 | Reading Group | Yibo | ---| | March 4 | | --- | ---| | Feb 25 | Recess Week | --- | ---| -| Feb 18 | | --- | ---| -| Feb 11 | | --- | ---| +| Feb 18 | Skip: Chinese New Year | --- | ---| +| Feb 11 | Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time | Yibo Dong | Yuchen Shao | | Feb 10 | Reading Group | Junwen | ---| | Feb 4 | Suyang Dry Run | --- | ---| | Jan 28 | Skip | --- | ---| From 1514dbe2ab172024d95b1ecd6e81eade96fcf1d6 Mon Sep 17 00:00:00 2001 From: yibo <386083722@qq.com> Date: Tue, 27 Jan 2026 17:50:26 +0800 Subject: [PATCH 2/4] Event: update Flavien Solt's talk --- content/event/_index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/event/_index.md b/content/event/_index.md index f770bb7..37bd5e2 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -33,7 +33,7 @@ Timetable for upcoming events in AY25/26 (subject to changes): | March 18 | | --- | ---| | March 11 | Qiyu Presentation | --- | ---| | March 10 | Reading Group | Yibo | ---| -| March 4 | | --- | ---| +| March 4 | TBD | TEST-lab | Flavien Solt| | Feb 25 | Recess Week | --- | ---| | Feb 18 | Skip: Chinese New Year | --- | ---| | Feb 11 | Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time | Yibo Dong | Yuchen Shao | From 5b247b47df476a3af28175a472d78f1fd6a2c43f Mon Sep 17 00:00:00 2001 From: yibo <386083722@qq.com> Date: Tue, 27 Jan 2026 18:33:50 +0800 Subject: [PATCH 3/4] Event: update invited talks --- content/event/_index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/event/_index.md b/content/event/_index.md index 37bd5e2..89c5c58 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -25,9 +25,9 @@ Timetable for upcoming events in AY25/26 (subject to changes): | April 29 | | --- | ---| | April 22 | | --- | ---| | April 15 | | --- | ---| -| April 8 | | --- | ---| +| April 8 | Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving | Ningke | Ningke | | April 7 | Reading Group | Zhaokun | ---| -| April 1 | | --- | ---| +| April 1 | VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems | Ningke | Shenao Wang | | March 25 | | --- | ---| | March 24 | Reading Group | Yuancheng | ---| | March 18 | | --- | ---| From f8837bb387b30615e41d70cd9305aa679fc1fdf7 Mon Sep 17 00:00:00 2001 From: yibo <386083722@qq.com> Date: Tue, 27 Jan 2026 20:45:17 +0800 Subject: [PATCH 4/4] Event: update Shenao's talk details --- content/event/260401.md | 67 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 content/event/260401.md diff --git a/content/event/260401.md b/content/event/260401.md new file mode 100644 index 0000000..6947502 --- /dev/null +++ b/content/event/260401.md @@ -0,0 +1,67 @@ +--- +title: "VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems" + +event: Weekly Talk +event_url: + +location: MR24@COM3-02-64 +address: + street: + city: + region: + postcode: + country: Singapore + +summary: +abstract: "Vector Database Management Systems (VDBMSs) have become critical in LLM-integrated applications. However, their inherent complexity, including high-dimensional data structures, diverse indexing strategies, and heterogeneous implementations, makes them prone to reliability issues. Among these, crash bugs caused by boundary condition failures, such as invalid configurations and mismatched data dimensions, are particularly severe. These bugs can result in serious consequences like data loss, corrupted indexes, and cascading failures. To address this gap, we propose VDBFuzz, the first fuzzing framework specifically designed to detect VDBMS crash bugs through boundary value testing. VDBFuzz systematically leverages techniques to collect high-quality seeds, generate edge-case inputs, and explore complex API interactions. We evaluated \toolname on 8 representative VDBMSs, including native systems (e.g., Weaviate, Milvus), libraries (e.g., Faiss, hnswlib), and extended systems (e.g., pgvector, sqlite-vec). VDBFuzz achieved up to 3x higher code coverage compared to state-of-the-art tools such as RESTler and Schemathesis, uncovering 19 previously unknown bugs, including 13 crash vulnerabilities and 6 runtime exceptions. " + +# Talk start and end times. +# End time can optionally be hidden by prefixing the line with `#`. +date: "2026-04-01T14:00:00Z" +date_end: "2026-04-01T15:00:00Z" +all_day: false + +# Schedule page publish date (NOT talk date). +publishDate: "2026-01-27T00:00:00Z" + +authors: [Shenao Wang] +tags: [Weekly Talk] + +# Is this a featured talk? (true/false) +featured: false + +image: + caption: 'Image credit: [**Unsplash**](https://unsplash.com/photos/bzdhc5b3Bxs)' + focal_point: Right + +url_code: "" +url_pdf: "" +url_slides: "" +url_video: "" + +# Markdown Slides (optional). +# Associate this talk with Markdown slides. +# Simply enter your slide deck's filename without extension. +# E.g. `slides = "example-slides"` references `content/slides/example-slides.md`. +# Otherwise, set `slides = ""`. +slides: + +# Projects (optional). +# Associate this post with one or more of your projects. +# Simply enter your project's folder or file name without extension. +# E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`. +# Otherwise, set `projects = []`. +projects: + +# Slides can be added in a few ways: +# +# - **Create** slides using Wowchemy's [*Slides*](https://wowchemy.com/docs/managing-content/#create-slides) feature and link using `slides` parameter in the front matter of the talk file +# - **Upload** an existing slide deck to `static/` and link using `url_slides` parameter in the front matter of the talk file +# - **Embed** your slides (e.g. Google Slides) or presentation video on this page using [shortcodes](https://wowchemy.com/docs/writing-markdown-latex/). +# +# Further event details, including page elements such as image galleries, can be added to the body of this page. + +--- +Speaker Info: + +Shenao Wang is a Ph.D. student at Huazhong University of Science and Technology, advised by Professor Haoyu Wang. His research focuses on the intersection of security, program analysis, and software systems. His recent work centers on the security vulnerabilities in the LLM infrastructure and agentic software ecosystem. \ No newline at end of file