Manuel Rigger @mrigger.bsky.social · 24/07/2026As 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 RiggerYuchen @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 RiggerKonstantinos Kallas @konstantinoskallas.bsky.social · 07/05/2026We 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.comGitHub - binpash/trai: A claude plugin for sandboxing tool callsA 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/2026All 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 RiggerBen 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 #ISSTA2026docs.google.comASE & ISSTA AEC Self-NominationsWe 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/2026Our 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 RiggerLean Focused Research Organization @lean-lang.org · 01/04/20261/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 RiggerSara Beery @sarameghanbeery.bsky.social · 31/03/2026Applications 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/2026Have 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.beLong-tailed macaques mounting and grooming sambar deer in SingaporeYouTube video by Manuel Rigger 140
Reposted by Manuel RiggerBen Hermann @benhermann.eu · 29/03/2026Do 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.deProfessorship (W3) in Programming Languages | News | Mar 26, 2026 | Faculty 5: Computer Science, Electrical Engineering and Information Technology | University of StuttgartINSTITUTE OF SOFTWARE ENGINEERING | AT THE NEXT POSSIBLE DATE 023
Reposted by Manuel RiggerKabilan Mahathevan @kabilan-m.bsky.social · 25/02/2026We’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.comGitHub - KabilanMA/TenSure: Modular Black-box fuzzing framework for STCsModular Black-box fuzzing framework for STCs. Contribute to KabilanMA/TenSure development by creating an account on GitHub. 221
Reposted by Manuel RiggerPeter Boncz @peterabcz.bsky.social · 11/02/2026DuckDB 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 RiggerIlya Sergey @ilyasergey.bsky.social · 09/02/2026New 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.netVerifying Distributed Protocols in VeilIn 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/2026We 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/2025Thanks 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 RiggerDominik Winterer @dominikwinterer.bsky.social · 05/11/2025We 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.comFM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester on FindAPhD.comPhD 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 RiggerMarcel Böhme @mboehme.bsky.social · 03/11/2025Gaetano'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/2025Had 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/2025We 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/2025Super 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/2025A 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.orgOutdoor Activities - SPLASH 2025Latest 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/2025It 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 RiggerIlya Sergey @ilyasergey.bsky.social · 09/10/2025I 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 RiggerIlya Sergey @ilyasergey.bsky.social · 04/10/2025One week until ICFP/SPLASH’25! conf.researchr.org/home/icfp-sp...conf.researchr.orgICFP/SPLASH 2025Latest 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 RiggerStefan Marr @stefan-marr.de · 01/10/2025First 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.deFirst Day: A New Chapter at the JKUNew job and responsibilities: what's now important to me? 4165
Reposted by Manuel RiggerRohan Padhye @rohan.padhye.org · 28/08/2025Excited 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... 3154
Manuel Rigger @mrigger.bsky.social · 25/08/2025I 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 RiggerStefan Marr @stefan-marr.de · 24/08/2025Already 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.orgMPLR 2025 - ICFP/SPLASH 2025The 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 RiggerAndreas Zeller @andreaszeller.bsky.social · 22/08/202525 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.... 0204
Reposted by Manuel RiggerMarcel Böhme @mboehme.bsky.social · 02/07/2025Can 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.00057arxiv.orgEstimating Correctness Without Oracles in LLM-Based Code GenerationGenerating 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/2025Looking 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 RiggerDominik 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.ioFormal Methods Engineering Lab: Home 0136
Reposted by Manuel RiggerTorsten „Teggy“ Grust @teggy.org · 22/05/2025Our 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.orgUSING KEY in Recursive CTEsRecursive 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 RiggerIlya Sergey @ilyasergey.bsky.social · 14/04/2025This 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 RiggerArmin Biere @arminbiere.bsky.social · 26/03/2025Our 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.deUniversity 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 RiggerYannic 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.socialfuzzingworkshop.github.ioFUZZING'25 Workshop @ ISSTAThe 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 RiggerGabriel Sherman @gabriel-sherman.bsky.social · 17/03/2025Need 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 Riggerccadar.bsky.social @ccadar.bsky.social · 03/03/2025I 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.ukResearch Associate / Research Assistant in Program Analysis and Generative AIFixed 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/2025SQLancer 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 RiggerMarcel 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 RiggerKristopher Micinski @krismicinski.bsky.social · 13/02/2025Post 2: NSF PPoSS Status Update–2024 Year in Review kmicinski.com/modern-deduc...kmicinski.comPost 2: NSF PPoSS Status Update–2024 Year in ReviewIn 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 RiggerMichaël Marcozzi @marcozzi.net · 13/02/2025How 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.ioICSE'25: research paperBINSEC: ICSE'25: research paper 031
Reposted by Manuel RiggerIlya Sergey @ilyasergey.bsky.social · 12/02/2025The 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 RiggerPı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.comMicrosoft Forms 0116
Reposted by Manuel RiggerPaolo Tonella @paolotonella.bsky.social · 10/02/2025Siesta 2025 is coming: 5th Software Engineering Summer School, August 27-29, Lugano, Switzerland. Stay tuned! siesta.si.usi.ch/2025/ 042
Reposted by Manuel RiggerRohan Padhye @rohan.padhye.org · 07/02/2025Back 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 2204