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.
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.
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!
I have recently also started exploring how to tackle conservation and biodiversity challenges as part of our research. Stay tuned for our research in that direction!
This shows the power of participatory science and aligns well with the software engineering course I'm teaching this semester. In the course, students build a participatory-science platform to support an existing local conservation effort.
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...
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...
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.
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
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...
You can find more details on the fees and program here: fuzzingsummerschool.github.io/Registration...
Posting on behalf of the organizing team: @abhikrc.bsky.social, @umathur.bsky.social, Vivien Hao, Zhenkai Liang, and myself.
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
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
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...
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?
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.
Thanks to @ningkeli.bsky.social and Yibo Dong for co-organizing!
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.
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...
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.
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-...
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...
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.
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...
To set expectations: on some other days, we saw close to nothing on the same hike.
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.
