| Mar 14, 2024 |
Our paper “Keep It Simple: Testing Databases via Differential Query Plans” was accepted at SIGMOD 2024.
|
| Mar 2, 2024 |
Our paper “Detecting Build Dependency Errors in Incremental Builds” was accepted at ISSTA 2024.
|
| Feb 8, 2024 |
Our paper “Validating Database System Isolation Level Implementations with Version Certificate Recovery” was accepted at EuroSys 2024.
|
| Jan 12, 2024 |
I wrote an article for ACM Queue’s “Research for Practice” column on “Automatically Testing Database Systems” with Peter Alvaro.
|
| Jan 5, 2024 |
NUS School of Computing featured our work on Query Plan Guidance (QPG), which won a Distinguished Paper Award at ICSE 2023, in an article.
|
| Dec 28, 2023 |
I was invited to join the ASPLOS 2025 PC.
|
| Dec 27, 2023 |
We will be organizing a fuzzing summer school at NUS at the end of May 2024.
|
| Dec 23, 2023 |
Our paper “Finding Cross-rule Optimization Bugs in Datalog Engines” was accepted at OOPSLA 2024.
|
| Dec 15, 2023 |
Our paper “Finding XPath Bugs in XML Document Processors via Differential Testing” was accepted at ICSE 2024.
|
| Dec 14, 2023 |
I am excited to be acting as a judge for the annual NUS Hackers Hack&Roll hackathon.
|
| Dec 6, 2023 |
I was invited to serve on the PC of the MoreVMs’24 workshop.
|
| Nov 1, 2023 |
I will serve on the ICSE 2025 PC.
|
| Oct 10, 2023 |
Our paper “Finding Performance Issues in Database Engines via Cardinality Estimation Testing” was accepted at ICSE 2024.
|
| Oct 10, 2023 |
Anja Gruenheid and I were invited to co-chair the DBTest workshop at SIGMOD 2024.
|
| Aug 24, 2023 |
Our paper “Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation” was accepted at ICSE 2024.
|
| Aug 8, 2023 |
I will present our work on SQLancer at the Data Engineering Meetup in Singapore on September 6.
|
| Aug 6, 2023 |
I was invited to present our database system testing work at the Sentosa Software Technology Summit - Advanced Foundational Software and Systems, organized by Huawei (September 7 to 8).
|
| Jul 10, 2023 |
I visited University College London today and gave a talk on automatically testing database systems, hosted by Sergey Mechtaev.
|
| Jul 10, 2023 |
I visited Imperial College London today and gave a talk on “Automatically Finding Performance Issues in Compilers and Databases”, hosted by Cristian Cadar.
|
| Jul 6, 2023 |
I presented two tutorials at the TAROT Summer School, chaired by Alastair Donaldson and Mohammad Reza Mousavi.
|
| Jul 1, 2023 |
I am a co-PI for a S$6.7 million grant by the National Research Foundation (NRF) National Cybersecurity R&D Programme with Abhik Roychoudhury (head PI), Zhenkai Liang, and Umang Mathur.
|
| Jun 26, 2023 |
I was visiting Nanjing University today, hosted by Linzhang Wang, and presented our ongoing work on testing data-centric systems.
|
| Jun 24, 2023 |
I was visiting Cheng Li’s Advanced Data Systems Lab (ADSL) at USTC in Hefei, China today, and presented our ongoing work on testing data-centric systems.
|
| May 19, 2023 |
Our paper “Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction” was accepted at OSDI’23.
|
| Feb 23, 2023 |
Our ICSE 2023 paper “Testing Database Engines via Query Plan Guidance” was awarded an ACM SIGSOFT Distinguished Paper Award.
|
| Feb 14, 2023 |
I gave a virtual talk at University of Melbourne today, hosted by Van-Thuan Pham.
|
| Feb 7, 2023 |
I was invited to give a talk on SQLancer for Friday Hacks, organized by NUS Hackers and hosted by Devansh Shah.
|
| Feb 2, 2023 |
I will serve as a Workshops Co-chair for ISSTA ‘24.
|
| Jan 16, 2023 |
Our paper on “Testing Graph Database Engines via Query Partitioning” was accepted at ISSTA ‘23.
|
| Jan 13, 2023 |
I visited Pramod Bhatotia’s group at the Technical University of Munich (TUM) today (and gave a talk on our research).
|
| Jan 13, 2023 |
I will serve as a co-chair the Artifact Evaluation process for PLDI ‘24.
|
| Dec 26, 2022 |
I am excited to be acting as a judge for the annual NUS Hackers Hack&Roll hackathon.
|
| Dec 9, 2022 |
Our paper “Testing Database Engines via Query Plan Guidance” was accepted at ICSE 2023.
|
| Nov 14, 2022 |
I was recognized with an ESEC/FSE ‘22 Distinguished Reviewer Award.
|
| Oct 7, 2022 |
I will co-chair the International Workshop on Metamorphic Testing 2023 (MET 2023) together with Xiaoyuan Xie and Mingyue Jiang.
|
| Oct 3, 2022 |
I will present at the “The 2nd International Research Workshop in Computer Science and Information Systems” (Oct 14-16) in Phuket, Thailand, co-organized by PSU and NUS.
|
| Oct 3, 2022 |
Two of our papers were accepted at Onward! 2022 on “Intramorphic Testing: A New Approach to the Test Oracle Problem” and “Forest: Structural Code Editing with Multiple Cursors”.
|
| Sep 14, 2022 |
I was invited to serve on the ICSE 2024 Program Committee.
|
| Jul 28, 2022 |
I was invited to give a talk on our DBMS testing research at the APAC Modern Data Stack (MDS) Meetup Group, on August 25, hosted by Singularity.
|
| Jun 30, 2022 |
Our proposal on another Dagstuhl seminar on “Ensuring the Reliability and Robustness of Database Management Systems” was accepted.
|
| May 16, 2022 |
I was invited to co-chair the Artifact Evaluation process for PLDI ‘23 with Xinyu Wang.
|
| May 11, 2022 |
I was recognized with an ICSE ‘22 Distinguished Reviewer Award.
|
| Mar 23, 2022 |
I was invited by Greg Wilson and Michael Hoye to give a 10-minute lightning talk as part of It Will Never Work in Theory’s first online event on April 27.
|
| Mar 15, 2022 |
I was invited to share my insights and experience with the artifact evaluation process in the Lunch Seminar at the ETH Systems Group, hosted by Foteini Strati & Maurice Weber.
|
| Mar 8, 2022 |
I was invited to present our DBMS-testing work to Huawei Research in Edinburgh on March 22, hosted by Antonis Katsarakis.
|
| Mar 4, 2022 |
We were awarded a “Distinguished Artifact Award” for our ASPLOS ‘22 paper on Finding Missed Optimizations through the Lens of Dead Code Elimination.
|
| Feb 20, 2022 |
I was invited to serve as a reviewer for the SPLASH 2022 Student Research Competition (SRC).
|
| Feb 20, 2022 |
I will give a talk on my past research and future vision at NUS on February 22.
|
| Jan 15, 2022 |
I was invited to serve on the PC of the MoreVMs’22 workshop.
|
| Jan 14, 2022 |
I was invited to give a talk on our DBMS testing research for the Gray Systems Lab (GSL) at Microsoft, hosted by Jesús Camacho Rodriguez and Konstantinos Karanasos.
|
| Dec 15, 2021 |
I was invited to give a talk on our DBMS testing research for ByteDance, hosted by Chao Peng.
|
| Dec 6, 2021 |
Pinar Tözün and I will co-chair the DBTest workshop at SIGMOD 2022.
|
| Nov 13, 2021 |
Our paper “Finding Missed Optimizations through the Lens of Dead Code Elimination” was accepted at ASPLOS ‘22.
|
| Nov 9, 2021 |
An article about my talk on the faculty interviewing process is online.
|
| Nov 4, 2021 |
I co-organized a Dagstuhl seminar on “Ensuring the Reliability and Robustness of Database Management Systems” and gave a talk on “A Whirlwind Tour of Automated Database Management System Testing”.
|
| Oct 28, 2021 |
I gave a talk on my academic job search experience at a fully-booked event at ETH.
|
| Oct 14, 2021 |
I gave a talk on our DBMS testing research for TigerGraph, hosted by Xuanzhe Wang.
|
| Sep 27, 2021 |
I gave a talk on my academic job search experience for the NUS School of Computing.
|
| Sep 22, 2021 |
I was invited to serve on the PC of the International Workshop on Metamorphic Testing 2022 (MET 2022).
|
| Sep 18, 2021 |
I gave a talk on my academic job search experience at the VMI ETH Summer Retreat.
|
| Jul 21, 2021 |
I have published the Getting Academic Positions (GAP) Interviewing Series, in which (new) professors share their experience applying and interviewing for faculty positions.
|
| Jul 12, 2021 |
I was invited to serve on the PC of ESEC/FSE 2022.
|
| Jul 9, 2021 |
I was invited to serve on the PC of ECOOP ‘22.
|
| May 25, 2021 |
I am thrilled to join the School of Computing at the National University of Singapore as an Assistant Professor in summer 2022.
|
| Apr 7, 2021 |
Ilya Yatsishin (Yandex) and I will give a talk at Heisenbug on “Using SQLancer to test ClickHouse and other database systems”.
|
| Mar 13, 2021 |
I was invited to serve as a PC co-chair of the Workshop on Virtual Machines and Language Implementations (VMIL) 2021.
|
| Mar 12, 2021 |
Our paper “SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs” was conditionally accepted at OSDI ‘21.
|
| Mar 9, 2021 |
I was invited to present our DBMS-testing work to IST Austria in a virtual seminar, hosted by Tom Henzinger, on April 27.
|
| Feb 15, 2021 |
I was invited to serve on the International Symposium on Database Programming Languages (DBPL 2021).
|
| Jan 21, 2021 |
Yandex now runs SQLancer on every commit of ClickHouse.
|
| Jan 20, 2021 |
I was invited to serve as the moderator for the ecoop-info mailing list in 2021.
|
| Jan 8, 2021 |
I was invited to write a blog post for the ACM SIGOPS blog in Tianyin Xu’s series “How Are Award-winning Systems Research Artifacts Prepared”.
|
| Jan 5, 2021 |
I was invited to co-chair the OSDI 2021 Artifact Evaluation Process.
|
| Dec 19, 2020 |
I have created https://csfaculty.github.io/, a website that supports practicing interview questions for CS faculty jobs.
|
| Dec 14, 2020 |
I was invited to serve on the VLDB 2021 Demonstration Track.
|
| Dec 3, 2020 |
I was invited to serve on the ICSE 2022 Program Committee.
|
| Nov 20, 2020 |
I will present our work on testing database systems in Jean Yang’s #PLTalk series on December 4th. Join the #PLTalk Discord server!
|
| Nov 18, 2020 |
We received an OOPSLA’20 Distinguished Artifact Award for our paper Finding Bugs in Database Systems via Query Partitioning
|
| Nov 11, 2020 |
Our work on testing database systems has been featured in an ETH News Article [English] [German].
|
| Nov 4, 2020 |
We received an OSDI’20 Distinguished Artifact Award for our paper Testing Database Engines via Pivoted Query Synthesis
|
| Oct 29, 2020 |
Our proposal for a Dagstuhl seminar on “Ensuring the Reliability and Robustness of Database Management Systems”, co-organized with Alexander Böhm, Maria Christakis, and Eric Lo, has been accepted.
|
| Oct 7, 2020 |
I was invited to present our DBMS-testing work to Databricks in a virtual talk, hosted by Reynold Xin, on October 29.
|
| Aug 15, 2020 |
Our paper “Testing Database Engines via Pivoted Query Synthesis” was accepted at OSDI.
|
| Jul 31, 2020 |
Our papers “Finding Bugs in Database Systems via Query Partitioning” and “Fast Linear Programming through Transprecision Computing on Small and Sparse Data” were conditionally accepted at OOPSLA 2020.
|
| Jun 23, 2020 |
I was invited to present our DBMS-testing work to the Hyper and Salesforce DBMS teams in a virtual talk, hosted by Tobias Mühlbauer, on July 7.
|
| Jun 18, 2020 |
I was invited to present our DBMS testing work to the IMDEA Software Institute in a virtual talk, hosted by Marco Guarnieri, on July 2.
|
| Jun 15, 2020 |
I was invited to present our DBMS-testing work to the Chair of Software Engineering at Saarland University, hosted by Sven Apel, on July 1.
|
| Jun 12, 2020 |
A talk on our DBMS-testing work given for the Database Architectures group at CWI is available on YouTube.
|
| Jun 10, 2020 |
A recording of the talk on Ternary Logic Partitioning (TLP) and SQLancer that I gave for the CMU Database Group is now online at YouTube.
|
| Jun 10, 2020 |
Only one week since SQLancer was released, it has been starred more than 300 times on GitHub.
|
| Jun 2, 2020 |
We released SQLancer on GitHub at https://github.com/sqlancer/sqlancer/.
|
| May 28, 2020 |
Due to the significant interest in our DBMS-testing work, we decided to share a preprint on Ternary Logic Partitioning: Detecting Logic Bugs in Database Management Systems.
|
| May 22, 2020 |
I was invited to present our DBMS testing work to the Smart Software Engineering Lab at East China Normal University.
|
| May 19, 2020 |
Our paper Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction was accepted at ESEC/FSE 2020.
|
| May 7, 2020 |
I was invited to present our DBMS testing work to the Programming Languages and Systems Laboratory at Tel Aviv University in a virtual talk, hosted by Mooly Sagiv, on June 7.
|
| May 7, 2020 |
I was invited to present our DBMS testing work to the Database Architectures Group at CWI in a virtual talk, hosted by Hannes Mühleisen, on June 12.
|
| May 7, 2020 |
I was invited to present our DBMS testing work to Cockroach Labs in a virtual talk on June 3.
|
| May 7, 2020 |
I was invited to present our DBMS testing work to the CMU Database Group in a virtual talk, hosted by Andy Pavlo, on June 8.
|
| Apr 14, 2020 |
PingCAP has implemented the Pivoted Query Synthesis approach to test their DBMS TiDB.
|
| Apr 14, 2020 |
I was invited to serve on the PC of the MPLR conference (formerly ManLang/PPPJ).
|
| Feb 27, 2020 |
I was invited to co-organize the Artifact Evaluation for ISSTA 2021.
|
| Feb 12, 2020 |
I was invited to serve on the PC of the Dynamic Language Symposium (DLS) 2020.
|
| Feb 12, 2020 |
I was invited to present our work on testing Database Management Systems at the Cockroach Labs headquarters in New York City.
|
| Jan 27, 2020 |
Our DBMS-testing efforts are now highlighted on the SQLite3 homepage at https://www.sqlite.org/testing.html (see Section 4.1.4).
|
| Jan 13, 2020 |
A preprint of our paper Testing Database Engines via Pivoted Query Synthesis is now available.
|
| Oct 11, 2019 |
I was invited to serve on the PC of the MoreVMs’20 workshop.
|
| Sep 18, 2019 |
I was invited to co-chair the ECOOP 2020 Artifact Evaluation.
|
| Sep 6, 2019 |
I was invited to give a talk at the Workshop on Dependable and Secure Software Systems 2019.
|
| Aug 14, 2019 |
I was awarded a JKU Early Research Achievement Award by Johannes Kepler University Linz, Austria.
|
| Jun 19, 2019 |
I was invited to serve on the POPL 2020 Artifact Evaluation Committee.
|
| Jun 9, 2019 |
I was invited to serve on the ASPLOS 2020 External Review Committee.
|
| May 25, 2019 |
Our paper Understanding GCC Builtins to Develop Better Tools was accepted at ESEC/FSE 2019.
|
| Mar 27, 2019 |
I was invited to be part of the jury at the <Programming> 2019 Student Research Competition.
|
| Mar 22, 2019 |
A video of my talk at the ETH Zurich Compiler Social has been uploaded to YouTube.
|
| Mar 9, 2019 |
I will present a talk on the Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine at the ETH Zurich Compiler Social on March 14.
|
| Mar 4, 2019 |
I was invited to serve on the PC of the MPLR conference (formerly ManLang).
|
| Feb 25, 2019 |
I started working with Zhendong Su at ETH Zurich in the Advanced Software Technologies Lab.
|
| Jan 28, 2019 |
I was invited to serve as the Demo Chair at <Programming> 2019.
|
| Jan 19, 2019 |
I was nominated for the GI doctoral thesis award by the Department of Computer Science at JKU Linz.
|
| Jan 7, 2019 |
I was invited to serve on the PC of the ICOOOLPS’19 workshop.
|
| Dec 18, 2018 |
I was invited to give a keynote at the Interconnecting Code Workshop 2019 and serve on its PC.
|
| Dec 6, 2018 |
I completed my PhD on the Safe and Efficient Execution of LLVM-based Languages.
|
| Oct 10, 2018 |
I was invited to serve on the PC of the MoreVMs’19 workshop.
|
| Apr 17, 2018 |
I will give a talk on my research at University of Salzburg on May 17.
|
| Apr 17, 2018 |
GraalVM 1.0 RC1 release includes Sulong to execute native extensions of dynamic languages.
|
| Apr 13, 2018 |
I won the <Programming> 2018 Student Research Competition in the Graduate category.
|