Invited Talks and Keynotes

  • Sentosa Software Technology Summit - Advanced Foundational Software and Systems 2023: Automatic Testing of Database Systems (hosted by Huawei)
  • University College London 2023: Towards Correct and Reliable Data-centric Systems (hosted by Sergey Mechtaev)
  • Imperial College London 2023: Automatically Finding Performance Issues in Compilers and Databases (hosted by Cristian Cadar)
    [url]
  • TAROT Summer School 2023: Towards Correct and Reliable Data-centric Systems (hosted by Mohammad Mousavi and Alastair Donaldson)
    [url]
  • Nanjing University 2023: Towards Correct and Reliable Data-centric Systems (hosted by Linzhang Wang)
    [url]
  • University of Science and Technology of China (USTC) 2023: Towards Correct and Reliable Data-centric Systems (hosted by Cheng Li)
  • TU Darmstadt 2023: Towards Correct and Reliable Data-centric Systems (hosted by Carsten Binnig)
  • University of Melbourne 2023: Towards Correct and Reliable Data-centric Systems (hosted by Thuan Pham)
  • Chair of Distributed and Operating Systems @ Technical University of Munich (TUM) 2023: Towards Correct and Reliable Data-centric Systems (hosted by Pramod Bhatotia)
  • Systems Group Lunch Seminar @ ETH 2022: Navigating the Artifact Evaluation Process (hosted by Foteini Strati and Maurice Weber)
  • Huawei Research 2022: Finding Logic Bugs in Database Management Systems (hosted by Antonis Katsarakis)
    [url]
  • Gray Systems Lab (Microsoft) 2022: Finding Logic Bugs in Database Management Systems (hosted by Jesús Camacho Rodríguez and Konstantinos Karanasos)
  • ByteDance 2021: Finding Logic Bugs in Database Management Systems (hosted by Peng Chao and Siwei Wang)
  • Dagstuhl Seminar 2021: A Whirlwind Tour of Automated Database Management System Testing
    [url]
  • TigerGraph 2021: Finding Logic Bugs in Database Management Systems (hosted by Xuanzhe Wang)
    [url]
  • IST Austria 2021: Finding Logic Bugs in Database Management Systems (hosted by Tom Henzinger)
    [url]
  • Databricks 2020: Finding Logic Bugs in Database Management Systems (hosted by Reynold Xin)
  • Salesforce and Tableau 2020: Finding Logic Bugs in Database Management Systems (hosted by Tobias Muehlbauer)
  • IMDEA Software Institute 2020: Three Tales on Finding Logic Bugs in Database Management Systems (hosted by Marco Guarnieri)
    [url]
  • Saarland University 2020: Three Tales on Finding Logic Bugs in Database Management Systems (hosted by Sven Apel)
  • Centrum Wiskunde & Informatica (CWI) 2020: Finding Logic Bugs in Database Management Systems (hosted by Hannes Mühleisen and Mark Raasveldt)
    [YouTube]
  • Database Group at Carnegie Mellon University 2020: Finding Logic Bugs in Database Management Systems (hosted by Andy Pavlo)
    [url] [YouTube]
  • Tel Aviv University 2020: Three Tales on Finding Logic Bugs in Database Management Systems (hosted by Mooly Sagiv and Adam Morrison)
  • TiDB DevCon 2020: Testing Database Management Systems - TiDB (hosted by Qiang Zhou)
    [YouTube]
  • Smart Software Engineering Lab at East China Normal University 2020: Finding Logic Bugs in Database Management Systems (hosted by Yichen Yan)
  • Cockroach Labs 2020: Finding Logic Bugs in Database Management Systems (hosted by Peter Mattis and Andy Woods)
  • Workshop on Dependable and Secure Software Systems 2019: Testing Database Management Systems via Pivoted Query Synthesis
    [url] [YouTube]
  • GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by Gesellschaft für Informatik (GI))
    [url]
  • Interconnecting Code Workshop 2019: Sulong: Executing Low-level Languages on Truffle (Keynote) (hosted by Eric Jul)
    [slides] [url]
  • Software Reliability Group at Imperial College London 2018: Safe and Efficient Execution of LLVM IR on the Java Virtual Machine (hosted by Cristian Cadar)
  • University of Salzburg 2018: Memory-safe and Efficient Execution of C/C++ on the GraalVM (hosted by Christoph Kirsch)
    [slides]
  • University of Cambridge 2018: Executing C, C++ and Fortran Efficiently on the Java Virtual Machine via LLVM IR (hosted by Stephen Kell)
    [slides] [url]

