Invited Talks and Keynotes

  • Systems Group Lunch Seminar @ ETH 2022: Navigating the Artifact Evaluation Process (hosted by Foteini Strati & 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 & Konstantinos Karanasos)
  • ByteDance 2021: Finding Logic Bugs in Database Management Systems (hosted by Peng Chao & 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

  • 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

  • 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

  • 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]