Talks
Invited Talks and Keynotes
-
Technical University of Munich 2024: Robustifying Database Systems at Scale (hosted by Thomas Neumann)
-
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]
-
Technical University of Munich 2024: Robustifying Database Systems at Scale (hosted by Thomas Neumann)
-
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]
-
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]
-
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]
-
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]