Manuel RIGGER

Manuel RIGGER is an Assistant Professor in the Department of Computer Science at the National University of Singapore. His research focuses on Programming Languages & Software Engineering, Compilers, Program Analysis, Software Testing, Database Systems & Networking, Correctness and reliability of data-centric systems, and Automated testing approaches. He has contributed to projects such as Validating Relational Database Systems at Scale via Learning-based Automated Testing and SQLancer: Automatic Testing of Database Management Systems. His work has identified numerous previously unknown bugs in key systems and has been adopted in the industry. He teaches courses such as CS3213 Foundations of Software Engineering and CS6223 Advanced Topics in Software Testing.

Manuel Rigger is a researcher in Software Engineering, Systems, Databases, and Programming Languages. His work focuses on testing and debugging database systems, with an emphasis on identifying bugs through query partitioning, optimization checks, and graph-based oracle construction. He also explores efficient execution of low-level languages on virtual machines, such as LLVM IR on Truffle and C on the JVM. His research includes analyzing x86-64 inline assembly, improving database system performance through cardinality estimation, and validating isolation level implementations. Rigger's contributions span both theoretical and practical aspects of software and database systems, with a strong emphasis on correctness and performance.