Manuel Rigger
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
Had a blast at my first Google Summer of Code (GSoC) Mentor Summit. My personal highlight was speaking with the developers of many important open-source projects and learning about the various challenges they face. Hopefully, we can help address some of those with our research.
October 27, 2025 at 6:42 AM
Had a blast at my first Google Summer of Code (GSoC) Mentor Summit. My personal highlight was speaking with the developers of many important open-source projects and learning about the various challenges they face. Hopefully, we can help address some of those with our research.
We finished the second @icfp-conference.bsky.social/SPLASH hike! We spotted multiple crocodiles, lizards, macaques, mudskippers, various fishes (e.g., archerfish and halfbeaks), birds (hornbills, kingfishers, herons, and egrets), bats, and snakes (oriental whip snake and some a king cobra).
October 19, 2025 at 2:12 PM
We finished the second @icfp-conference.bsky.social/SPLASH hike! We spotted multiple crocodiles, lizards, macaques, mudskippers, various fishes (e.g., archerfish and halfbeaks), birds (hornbills, kingfishers, herons, and egrets), bats, and snakes (oriental whip snake and some a king cobra).
Super excited by the SPLASH ACM Student Research Competition (SRC) results! @junwenan.bsky.social won the gold medal in the graduate category, while Emily Ong won in the undergraduate category! By the way, Junwen is looking for summer internship positions.
October 19, 2025 at 2:08 PM
Super excited by the SPLASH ACM Student Research Competition (SRC) results! @junwenan.bsky.social won the gold medal in the graduate category, while Emily Ong won in the undergraduate category! By the way, Junwen is looking for summer internship positions.
I will be organizing two nature walks for ICFP/SPLASH (@icfp-conference.bsky.social)! I did one of them this weekend and was very lucky to see 11 saltwater crocodiles (including a tiny baby one), countless monitor lizards, otters, macaques, fruit bats, various kinds of birds, and fish.
August 25, 2025 at 6:58 AM
I will be organizing two nature walks for ICFP/SPLASH (@icfp-conference.bsky.social)! I did one of them this weekend and was very lucky to see 11 saltwater crocodiles (including a tiny baby one), countless monitor lizards, otters, macaques, fruit bats, various kinds of birds, and fish.
SQuaLity is a unified database system test suite. Currently, database test suites are not systematically re-used across systems. We explore the opportunities and challenges of doing so. Reusing test suites is difficult due to multiple factors, but also allows finding otherwise overlooked bugs.
June 19, 2025 at 8:10 AM
SQuaLity is a unified database system test suite. Currently, database test suites are not systematically re-used across systems. We explore the opportunities and challenges of doing so. Reusing test suites is difficult due to multiple factors, but also allows finding otherwise overlooked bugs.
CODDTest is a new testing approach for finding logic bugs in relational database systems. We got inspiration from constant folding and propagation and compilers; by ensuring that the database state is constant, we can fold elements of a query to then check whether its result remains unchanged.
June 19, 2025 at 8:10 AM
CODDTest is a new testing approach for finding logic bugs in relational database systems. We got inspiration from constant folding and propagation and compilers; by ensuring that the database state is constant, we can fold elements of a query to then check whether its result remains unchanged.
Our second paper is on finding bugs in graph libraries and databases. The key insight behind "Graph-Cutting" is that graph algorithms are sensitive to graph structures. By dividing one graph into multiple subgraphs, we can infer checkable relationships between the results while stressing the system.
June 19, 2025 at 8:10 AM
Our second paper is on finding bugs in graph libraries and databases. The key insight behind "Graph-Cutting" is that graph algorithms are sensitive to graph structures. By dividing one graph into multiple subgraphs, we can infer checkable relationships between the results while stressing the system.
We will present "Affine Equivalent Inputs", an approach to finding logic bugs in spatial databases like PostGIS. The key contribution of the paper is a new test oracle. If we apply an affine transformation like rotation to two geometries, topological relationships like intersection are preserved.
June 19, 2025 at 8:10 AM
We will present "Affine Equivalent Inputs", an approach to finding logic bugs in spatial databases like PostGIS. The key contribution of the paper is a new test oracle. If we apply an affine transformation like rotation to two geometries, topological relationships like intersection are preserved.
.@abhikrc.bsky.social is kicking off the Fuzzing and Software Security Summer School 2025! Looking forward to a week full of exciting talks and tutorials as well as interactions.
May 26, 2025 at 1:05 AM
.@abhikrc.bsky.social is kicking off the Fuzzing and Software Security Summer School 2025! Looking forward to a week full of exciting talks and tutorials as well as interactions.
SQLancer will be part of the Google Summer of Code (GSoC) program again this year! We are looking for motivated contributors as well as database development teams who would like to have their systems tested. summerofcode.withgoogle.com/programs/202...
March 2, 2025 at 9:48 AM
SQLancer will be part of the Google Summer of Code (GSoC) program again this year! We are looking for motivated contributors as well as database development teams who would like to have their systems tested. summerofcode.withgoogle.com/programs/202...
We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social
January 21, 2025 at 3:39 PM
We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social
Followed the call of an Oriental Pied Hornbill that lead me to a pair of Buffy Fish Owls. Only my second time to see wild owls in Singapore!
January 18, 2025 at 3:47 PM
Followed the call of an Oriental Pied Hornbill that lead me to a pair of Buffy Fish Owls. Only my second time to see wild owls in Singapore!
Completed my second voyage with NUS CS students! While we visited many natural gems, pollution as well as exploitation of natural resources are always shocking. I'm often thinking how our research could help address some of these sustainability challenges.
December 23, 2024 at 7:26 AM
Completed my second voyage with NUS CS students! While we visited many natural gems, pollution as well as exploitation of natural resources are always shocking. I'm often thinking how our research could help address some of these sustainability challenges.
Happy to have met Ford Lumban Gaol, the department head of the CS PhD program at BINUS University, Indonesia while he visited Singapore. I gave a keynote at a regional conference they organized and also received a nice plaque. Hope to continue interacting with students and faculty from Indonesia!
December 6, 2024 at 7:57 AM
Happy to have met Ford Lumban Gaol, the department head of the CS PhD program at BINUS University, Indonesia while he visited Singapore. I gave a keynote at a regional conference they organized and also received a nice plaque. Hope to continue interacting with students and faculty from Indonesia!
Here some impressions from earlier this year.
December 5, 2024 at 12:19 PM
Here some impressions from earlier this year.
From Dec 10 to Dec 21, I will be on a sea voyage with NUS computer science undergraduate students! We will sail, trek, kayak, snorkel, swim, visit villages, fish farms, and museums. Quite excited to be the main organizer, after having participated as supporting staff earlier this year.
December 5, 2024 at 12:12 PM
From Dec 10 to Dec 21, I will be on a sea voyage with NUS computer science undergraduate students! We will sail, trek, kayak, snorkel, swim, visit villages, fish farms, and museums. Quite excited to be the main organizer, after having participated as supporting staff earlier this year.
Suyang Zhong (suyang.zone) presented his ongoing work on tackling the effort of tailoring SQL generators to specific database systems and the effort of applying database system fuzzers in general at the Singapore PL Summit!
December 4, 2024 at 9:50 AM
Suyang Zhong (suyang.zone) presented his ongoing work on tackling the effort of tailoring SQL generators to specific database systems and the effort of applying database system fuzzers in general at the Singapore PL Summit!
Pramod Bhatotia is also currently in town! Dmitrii Ustiugov, @umathur.bsky.social, and I had a nice evening with him in the CBD!
November 28, 2024 at 8:15 AM
Pramod Bhatotia is also currently in town! Dmitrii Ustiugov, @umathur.bsky.social, and I had a nice evening with him in the CBD!
Cristian Cadar gave an interesting talk on how to validate patches using techniques such as symbolic execution and directed fuzzing.
November 28, 2024 at 6:23 AM
Cristian Cadar gave an interesting talk on how to validate patches using techniques such as symbolic execution and directed fuzzing.
Great to see that SQLancer has surpassed the 1,500 stars mark on GitHub! You can find a list of 800 database systems bugs that we found and reported online (see nus-test.github.io/bugs/). Many more have been logged by developers in various database systems' trackers.
November 24, 2024 at 11:59 AM
Great to see that SQLancer has surpassed the 1,500 stars mark on GitHub! You can find a list of 800 database systems bugs that we found and reported online (see nus-test.github.io/bugs/). Many more have been logged by developers in various database systems' trackers.
Doing some field work for the ICFP/OOPSLA service role @ilyasergey.bsky.social found for me.
November 22, 2024 at 3:45 PM
Doing some field work for the ICFP/OOPSLA service role @ilyasergey.bsky.social found for me.
Inaugurating my account with a photo. Four racket-tailed drongos (notice the long feathers!) and a lineated barbet seen at Mount Faber today.
November 22, 2024 at 3:40 PM
Inaugurating my account with a photo. Four racket-tailed drongos (notice the long feathers!) and a lineated barbet seen at Mount Faber today.