Manu Sridharan
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
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!
Don'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
#spring #java
Null-Safe applications with Spring Boot 4
Level up your Java code and explore what Spring can do for you.
spring.io
November 12, 2025 at 5:39 PM
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!
Reposted by Manu Sridharan
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....
November 8, 2025 at 2:24 AM
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....
Reposted by Manu Sridharan
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...
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
September 26, 2025 at 2:05 PM
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...
info.michael-simons.eu/2025/09/26/j...
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
September 16, 2025 at 6:59 PM
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!
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
August 22, 2025 at 4:19 PM
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
Highly worth your time to read
Wrote a lot of thoughts on junior developers, AI, and what I strongly feel is going to become the defining challenge of our industry's next generation.
www.zacsweers.dev/forklifts-re...
www.zacsweers.dev/forklifts-re...
Forklifts Require Training
Sleepwalking into labor collapse
www.zacsweers.dev
August 19, 2025 at 12:32 AM
Highly worth your time to read
Reposted by Manu Sridharan
Wrote a lot of thoughts on junior developers, AI, and what I strongly feel is going to become the defining challenge of our industry's next generation.
www.zacsweers.dev/forklifts-re...
www.zacsweers.dev/forklifts-re...
Forklifts Require Training
Sleepwalking into labor collapse
www.zacsweers.dev
August 18, 2025 at 6:17 PM
Wrote a lot of thoughts on junior developers, AI, and what I strongly feel is going to become the defining challenge of our industry's next generation.
www.zacsweers.dev/forklifts-re...
www.zacsweers.dev/forklifts-re...
Reposted by Manu Sridharan
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 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
June 12, 2025 at 2:38 PM
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 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
Reposted by Manu Sridharan
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!
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!
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...
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...
ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025 - ICFP/SPLASH 2025
ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many othe...
conf.researchr.org
June 4, 2025 at 3:30 PM
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!
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!
Reposted by Manu Sridharan
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
www.marriott.com/event-reserv...
Super stoked to see folks in a month :D
Reservation-Link
www.marriott.com
May 20, 2025 at 8:18 PM
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
www.marriott.com/event-reserv...
Super stoked to see folks in a month :D
Reposted by Manu Sridharan
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.
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.
May 8, 2025 at 4:30 PM
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.
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.
Reposted by Manu Sridharan
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
May 4, 2025 at 3:38 PM
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...
Reposted by Manu Sridharan
Reposted by Manu Sridharan
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-...
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
April 26, 2025 at 8:08 PM
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-...
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-...
Reposted by Manu Sridharan
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
April 13, 2025 at 12:47 PM
Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
Reposted by Manu Sridharan
New post: Better Shell History Search tratt.net/laurie/blog/...
March 25, 2025 at 11:59 AM
New post: Better Shell History Search tratt.net/laurie/blog/...
Reposted by Manu Sridharan
A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving...
March 25, 2025 at 4:45 PM
A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving...
Reposted by Manu Sridharan
Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2
March 29, 2025 at 8:34 PM
Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!
Reposted by Manu Sridharan
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025
The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...
pldi25.sigplan.org
March 28, 2025 at 3:56 AM
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Reposted by Manu Sridharan
New paper: Simulating Time With Square-Root Space
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
people.csail.mit.edu
February 21, 2025 at 10:19 PM
New paper: Simulating Time With Square-Root Space
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
Reposted by Manu Sridharan
LA Metro used to publish monthly reports detailing progress on each transit construction project. They stopped publishing them in August 2024, saying they do not keep these records and the public interest is clearly served better by not disclosing them.
libraryarchives.metro.net/DPGTL/Status...
libraryarchives.metro.net/DPGTL/Status...
March 19, 2025 at 10:27 PM
LA Metro used to publish monthly reports detailing progress on each transit construction project. They stopped publishing them in August 2024, saying they do not keep these records and the public interest is clearly served better by not disclosing them.
libraryarchives.metro.net/DPGTL/Status...
libraryarchives.metro.net/DPGTL/Status...
Reposted by Manu Sridharan
If you are visiting the United States, having a negative view of Trump is enough to get you denied entry.
If this was coming out of Russia or China, we would deplore such an authoritarian attack on freedom of expression.
If this was coming out of Russia or China, we would deplore such an authoritarian attack on freedom of expression.
March 19, 2025 at 6:39 PM
If you are visiting the United States, having a negative view of Trump is enough to get you denied entry.
If this was coming out of Russia or China, we would deplore such an authoritarian attack on freedom of expression.
If this was coming out of Russia or China, we would deplore such an authoritarian attack on freedom of expression.
Nice video on the (bad) design of LAX and how to improve youtu.be/8ykQAAxaAGw?... I wish some of this stuff had been in place for SPLASH'24!
Why LAX’s Horseshoe Shape Is the Airport’s Worst Feature | WSJ Pro Perfected
YouTube video by The Wall Street Journal
youtu.be
March 12, 2025 at 7:43 PM
Nice video on the (bad) design of LAX and how to improve youtu.be/8ykQAAxaAGw?... I wish some of this stuff had been in place for SPLASH'24!
Great post on JSpecify and NullAway usage in Spring
I have published a new blog post to explain what benefits Spring developers can expect from the next-level Spring null safety support based on JSpecify and NullAway. spring.io/blog/2025/03...
It will be available for general consumption in the upcoming Spring major version at the end of the year.
It will be available for general consumption in the upcoming Spring major version at the end of the year.
March 10, 2025 at 10:40 PM
Great post on JSpecify and NullAway usage in Spring
Now my go-to order when I need to get coffee from Starbucks: short flat white with blonde espresso. From www.reddit.com/r/espresso/s...
landofcortados's comment on "Starbucks is undrinkable"
Explore this conversation and more from the espresso community
www.reddit.com
March 1, 2025 at 3:19 PM
Now my go-to order when I need to get coffee from Starbucks: short flat white with blonde espresso. From www.reddit.com/r/espresso/s...