Manuel Rigger

@RiggerManuel
299 Followers
284 Following
11 Posts
Assistant Professor at NUS working at the intersection of software engineering, systems, and programming languages.
DBTest '24 will be co-located again with SIGMOD/PODS this year. Anja Gruenheid and I are looking forward to your submissions, which will be due March 8. We solicit both research and experience papers as well as talks. Hope to see you in Chile! https://dbtest-workshop.github.io
Workshop on Database Testing - DBTest 2024

Excited to present XPress (https://github.com/nus-test/XPress), a differential-testing tool for XML processors, described in our upcoming ICSE '24 paper. An impressive feat by Shuxin Li, who single-handedly completed the project as an undergraduate intern. https://arxiv.org/pdf/2401.05112.pdf
GitHub - nus-test/XPress: Automated testing for XML XPath execution

Automated testing for XML XPath execution. Contribute to nus-test/XPress development by creating an account on GitHub.

GitHub
Please share! We will hold the "Fuzzing Summer School 2024" at NUS in Singapore! We are excited to feature speakers such as Abhishek Arya, @mboehme @gannimo, Thuan Pham, and @AndreasZeller. Apply by 16 Feb 2024. https://fuzzing.comp.nus.edu.sg CC @umathur
Home

A recent independent study on automated testing techniques for database systems highlighted the effectiveness of QPG: "It can be observed that TLP and QPG are quite exceptional [...]" https://arxiv.org/pdf/2311.06728.pdf
Happy to share that Jinsheng Ba's work on Query Plan Guidance (QPG), proposed as an approach for feedback-guided testing of database systems, was featured in an article by NUS. The work received a Distinguished Paper Award at ICSE in 2023. https://www.comp.nus.edu.sg/features/2024-detecting-logic-bugs-mrigger/
Oops, the main PR was actually https://github.com/sqlancer/sqlancer/pull/881.
Add support for Presto by branimir-vujicic · Pull Request #881 · sqlancer/sqlancer

This is the first Pull Request for Presto implementation. The following oracles are currently completed: NoRec oracle TLP Where TLP Aggregate (basic aggregate function) Data types The following d...

GitHub
Thanks to Branimir Vujičić, SQLancer now also supports testing the Presto database engine. https://github.com/sqlancer/sqlancer/pull/884
Add support for Presto - common classes by branimir-vujicic · Pull Request #884 · sqlancer/sqlancer

To implement support for Presto some changes in common classes are required. Changes in common classes: class sqlancer.MainOptions - added global parameters : canonicalizeString (boolean) - pres...

GitHub
The submission deadline of MET2023 will be extended to Jan 20, 2023. http://metwiki.net/MET23/
MET 23 - International Workshop on Metamorphic Testing, In conjunction with ICSE

MET 23 - International Workshop on Metamorphic Testing, In conjunction with ICSE...

Please consider submitting to the 8th edition of the International Workshop on Metamorphic Testing, which is co-located with ICSE 2023! The submission deadline is 13 January 2023. http://metwiki.net/MET23/cfp.html
MET 23 - International Workshop on Metamorphic Testing, In conjunction with ICSE

MET 21 - International Workshop on Metamorphic Testing, In conjunction with ICSE...

Xinyu Wang and I are still looking for artifact evaluation committee members for PLDI '23. You can either nominate yourself (see https://forms.gle/x1928onJDXJdogVSA) or a student/colleague (https://forms.gle/w5fDn9LsKr7CPDYR7).
PLDI 2023 Artifact Evaluation Committee Self Nomination

This form allows any member of the community to nominate *yourself* to be part of the Artifact Evaluation Committee for PLDI 2023. Self nominations are encouraged! While we cannot select all qualified candidates, we will do our best to add new members to the community. Criteria for self-nomination: 1. You must be a current graduate student, or hold a PhD degree. Some undergraduates may be considered as well, but generally only provided that they have some research experience already. 2. You are strongly encouraged to provide the names of at least two people who have recently (in the past 4 years) served on PLDI, OOPSLA, ICFP or POPL program committees and who can confirm your qualifications to review artifacts. You do NOT need to check with these supporters in advance --- we want a lightweight process where we will only check with these supporters if needed. If you cannot provide such references, then please describe in the "other notes" box any past experiences that you feel makes you qualified to serve on the PLDI Artifact Evaluation Committee. The nominee can be part of the AEC even if they submit their work to the research track of PLDI 2023 (or any other track). The main artifact evaluation period will be from the end of February 2023 to April 2023. If you would like to nominate a colleague, please use this form: https://forms.gle/vRVYYXmpZi1ioXRr8

Google Docs