Sign in

Manuel Rigger

@mrigger.bsky.social
515 followers 256 following 40 posts

Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (nus-test.github.io). We focus on improving data-centric systems, particularly their reliability.

PostsRepliesMedia
Manuel Rigger @mrigger.bsky.social · 24/07/2026
As a reviewer and reader, I also feel quite frustrated about this. Using LLMs for (minor) presentation improvements is one thing, but, increasingly, the problem and solution seem to be mainly framed through LLMs, often in rather shallow and recurring ways.
030
Reposted by Manuel Rigger
Yuchen @derschwingfliegen.bsky.social · 10/07/2026
[Job Opportunity] I’m looking for a Research Assistant (AI-assisted platform) who is passionate about bridging biodiversity and emerging AI technologies by supporting taxonomic research at the Lee Kong Chian Natural History Museum (LKCNHM) 1/2
111
Reposted by Manuel Rigger
Konstantinos Kallas @konstantinoskallas.bsky.social · 07/05/2026
We just implemented trai (try + AI) (github.com/binpash/trai), a Claude plugin that can help you isolate 🫷 changes done in your file system by tool calls (like pip install), and only commit them if they are intended ☺️. Try it out (pun intended) and share your feedback!
github.com
GitHub - binpash/trai: A claude plugin for sandboxing tool calls
A claude plugin for sandboxing tool calls. Contribute to binpash/trai development by creating an account on GitHub.
163
Manuel Rigger @mrigger.bsky.social · 28/04/2026
All CI/CD tests pass for SQLancer! They were failing for a long time due to changes in database systems, dependencies, and software versions. All thanks to Claude! In the process, Claude also mostly independently analyzed, reduced, and reported various regression bugs.
040
Reposted by Manuel Rigger
Ben Hermann @benhermann.eu · 27/04/2026
📢 Call for Artifact Evaluation Reviewers! Join the ASE 2026 & ISSTA 2026 AE committees. Support open science while gaining an inside look at top-tier research artifacts. 📝 Apply now: docs.google.com/forms/d/e/1F... 🔁 Please boost! #ASE2026 #ISSTA2026
docs.google.com
ASE & ISSTA AEC Self-Nominations
We are looking for highly motivated candidates for the artifact evaluation committees (AECs) of ASE 2026 and ISSTA 2026. The expected workload for each AEC member is 3-5 artifact reviews between Jul ...
065
Manuel Rigger @mrigger.bsky.social · 18/04/2026
Our proposal for a Shonan Seminar on "The Next 50 Years of SQL" has been accepted! Excited to co-host with Viktor Leis and Jeff Shute in September 2027. We'll bring together researchers and practitioners in database systems, programming languages, and beyond.
090
Reposted by Manuel Rigger
Lean Focused Research Organization @lean-lang.org · 01/04/2026
1/3 New Lean use case: Veil, a multi-modal verification framework for distributed protocols from George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, and Ilya Sergey at NUS.
2114
Reposted by Manuel Rigger
Sara Beery @sarameghanbeery.bsky.social · 31/03/2026
Applications are still open until April 5th! Come join an amazing group of passionate, interdisciplinary researchers at the intersection of CV and Ecology as we teach the next generation of ecologists to develop their own AI-enabled approaches to scale their ecological research!
032
Manuel Rigger @mrigger.bsky.social · 31/03/2026
Have you ever seen monkeys riding and grooming deer? I have recently contributed the first documented behavior of such a grooming interaction between long-tailed macaques and sambar deer (observed in Singapore)! Video: youtu.be/xmkw9P8Obbw Article: lkcnhm.nus.edu.sg/wp-content/u...
youtu.be
Long-tailed macaques mounting and grooming sambar deer in Singapore
YouTube video by Manuel Rigger
140
Reposted by Manuel Rigger
Ben Hermann @benhermann.eu · 29/03/2026
Do you want to be my new colleague in Stuttgart? We opened a tenured professor position for researchers in Programming Languages. So, if you are working in this field, please consider applying. If you are not in this field, please repost and boost. 📣 www.f05.uni-stuttgart.de/en/faculty/n...
f05.uni-stuttgart.de
Professorship (W3) in Programming Languages | News | Mar 26, 2026 | Faculty 5: Computer Science, Electrical Engineering and Information Technology | University of Stuttgart
INSTITUTE OF SOFTWARE ENGINEERING | AT THE NEXT POSSIBLE DATE
023
Reposted by Manuel Rigger
Kabilan Mahathevan @kabilan-m.bsky.social · 25/02/2026
We’re introducing #TenSure (github.com/KabilanMA/Te...), the first black-box fuzzer built specifically for sparse tensor compilers. This work is a collaboration with Yining Zhang, Muhammad Ali Gulzar, and @kirshanthans.bsky.social at Virginia Tech.
github.com
GitHub - KabilanMA/TenSure: Modular Black-box fuzzing framework for STCs
Modular Black-box fuzzing framework for STCs. Contribute to KabilanMA/TenSure development by creating an account on GitHub.
221
Reposted by Manuel Rigger
Peter Boncz @peterabcz.bsky.social · 11/02/2026
DuckDB was added to the wall of fame of CWI, next to Dijkstra’s shortest path algorithm, the Atlantic Crossing of the Internet & the creation of Python On the occasion of our 80th (really!) bday Congrats to @hannes.muehleisen.org & @markraasveldt.bsky.social @duckdb.org @cwi-amsterdam.bsky.social
3557
Reposted by Manuel Rigger
Ilya Sergey @ilyasergey.bsky.social · 09/02/2026
New post on "Proofs and Intuitions": Verifying Distributed Protocols in Veil. We take a tour of Veil, a Lean-based verification framework that combines TLA+-style model checking with formal proofs and enables AI-powered invariant inference. proofsandintuitions.net/2026/02/09/d...
proofsandintuitions.net
Verifying Distributed Protocols in Veil
In this post, we discuss how to formalise, test, and prove the correctness of a classic distributed protocol by combining model checking, automated deductive verification, and AI-powered invariant inf...
181
Manuel Rigger @mrigger.bsky.social · 03/02/2026
We are organizing the third edition of the "Fuzzing and Software Security Summer School 2026", at NUS on 26th–29th May 2026. We have a stellar set of speakers and will also have a Hackathon. Please share, and/or consider joining! fuzzingsummerschool.github.io/index.html
2114
Manuel Rigger @mrigger.bsky.social · 25/11/2025
Thanks a lot to @umathur.bsky.social and Djordje Zikelic (as well as to @93mschwarz.bsky.social) for organizing the second edition of the Singapore Programming Languages Summit! It's great to see the growing community of PL researchers in Singapore. sg-pl-summit.github.io
081
Reposted by Manuel Rigger
Dominik Winterer @dominikwinterer.bsky.social · 05/11/2025
We are hiring! Suzanne Embury and I are looking for a talented Ph.D. student 👩‍🎓👨‍🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools. www.findaphd.com/phds/project...
findaphd.com
FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester on FindAPhD.com
PhD Project - FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester, listed on FindAPhD.com
043
Reposted by Manuel Rigger
Marcel Böhme @mboehme.bsky.social · 03/11/2025
Gaetano's paper on Scaling Security Testing by Adressing the Reachability Gap has been accepted at #ICSE26! 📝 gpsapia.github.io/files/ICSE_2... 🧑‍💻 github.com/GPSapia/Reac... How to scale automatic security testing to arbitrary systems?
1175
Manuel Rigger @mrigger.bsky.social · 27/10/2025
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.
0110
Manuel Rigger @mrigger.bsky.social · 19/10/2025
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).
1121
Manuel Rigger @mrigger.bsky.social · 19/10/2025
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.
040
Manuel Rigger @mrigger.bsky.social · 18/10/2025
A reminder that we will have another @icfp-conference.bsky.social/SPLASH nature walk planned for tomorrow. Consider joining if you are (still) in Singapore! 2025.splashcon.org/attending/ou...
2025.splashcon.org
Outdoor Activities - SPLASH 2025
Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! Official tag for social media posting about the conference is #icfpsplash25 If you’re pl...
062
Manuel Rigger @mrigger.bsky.social · 12/10/2025
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.
062
Reposted by Manuel Rigger
Ilya Sergey @ilyasergey.bsky.social · 09/10/2025
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-...
0144
Reposted by Manuel Rigger
Ilya Sergey @ilyasergey.bsky.social · 04/10/2025
One week until ICFP/SPLASH’25! conf.researchr.org/home/icfp-sp...
conf.researchr.org
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 ...
093
Reposted by Manuel Rigger
Stefan Marr @stefan-marr.de · 01/10/2025
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...
stefan-marr.de
First Day: A New Chapter at the JKU
New job and responsibilities: what's now important to me?
4165
Reposted by Manuel Rigger
Rohan Padhye @rohan.padhye.org · 28/08/2025
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.
3154
Manuel Rigger @mrigger.bsky.social · 25/08/2025
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.
171
Reposted by Manuel Rigger
Stefan Marr @stefan-marr.de · 24/08/2025
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!
conf.researchr.org
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...
065
Reposted by Manuel Rigger
Andreas Zeller @andreaszeller.bsky.social · 22/08/2025
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
0204
Reposted by Manuel Rigger
Ilya Sergey @ilyasergey.bsky.social · 20/08/2025
Do it for science!
2196
Reposted by Manuel Rigger
Marcel Böhme @mboehme.bsky.social · 02/07/2025
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
arxiv.org
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...
1123
Manuel Rigger @mrigger.bsky.social · 19/06/2025
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!
170
Manuel Rigger @mrigger.bsky.social · 26/05/2025
.‪@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.
0100
Reposted by Manuel Rigger
Dominik Winterer @dominikwinterer.bsky.social · 22/05/2025
🚀 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.
manchester-fme.github.io
Formal Methods Engineering Lab: Home
0136
Reposted by Manuel Rigger
Torsten „Teggy“ Grust @teggy.org · 22/05/2025
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...
duckdb.org
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...
0256
Reposted by Manuel Rigger
Ilya Sergey @ilyasergey.bsky.social · 14/04/2025
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-...
1385
Reposted by Manuel Rigger
Armin Biere @arminbiere.bsky.social · 26/03/2025
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...
uni-freiburg.de
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...
075
Reposted by Manuel Rigger
Yannic Noller @yannicnoller.bsky.social · 21/03/2025
#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
fuzzingworkshop.github.io
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...
037
Reposted by Manuel Rigger
Gabriel Sherman @gabriel-sherman.bsky.social · 17/03/2025
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!
1176
Reposted by Manuel Rigger
ccadar.bsky.social @ccadar.bsky.social · 03/03/2025
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...
srg.doc.ic.ac.uk
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...
093
Manuel Rigger @mrigger.bsky.social · 02/03/2025
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...
0114
Reposted by Manuel Rigger
Marcel Böhme @mboehme.bsky.social · 17/02/2025
#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: * Ruijie Meng (@ruijiemeng.bsky.social; NUS) * Rohan Padhye (@rohan.padhye.org; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20.March (Submission) 📅 17.April (Notification) 📅 28.June (Workshop)
11711
Reposted by Manuel Rigger
Kristopher Micinski @krismicinski.bsky.social · 13/02/2025
Post 2: NSF PPoSS Status Update–2024 Year in Review kmicinski.com/modern-deduc...
kmicinski.com
Post 2: NSF PPoSS Status Update–2024 Year in Review
In this post I’ll discuss our group’s published progress from 2024. For the past few years, we’ve been working to design the highest-performance declarative analytics languages and reasoning engines f...
1134
Reposted by Manuel Rigger
Michaël Marcozzi @marcozzi.net · 13/02/2025
How to detect backdoors efficiently? ▶️ Backdoors were found in firmware & open-source code ▶️ Detection requires much manual reverse-engineering ▶️ Fuzzers cannot see backdoors Our @icseconf.bsky.social preprint on finding backdoors with fuzzing is at binsec.github.io/nutshells/ic...
binsec.github.io
ICSE'25: research paper
BINSEC: ICSE'25: research paper
031
Reposted by Manuel Rigger
Ilya Sergey @ilyasergey.bsky.social · 12/02/2025
The upcoming ICFP/SPLASH’25 will feature 23 (!!) co-located workshops, in addition to the main conferences, doctoral symposium, Onward!, and SAS, and we can’t wait to see everyone in Singapore in October. Here’s a sneak peek of the hallway track location.
0111
Reposted by Manuel Rigger
Pınar Tözün @pinartozun.bsky.social · 10/02/2025
📢📢VLDB26 (@vldb.bsky.social) will have a ShadowPC! Apply at forms.office.com/e/XYihKj4UKq by March 1! Great opportunity for folk who are new to the data management community & want to gain paper reviewing experience. More info at application form. Chairs: @zistvan.bsky.social, Tianzheng Wang, & I.
forms.office.com
Microsoft Forms
0116
Reposted by Manuel Rigger
Paolo Tonella @paolotonella.bsky.social · 10/02/2025
Siesta 2025 is coming: 5th Software Engineering Summer School, August 27-29, Lugano, Switzerland. Stay tuned! siesta.si.usi.ch/2025/
042
Reposted by Manuel Rigger
Rohan Padhye @rohan.padhye.org · 07/02/2025
Back to basics: Concurrency testing in Java! Our new tool *Fray* correctly solves a 25+ year old problem for real-world software. See this feature from Elastic Labs about Fray's contributions to Lucene. 📰: www.elastic.co/search-labs/... 🔧: github.com/cmu-pasta/fray 📝: arxiv.org/pdf/2501.12618
Blog post titled "Concurrency bugs in Lucene: How to fix optimistic concurrency failures" By Benjamin Trent and Ao Li (February 7, 2025)

Text reads: "Thanks to Fray, a deterministic concurrency testing framework from CMU’s PASTA Lab, we tracked down a tricky Lucene bug and squashed it"
2204