diff --git a/content/event/261118.md b/content/event/261118.md new file mode 100644 index 00000000..ffcebf9c --- /dev/null +++ b/content/event/261118.md @@ -0,0 +1,20 @@ +--- +title: "Efficient Dialect-Agnostic SQL Equivalence Refutation" + +event: Weekly Talk +summary: "Junwen An presents SQLWitness, a dialect-agnostic SQL equivalence refutation engine." +abstract: "SQLWitness identifies inequivalent SQL queries by generating database instances on which they return different results. It uses the DBMS execution engine to capture dialect-specific semantics, combines a constrained data-generation space with integrity-constraint-aware generation, and uses predicate coverage and statistical estimation to guide termination." + +# The talk time has not yet been specified. +date: "2026-11-18T00:00:00+08:00" +all_day: true +publishDate: "2026-10-22T00:00:00+08:00" + +authors: [Junwen An] +tags: [Weekly Talk] +featured: false + +url_code: "https://github.com/wanteatfruit/SQLWitness" +url_pdf: "https://arxiv.org/pdf/2610.22442" +projects: [sqlwitness] +--- diff --git a/content/event/_index.md b/content/event/_index.md index 631e913d..e324433c 100644 --- a/content/event/_index.md +++ b/content/event/_index.md @@ -23,7 +23,7 @@ Timetable for upcoming events in AY26/27 (subject to changes): | ------ | ------------------------------------------------------------ | --------- | ---------- | | Dec 2 | | --- | --- | | Nov 25 | | --- | --- | -| Nov 18 | | --- | --- | +| Nov 18 | Efficient Dialect-Agnostic SQL Equivalence Refutation | Junwen An | --- | | Nov 11 | Yibo Dry Run | --- | ---| | Nov 4 | FYP Dry Run | --- | ---| | Oct 28 | Ningke Dry Run | --- | ---| diff --git a/content/project/sqlwitness/index.md b/content/project/sqlwitness/index.md new file mode 100644 index 00000000..4a7b4ea4 --- /dev/null +++ b/content/project/sqlwitness/index.md @@ -0,0 +1,15 @@ +--- +title: "SQLWitness" +summary: "" +authors: [] +tags: [] +categories: [] +date: 2026-10-22T00:00:00+08:00 + +external_link: "https://github.com/wanteatfruit/SQLWitness" + +url_code: "https://github.com/wanteatfruit/SQLWitness" +url_pdf: "https://arxiv.org/pdf/2610.22442" +--- + +SQLWitness is a dialect-agnostic SQL equivalence refutation engine that generates database instances on which two queries produce different results. diff --git a/content/publication/2027-sigmod-sql-equivalence-refutation/index.md b/content/publication/2027-sigmod-sql-equivalence-refutation/index.md index 8776e7da..3b2c3c2c 100644 --- a/content/publication/2027-sigmod-sql-equivalence-refutation/index.md +++ b/content/publication/2027-sigmod-sql-equivalence-refutation/index.md @@ -21,11 +21,11 @@ publication_short: In *SIGMOD 2027* abstract: "" -#url_pdf: +url_pdf: "https://arxiv.org/pdf/2610.22442" #url_code: '#' #url_dataset: '#' #url_poster: '#' -#url_project: '' +url_project: "https://github.com/wanteatfruit/SQLWitness" #url_slides: '' #url_source: '#' #url_video: '#'