Developer Conferences and Meetups

  • Data Engineering Meetup Singapore 2023: Testing Database Systems with SQLancer
    [url]
  • NUS GreyHats SecWeds 2023: The Quest Towards Effective Test Oracles
    [url]
  • Friday Hacks 2023: SQLancer: Detecting Logic Bugs in Database Systems via Automated Testing
    [url]
  • APAC Modern Data Stack (MDS) Meetup Group 2022: Testing Database Systems with SQLancer
    [url] [YouTube]
  • It Will Never Work in Theory 2022: How to test software without writing tests.
    [url]
  • Heisenbug 2021: Using SQLancer to test ClickHouse and other database systems
    [url]
  • Rebase 2020: SQLancer: Automatically Finding Bugs in Database Management Systems
    [url]
  • Percona Live ONLINE 2020: SQLancer: Automatically Finding Bugs in Database Management Systems
    [url]
  • TiDB Meetup 2020: Finding Logic Bugs in Database Management Systems
  • Compiler Social Zürich 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
    [slides] [url] [YouTube]
  • VMM 2017: An Analysis of Inline Assembly in C Projects
    [slides] [url]
  • FOSDEM 2016: Sulong: Fast LLVM IR Execution on the JVM with Truffle and Graal
    [slides] [url]
  • VMM 2016: C, C++, and Fortran on the JVM via Sulong
    [url]

Outreach

  • NUS 2022: Interviewing and Applying for Assistant Professor Positions
  • The 2nd International Research Workshop in Computer Science and Information Systems 2022: How to Test Software Without Writing Tests
    [url]
  • ETH 2021: Interviewing and Applying for Assistant Professor Positions
    [url]
  • NUS 2021: Interviewing and Applying for Assistant Professor Positions
  • VMI Retreat 2021: Interviewing and Applying for Assistant Professor Positions

Conference and Workshop Presentations

  • Onward! 2022: "Intramorphic Testing: A New Approach to the Test Oracle Problem" presented in Auckland, New Zealand
    [slides] [paper]
  • OSDI 2020: "Testing Database Engines via Pivoted Query Synthesis" presented in Banff, Alberta, Canada
    [paper]
  • OOPSLA2020: "Finding Bugs in Database Systems via Query Partitioning" presented in Illinois, United States
    [slides] [paper]
  • ESEC/FSE 2020: "Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction" presented in Sacramento, California, United States
    [paper]
  • ESEC/FSE 2019: "Understanding GCC Builtins to Develop Better Tools" presented in Tallinn, Estonia
    [slides] [paper]
  • Programming 2018: "Introspection for C and its Applications to Library Robustness" presented in Nice, France
    [slides] [paper]
  • NSS 2018: "Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows" presented in Hong Kong, China
    [slides] [paper]
  • VEE 2018: "An Analysis of x86-64 Inline Assembly in C Programs" presented in Williamsburg, VA, USA
    [slides] [paper]
  • ASPLOS 2018: "Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model" presented in Williamsburg, VA, USA
    [slides] [paper]
  • MoreVMs 2018: "Sulong, and Thanks for All the Fish (Extended Abstract)" presented in Nice, France
    [slides] [paper]
  • Programming SRC 2018: "Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine (Extended Abstract)" presented in Nice, France
    [slides] [paper]
  • ManLang 2017: "Lenient Execution of C on a Java Virtual Machine: Or: How I Learned to Stop Worrying and Run the Code" presented in Prague, Czech Republic
    [slides] [paper]
  • VMIL 2016: "Bringing Low-level Languages to the JVM: Efficient Execution of LLVM IR on Truffle" presented in Amsterdam, Netherlands
    [slides] [paper]
  • ECOOP DS 2016: "Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages" presented in Rome, Italy
    [paper]
  • ICOOOLPS 2016: "Sulong - Execution of LLVM-based Languages on the JVM (Position Paper)" presented in Rome, Italy
    [slides] [paper]