Event26

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.

content/event/_index.md

@@ -25,18 +25,18 @@ Timetable for upcoming events in AY25/26 (subject to changes):
 | April 29 |  | --- | ---|
 | April 22 |  | --- | ---|
 | April 15 |  | --- | ---|
-| April 8 |  | --- | ---|
+| April 8 | <font color=brown>Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving</font> | Ningke | Ningke |
 | April 7 | <font color=green>Reading Group</font> | Zhaokun | ---|
-| April 1 |  | --- | ---|
+| April 1 | <font color=blue>VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems</font> | Ningke | Shenao Wang |
 | March 25 |  | --- | ---|
 | March 24 | <font color=green>Reading Group</font> | Yuancheng | ---|
 | March 18 |  | --- | ---|
 | March 11 | <font color=brown>Qiyu Presentation</font> | --- | ---|
 | March 10 | <font color=green>Reading Group</font> | Yibo | ---|
-| March 4 |  | --- | ---|
+| March 4 | <font color=blue>TBD</font> | TEST-lab | Flavien Solt|
 | Feb 25 | <font color=gray>Recess Week</font> | --- | ---|
-| Feb 18 |  | --- | ---|
-| Feb 11 |  | --- | ---|
+| Feb 18 | <font color=gray>Skip: Chinese New Year</font> | --- | ---|
+| Feb 11 | <font color=blue>Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time </font> | Yibo Dong | Yuchen Shao |
 | Feb 10 | <font color=green>Reading Group</font> | Junwen | ---|
 | Feb 4 | <font color=brown>Suyang Dry Run</font> | --- | ---|
 | Jan 28 | <font color=gray>Skip</font> | --- | ---|