Sign in

Manu Sridharan

@manu.sridharan.net
690 followers 429 following 42 posts

CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. manu.sridharan.net

PostsRepliesMedia
Reposted by Manu Sridharan
Kiran @kirancodes.me · 30/09/2026
to know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Webpage of pldb.kirancodes.me
84010
Reposted by Manu Sridharan
Marina Bolotnikova @mbolotnikova.bsky.social · 28/08/2026
PLS READ: California's pro-housing turn is facing one of its hardest tests yet. The state is on track to create an exception to a law mandating that local govts allow more density on single-family lots for Altadena as it rebuilds from last year's fire 1/ www.vox.com/future-perfe...
vox.com
The most sympathetic case for NIMBYism is still wrong
Wildfires leveled thousands of homes in California. Now the state could block even more from being built.
5296
Reposted by Manu Sridharan
Streetsblog L.A. @streetsblogla.bsky.social · 26/08/2026
If you value Streetsblog L.A., please donate to keep it strong and independent! cal.streetsblog.org/2026/08/25/t...
cal.streetsblog.org
There's One Week Left. Help Us Make Our Summer Goal - Streetsblog California
We're just under 3/4 of the way there with one week left. Help us pedal over the finish line!
057
Manu Sridharan @manu.sridharan.net · 30/07/2026
Interesting read: The Economic Benefit of Refactoring martinfowler.com/articles/exp... would be cool to see / do more experiments around this
martinfowler.com
The Economic Benefit of Refactoring
Notes from my Thoughtworks colleagues on AI-assisted software delivery
000
Reposted by Manu Sridharan
Shriram Krishnamurthi @shriram.bsky.social · 05/07/2026
5697
Manu Sridharan @manu.sridharan.net · 15/06/2026
Excited to be on my way to PLDI'26!! Hope you see you there! @sigplan-pldi.bsky.social
040
Manu Sridharan @manu.sridharan.net · 15/04/2026
This post rang very true for me for CS / software engineering as well
030
Reposted by Manu Sridharan
Stan Oklobdzija @stano.bsky.social · 07/02/2026
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.
pressenterprise.com
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.
29622
Reposted by Manu Sridharan
Zac Sweers @zacsweers.dev · 29/01/2026
👋 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...
zacsweers.dev
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...
0447
Manu Sridharan @manu.sridharan.net · 27/01/2026
Cool to see that Micronaut is starting to adopt JSpecify and NullAway! github.com/micronaut-pr...
github.com
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...
000
Manu Sridharan @manu.sridharan.net · 11/01/2026
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!
000
Reposted by Manu Sridharan
Shriram Krishnamurthi @shriram.bsky.social · 30/12/2025
So (685)568-556855?
011
Manu Sridharan @manu.sridharan.net · 30/12/2025
Haven't seen this result from missing null checks before 🤔
Phone number rendered as (nul)lnu-llnull
130
Reposted by Manu Sridharan
Gunnar Hillert @hillert.bsky.social · 26/12/2025
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...
youtube.com
Null Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025
YouTube video by Spring I/O
185
Reposted by Manu Sridharan
PLDI @sigplan-pldi.bsky.social · 01/12/2025
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...
pldi26.sigplan.org
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...
023
Reposted by Manu Sridharan
PLDI @sigplan-pldi.bsky.social · 17/11/2025
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
0114
Manu Sridharan @manu.sridharan.net · 12/11/2025
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!
030
Reposted by Manu Sridharan
PLDI @sigplan-pldi.bsky.social · 08/11/2025
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....
033
Reposted by Manu Sridharan
Michael Simons @rotnroll666.bsky.social · 26/09/2025
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
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...
11411
Manu Sridharan @manu.sridharan.net · 16/09/2025
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!
github.com
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...
172
Manu Sridharan @manu.sridharan.net · 22/08/2025
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
apps.apple.com
‎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...
110
Manu Sridharan @manu.sridharan.net · 19/08/2025
Highly worth your time to read
010
Reposted by Manu Sridharan
Aws Albarghouthi @awsto.bsky.social · 12/06/2025
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
34713
Reposted by Manu Sridharan
Sam Westrick @shwestrick.bsky.social · 04/06/2025
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!
021
Reposted by Manu Sridharan
ztatlock.bsky.social @ztatlock.bsky.social · 20/05/2025
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
marriott.com
Reservation-Link
032
Reposted by Manu Sridharan
Sam Tobin-Hochstadt @samth.bsky.social · 08/05/2025
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.
1279
Reposted by Manu Sridharan
Josh Marshall @joshtpm.bsky.social · 04/05/2025
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...
talkingpointsmemo.com
The White House’s Next Orchestrated Budget Crisis
This is something I’m still trying to get my head around –...
29681243
Reposted by Manu Sridharan
Jim Larus @jameslarus.bsky.social · 29/04/2025
cacm.acm.org/opinion/big-...
cacm.acm.org
Big Tech, You Need Academia. Speak Up! – Communications of the ACM
073
Reposted by Manu Sridharan
Don Moynihan @donmoyn.bsky.social · 26/04/2025
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-...
donmoynihan.substack.com
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
3280110
Reposted by Manu Sridharan
Anil Madhavapeddy @anil.recoil.org · 13/04/2025
Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
anil.recoil.org
Unikernels wins the ASPLOS most influential paper award
23910
Reposted by Manu Sridharan
Laurence Tratt @ltratt.bsky.social · 25/03/2025
New post: Better Shell History Search tratt.net/laurie/blog/...
2231
Reposted by Manu Sridharan
Laurence Tratt @ltratt.bsky.social · 25/03/2025
A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving...
1132
Reposted by Manu Sridharan
Jenna DiVincenzo @jcenzo.bsky.social · 29/03/2025
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!
052
Reposted by Manu Sridharan
Jingbo Wang @jingbow.bsky.social · 28/03/2025
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!
pldi25.sigplan.org
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...
0169
Reposted by Manu Sridharan
Ryan Williams @rrwilliams.bsky.social · 21/02/2025
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
1726475
Reposted by Manu Sridharan
numble.bsky.social @numble.bsky.social · 19/03/2025
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...
7466
Reposted by Manu Sridharan
Don Moynihan @donmoyn.bsky.social · 19/03/2025
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.
"I learned with concern that a French researcher" on assignment for the French National Center for Scientific Research (CNRS) "who was traveling to a conference near Houston was denied entry to the United States before being expelled ," said the Minister of Higher Education and Research, Philippe Baptiste, in a statement sent to Agence France-Presse (AFP). "This measure was apparently taken by the American authorities because the researcher's phone contained exchanges with colleagues and friends in which he expressed a personal opinion on the Trump administration's research policy ," he added
17864602891
Manu Sridharan @manu.sridharan.net · 12/03/2025
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!
youtu.be
Why LAX’s Horseshoe Shape Is the Airport’s Worst Feature | WSJ Pro Perfected
YouTube video by The Wall Street Journal
030
Manu Sridharan @manu.sridharan.net · 10/03/2025
Great post on JSpecify and NullAway usage in Spring
030
Manu Sridharan @manu.sridharan.net · 01/03/2025
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...
reddit.com
landofcortados's comment on "Starbucks is undrinkable"
Explore this conversation and more from the espresso community
120
Manu Sridharan @manu.sridharan.net · 21/02/2025
@nickandert.bsky.social @numble.bsky.social FYI www.gosbcta.com/wp-content/u... Final EIR for autonomous vehicle tunnel to connect Rancho to ONT. Still defending the plan.
gosbcta.com
010
Reposted by Manu Sridharan
Eric Lipton NYT @ericlipton.nytimes.com · 09/02/2025
NYT: At least 810,000 crypto wallets--include many followers of President Trump nudged by DJT himself--lost $ on $Trump memecoin--more than $2 billion in total. Yet industry pros who quickly bought/sold scored massive profits & Trump family partners made $100 million www.nytimes.com/2025/02/09/u...
nytimes.com
Early Crypto Traders Had Speedy Profit on Trump Coin as Others Suffered Losses (Gift Article)
Some traders made tens of millions off a new cryptocurrency launched by President Trump and his sons. Many others lost out.
1391204506
Reposted by Manu Sridharan
Kristopher Micinski @krismicinski.bsky.social · 09/02/2025
I was reading this article written by CRA, wondering "now who *is* CRA?" Wondering if CRA was somehow just ACM, but it turns out CRA is in fact not just ACM and indeed has a very trustworthy executive board of some of the best folks in CS cra.org/nsf-budget-c...
cra.org
NSF Budget Cuts Would Put the Future of U.S. Innovation and Security at Risk
A statement from the Computing Research Association (CRA) Recent executive actions have raised the potential of significant budget cuts and mass layoffs at the National Science Foundation (NSF), a …
195
Reposted by Manu Sridharan
Tim Clancy @viewfromarchstreet.com · 08/02/2025
On changes to #NIH indirect rates, there is a law in place that prohibits NIH from making such changes without the approval of Congress. See Division D, Title II Section 224 of The Further Consolidated Appropriations Act, 2024 (Public Law No: 118-47) grants.nih.gov/grants/guide...
grants.nih.gov
NOT-OD-24-110: Notice of Legislative Mandates in Effect for FY 2024
NIH Funding Opportunities and Notices in the NIH Guide for Grants and Contracts: Notice of Legislative Mandates in Effect for FY 2024 NOT-OD-24-110. NIH
7835911467
Reposted by Manu Sridharan
Rohan Padhye @rohan.padhye.org · 07/02/2025
Back 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
Blog post titled "Concurrency bugs in Lucene: How to fix optimistic concurrency failures" By Benjamin Trent and Ao Li (February 7, 2025)

