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

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

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.

The White House’s Next Orchestrated Budget Crisis This is something I’m still trying to get my head around –...

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

cacm.acm.org/opinion/big-...

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

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

Unikernels wins the ASPLOS most influential paper award

Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...

New post: Better Shell History Search tratt.net/laurie/blog/...

A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving...

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!

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

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!

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!

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

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.

YouTube video by The Wall Street Journal Why LAX’s Horseshoe Shape Is the Airport’s Worst Feature | WSJ Pro Perfected

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

landofcortados's comment on "Starbucks is undrinkable" Explore this conversation and more from the espresso community

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

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

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.

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

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 …

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

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

This is super cool!

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"

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

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

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

This is the one PL paper on React that I know about www.franktip.org/pubs/ecoop20...

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

Congrats to new ACM Fellows www.acm.org/media-center... including Satish Chandra, Fatma Ozcan, Ben Zorn 🎉

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

Are you interested in getting a PhD in Programming Languages, particularly on practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University.

PhDs in Australia take 3-4 years, see tinyurl.com/ANUPLPhD . If you're there, find me at POPL this week!