Manu Sridharan
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Interesting read: The Economic Benefit of Refactoring martinfowler.com/articles/exp... would be cool to see / do more experiments around this
The Economic Benefit of Refactoring
Notes from my Thoughtworks colleagues on AI-assisted software delivery
martinfowler.com
Excited to be on my way to PLDI'26!! Hope you see you there! @sigplan-pldi.bsky.social
I've got an op-ed in several papers across the Inland Empire today electrifying Metrolink service between Los Angeles and San Bernardino. It would make everyone's life a lot better and we are dumb not to do it.
Metrolink electrification would boost efficiency and reduce pollution
Metrolink can follow Caltrain’s success and not only deliver faster, more efficient train service for the region, but give struggling cities along the line a shot in the arm.
pressenterprise.com
👋 Hi everyone, I’m enabling GitHub Sponsors for Metro If Metro has improved your developer experience or saved your team's build times, I’d appreciate the support! Full pitch and ROI napkin math here: www.zacsweers.dev/sponsoring-m...
Sponsoring Metro
Metro is the proudest work of my career. Ever since starting it on vacation in November 2024, building it has been an incredible journey and the community reception has been nothing short of wonderful...
zacsweers.dev
Cool to see that Micronaut is starting to adopt JSpecify and NullAway! github.com/micronaut-pr...
Release Micronaut Core 5.0.0-M9 · micronaut-projects/micronaut-core
What's Changed Bug Fixes 🐞 Add support for less buggy multipart decoder by @yawkat in #12202 Preserving Body Related Headers When Following 307 or 308 Redirects by @everett-hayes in #12271 In CORS...
github.com
The new (or at least new to me) feature on Spotify to make radio stations “non-personalized” is great. Much less of hearing the same songs again and again!
Haven't seen this result from missing null checks before 🤔
If you need to get up to speed with null safety in #Java with #JSpecify and @manu.sridharan.net's #NullAway, watch @seb.deleuze.fr's excellent presentation from @springio.net 2025. www.youtube.com/watch?v=5Lbx...
Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025
YouTube video by Spring I/O
youtube.com
Calling all motivated students and researchers to be part of the PLDI'26 Artifact Evaluation Committee! The first round of self-nominations ends on Dec. 22: pldi26.sigplan.org/track/pldi-2...
PLDI 2026 - PLDI Research Artifacts - PLDI 2026
Background A paper consists of a constellation of artifacts that extend beyond the document itself: software, proofs, models, test suites, benchmarks, and so on. In some cases, the quality of these ar...
pldi26.sigplan.org
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
The Spring team has done an amazing job introducing nullability annotation and checking for Spring Boot 4, using NullAway and other great tools. Really excited about the potential for increased nullness checking across the Java ecosystem!
Sébastien Deleuze@seb.deleuze.fr · 9mo agoDon't miss my new blog post in the Road to GA series to learn how the Spring team empowers Spring developers to make their Spring Boot 4 application null-safe, to reduce or remove the risk of NullPointerException and to solve "the billion dollar mistake"! spring.io/blog/2025/11... #spring #java
The PLDI'26 deadline is right around the corner on Nov. 13. We look forward to your submission(s)! See the call for papers for more information: pldi26.sigplan.org/track/pldi-2....
Enjoy my new, artisanal blog post about #JSpecify and #NullAway, a fresh take on null safety in the #Java world. Be warned, may contains #Lombok. Happy weekend you all. info.michael-simons.eu/2025/09/26/j...
JSpecify and NullAway: A fresh take on nullsafety in the Java world
Introduction Sir Antony Hoare[1] introduced the concept of Null-references or Null pointer[2] back in 1965 with the release of ALGOL W. In 2009 he spoke about it as his “Billion Dollar Mistake”[3]. De...
info.michael-simons.eu
Excited to release NullAway 0.12.10 with much better inference support for generic method calls in JSpecify mode: github.com/uber/NullAwa... Please let us know if you run into issues!
Release NullAway 0.12.10 · uber/NullAway
This release contains significant improvements to inference support for generic method calls in JSpecify mode (#1075). We expect that many more valid calls will pass NullAway, but that some new bug...
github.com
Really happy with Bouncer as a solution to getting too many spam political texts apps.apple.com/us/app/bounc... open source too and privacy preserving github.com/afterxleep/B... 1/2
Bouncer: Spam Text Blocker
Stop unwanted SMS and text messages with Bouncer, the powerful spam blocker and text filter that puts you back in control. Block scam texts, political messages, phishing attempts, and junk SMS instan...
apps.apple.com
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra! The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs. paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla
The submission deadline for the ML Family Workshop 2025 is approaching. Just about two weeks to go! Deadline: June 19 This year we're in Singapore, colocated with ICFP/SPLASH. It's going to be a great event -- please consider submitting, and hope to see you there!
Sam Westrick@shwestrick.bsky.social · last yr.Calling for Presentations! Higher-order, Typed, Inferred, Strict: The 2025 ML Family Workshop welcomes presentations on any topic related to programming languages in the ML family (such as SML, OCaml, F#, etc.) Submissions due: June 19 AoE Workshop: Oct 16 conf.researchr.org/home/icfp-sp...
If you’re planning to attend PLDI 2025 in Seoul, please book your room via the SIGPLAN room block link ASAP! www.marriott.com/event-reserv... Super stoked to see folks in a month :D
Reservation-Link
marriott.com
A few thoughts on AI and education, from someone who uses AI and also teaches many levels of student. 1. Most importantly, it's not possible to know what will happen because no one knows what skills AI will or will not replace in the next few years.
Shared a few thoughts here on the next orchestrated budget/constitution "crisis" the white house has planned for the end of the summer talkingpointsmemo.com/edblog/the-w...
The White House’s Next Orchestrated Budget Crisis
This is something I’m still trying to get my head around –...
talkingpointsmemo.com
New, from @mkfeeney.bsky.social at Can We Still Govern?: She oversaw the Science of Science: Discovery, Communication, and Impact program at NSF, whose including grants to study misinformation. The cancelation of those grants is government censorship. 🧵 donmoynihan.substack.com/p/i-oversaw-...
I oversaw rigorous review of NSF-funded research on misinformation: Now the Trump administration is cancelling it
Politicians, not scientists, are the ones engaged in censorship
donmoynihan.substack.com
Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
Unikernels wins the ASPLOS most influential paper award
anil.recoil.org
A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving...
