LightNews
mrigger.bsky.social
Manuel Rigger
@mrigger.bsky.social
470 followers 230 following 25 posts
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.
nus-test.github.io
Posts Media Videos Starter Packs
Pinned
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Mar 2
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...
4 11
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · 12h
It seems the first hike as part of @icfp-conference.bsky.social/SPLASH went well! A shoutout to @ningkeli.bsky.social and Yibo DONG (as well as my wife, Ting), who guided the participants on this walk. I could unfortunately not participate, as I had to travel abroad due to an urgent issue.
ningkeli.bsky.social
Ningke Li @ningkeli.bsky.social · 13h
@icfp-conference.bsky.social

Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌

Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳
2 6
Reposted by Manuel Rigger
ilyasergey.bsky.social
Ilya Sergey @ilyasergey.bsky.social · 3d
I am thrilled to announce Velvet: a new foundational multi-modal verifier for imperative programs in Lean.

Velvet unifies execution, testing, automated and interactive proofs; and is itself proven sound.

💻 github.com/verse-lab/loom
📄 verse-lab.github.io/papers/loom-...
4 14
Reposted by Manuel Rigger
ilyasergey.bsky.social
Ilya Sergey @ilyasergey.bsky.social · 8d
One week until ICFP/SPLASH’25!

conf.researchr.org/home/icfp-sp...
ICFP/SPLASH 2025
Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...
conf.researchr.org
3 9
Reposted by Manuel Rigger
stefan-marr.de
Stefan Marr @stefan-marr.de · 11d
First Day: A New Chapter at the JKU

It's Wednesday. Is this important? It's my first day in a new position. So, perhaps the real question is: what's going to be important to me from now on?

stefan-marr.de/2025/10/firs...
First Day: A New Chapter at the JKU
New job and responsibilities: what's now important to me?
stefan-marr.de
4 5 16
Reposted by Manuel Rigger
rohan.padhye.org
Rohan Padhye @rohan.padhye.org · Aug 28
Excited to announce that the Fray paper has been accepted to OOPSLA'25! Work led by @aoli.al with a full pastalab.org collaboration.

📄: rohan.padhye.org/files/fray-o...
💻: github.com/cmu-pasta/fray
🎥: www.youtube.com/watch?v=AX6P...
Front page of a paper titled "Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM" by Ao Li et al. from Carnegie Mellon University.
3 4 15
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Aug 25
To set expectations: on some other days, we saw close to nothing on the same hike.
1
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Aug 25
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.
1 1 7
Reposted by Manuel Rigger
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 24
Already registered for SPLASH or @icfp-conference.bsky.social?

If not, check out our list of accepted papers:

conf.researchr.org/home/icfp-sp...

It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
MPLR 2025 - ICFP/SPLASH 2025
The 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
conf.researchr.org
5 6
Reposted by Manuel Rigger
andreaszeller.bsky.social
Andreas Zeller @andreaszeller.bsky.social · Aug 22
25 years of delta debugging! On this day in 2000, I presented “Simplifying Failure-Inducing Inputs” at ISSTA - now one of the most influential works in the 50-year history of Transactions on Software Engineering. Read all about its genesis and impact at doi.ieeecomputersociety.org/10.1109/TSE....
25yrs of delta dbg
4 20
Reposted by Manuel Rigger
ilyasergey.bsky.social
Ilya Sergey @ilyasergey.bsky.social · Aug 20
Do it for science!
2 6 19
Reposted by Manuel Rigger
mboehme.bsky.social
Marcel Böhme @mboehme.bsky.social · Jul 2
Can we statistically estimate how likely an LLM-generated program is correct w/o knowing what is a correct program for that task?

Sounds impossible-but it's actually really simple. In fact, our measure of "correctness" called incoherence can be estimated (PAC guarantees).

arxiv.org/abs/2507.00057
Estimating Correctness Without Oracles in LLM-Based Code Generation
Generating code from natural language specifications is one of the most successful applications of Large Language Models (LLMs). Yet, they hallucinate: LLMs produce outputs that may be grammatically c...
arxiv.org
1 3 12
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Jun 19
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.
1
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Jun 19
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.
1 2
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Jun 19
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.
1 1
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Jun 19
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.
1 1
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Jun 19
Looking forward to attending my first database conference, SIGMOD 2025 (‪@sigmod2025.bsky.social‬), in Berlin starting this weekend. We will present four works, all of which tackle the challenge of making data-centric systems reliable, and together have found more than 100 bugs in important systems!
1 7
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · May 26
.‪@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.
10
Reposted by Manuel Rigger
dominikwinterer.bsky.social
Dominik Winterer @dominikwinterer.bsky.social · May 22
🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring!
If you’re interested, feel free to reach out.
6 12
Reposted by Manuel Rigger
teggy.org
Torsten „Teggy“ Grust @teggy.org · May 22
Our USING KEY variant of recursive CTEs has landed in DuckDB 1.3 Formerly an off-the-beaten-path researchy idea, now available in a real off-the-shelf DBMS. Hooray! 🎉

duckdb.org/2025/05/23/u...
USING KEY in Recursive CTEs
Recursive CTEs in SQL allow for powerful iterative queries like graph traversals but can be memory-intensive and slow due to repeated row accumulation. DuckDB’s new USING KEY feature addresses this by...
duckdb.org
6 23
Reposted by Manuel Rigger
ilyasergey.bsky.social
Ilya Sergey @ilyasergey.bsky.social · Apr 14
This is something we've been working on for a while, and now are thrilled to share.

Veil: the first foundational framework that combines SMT-based and interactive proofs about distributed protocols, seamlessly, in Lean!

Tool: github.com/verse-lab/veil
Paper: verse-lab.github.io/papers/veil-...
1 5 38
Reposted by Manuel Rigger
arminbiere.bsky.social
Armin Biere @arminbiere.bsky.social · Mar 26
Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...
University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...
uni-freiburg.de
6 6
Reposted by Manuel Rigger
yannicnoller.bsky.social
Yannic Noller @yannicnoller.bsky.social · Mar 21
#FUZZING'25 Deadline Extension
──────
If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025!

🔗 fuzzingworkshop.github.io

//cc @rohan.padhye.org, László Szekeres,
@ruijiemeng.bsky.social, @mboehme.bsky.social
FUZZING'25 Workshop @ ISSTA
The 4th International Fuzzing Workshop (FUZZING) 2025 welcomes all researchers, scientists, engineers and practitioners to present their latest research findings, empirical analyses, t...
fuzzingworkshop.github.io
7 3
Reposted by Manuel Rigger
gabriel-sherman.bsky.social
Gabriel Sherman @gabriel-sherman.bsky.social · Mar 17
Need a fuzzing harness? No time to write one? Tired of false-positives? Let OGHarn lead the way to bug discovery!🐞

I'm excited to share my paper(with @snagycs.bsky.social)"No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses" at @icseconf.bsky.social 2025!
1 6 17
Reposted by Manuel Rigger
ccadar.bsky.social
ccadar.bsky.social @ccadar.bsky.social · Mar 3
I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP!

srg.doc.ic.ac.uk/vacancies/25...
Research Associate / Research Assistant in Program Analysis and Generative AI
Fixed term appointment for up to 24 months Applications are invited for a Research Associate / Research Assistant position in the Software Reliability Group, under the direction of Prof. Cristian...
srg.doc.ic.ac.uk
3 10
mrigger.bsky.social
Manuel Rigger @mrigger.bsky.social · Mar 2
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...
4 11