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.