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.

Konstantinos Kallas@konstantinoskallas.bsky.social · 2w ago

Three papers in my POPL reviews and I have already seen so many occurrences of LLM-generated text that uses vague contrasts to explain the work, e.g., "Our framework is not X; but it is Y", "The problem is not syntactic; it is semantic", "The work is X rather than merely Y" 😢

[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

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 - 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.

github.com

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.

📢 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

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 ...

docs.google.com

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!

Sara Beery@sarameghanbeery.bsky.social · 5mo ago

We're looking for our next cohort of amazing instructors for #CV4Ecology!! CV4E is an intensive workshop designed to empower ecologists to efficiently process their existing data, design new studies around CV, and scale their research to larger datasets.

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...

Long-tailed macaques mounting and grooming sambar deer in Singapore

YouTube video by Manuel Rigger

youtu.be

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.

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.

github.com

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...

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...

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

findaphd.com

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.

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...

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...

2025.splashcon.org

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.

Ningke Li@ningkeli.bsky.social · 10mo ago

@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🥳

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-...

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

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...

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...

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.

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