Text reads: "Thanks to Fray, a deterministic concurrency testing framework from CMU’s PASTA Lab, we tracked down a tricky Lucene bug and squashed it"
2204
Reposted by Manu Sridharan
Science Magazine @science.org · 30/01/2025
Exclusive: NSF this week began to search through billions of dollars of grants the agency has already awarded for anything touching on topics that President Donald Trump has criticized. And NSF has blocked grantees and trainees from accessing funds while the review is underway. scim.ag/3El0NZh
scim.ag
EXCLUSIVE: NSF starts vetting all grants to comply with Trump’s orders
Grantee accounts remain frozen, while union accuses NSF of ignoring rules governing peer review
68751572
Reposted by Manu Sridharan
Brent Hailpern @bhailpern.bsky.social · 22/01/2025
Congrats to new ACM Fellows www.acm.org/media-center... including Satish Chandra, Fatma Ozcan, Ben Zorn 🎉
acm.org
2024 ACM Fellows Celebrated for transformative contributions to computing science and technology.
ACM has named 55 of its members ACM for transformative contributions to computing science and technology. All the 2024 inductees are longstanding ACM Members whose accomplishments were selected by the...
071
Reposted by Manu Sridharan
Kristopher Micinski @krismicinski.bsky.social · 22/01/2025
I am potentially interested in hiring a postdoc to work on declarative decompilation, I was going to hire someone else but it feel through when they got another offer they took for personal reasons, looking for someone who wants to publish in security, PL venues with me
21617