Lightnews — Scholar-powered news

Isil Dillig @idillig.bsky.social · 7d

We are looking forward to receiving your publications!

Shriram Krishnamurthi @shriram.bsky.social · 8d

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...

SPLASH 2026 - OOPSLA - SPLASH 2026

Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

2026.splashcon.org

1 4

Shriram Krishnamurthi @shriram.bsky.social · 8d

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...

SPLASH 2026 - OOPSLA - SPLASH 2026

Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

2026.splashcon.org

1 23 19

Isil Dillig @idillig.bsky.social · Jun 1

Moshe Vardi nails it in this article: cacm.acm.org/opinion/big-... Big Tech owes much of its success to decades of public investment in research, which is now under serious threat. Please speak up in whatever way you can: reach out to your representatives, write an op-ed, post, share...

Big Tech, You Need Academia. Speak Up! – Communications of the ACM

cacm.acm.org

2 7

Isil Dillig @idillig.bsky.social · May 31

3/3 If you’ve built a company, a career, or a product on top of that system, now is the time to speak up -- before the damage is irreversible.

1 3

Isil Dillig @idillig.bsky.social · May 31

2/3 Now, with Congress moving to slash NSF funding, that very foundation seems to be at risk. CISE, which is the directorate that funds core computing research, is facing a 65% cut. The U.S. research ecosystem cannot survive cuts like this.

1 1 4

Isil Dillig @idillig.bsky.social · May 31

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.

Isil Dillig on X: "1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on." / X

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on.

x.com

1 8 16

Peter Gleick @petergleick.bsky.social · May 31

There are 2 previous historical cases of countries destroying their science and universities, crippling them for decades: Lysenkoism in the USSR and Nazi Germany. The Trump administration will be the 3rd.
It's not just budgets but research, institutions, expertise, and training the next generation.

Graphs showing 25 years of budgets for the National Institute of Health, NASA, and the NSF. In all cases, the proposed budget for next year is far, far below any year of the previous quarter century.

460 7.9K 15K

Isil Dillig @idillig.bsky.social · May 9

It's been a real honor and privilege to be your PhD advisor
Shankara Pailoor and Ben Mariano! I am truly so proud of everything you both have accomplished.

2 18

Isil Dillig @idillig.bsky.social · May 8

The FY26 budget slashes NSF by 55%, which directly threatens basic research in the United States. Please call your reps NOW and tell them to reject these cuts and protect science funding. You can find them here: www.congress.gov/members

www.congress.gov

1 3

Isil Dillig @idillig.bsky.social · Apr 23

For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!

Anirudh Khatry @anirudhkhatry.bsky.social · Apr 23

📄 Read the full paper:
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
arxiv.org/abs/2504.15254
Dataset: github.com/anirudhkhatr...
w/ @robertzhang.bsky.social , Jia Pan, @zetten.bsky.social, @jqchen.bsky.social, @gregdnlp.bsky.social, @idillig.bsky.social.

🧵[6/6]

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation

C-to-Rust transpilation is essential for modernizing legacy C code while enhancing safety and interoperability with modern Rust ecosystems. However, no dataset currently exists for evaluating whether ...

arxiv.org

3 13

Anirudh Khatry @anirudhkhatry.bsky.social · Apr 23

📄 Read the full paper:
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
arxiv.org/abs/2504.15254
Dataset: github.com/anirudhkhatr...
w/ @robertzhang.bsky.social , Jia Pan, @zetten.bsky.social, @jqchen.bsky.social, @gregdnlp.bsky.social, @idillig.bsky.social.

🧵[6/6]

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation

C-to-Rust transpilation is essential for modernizing legacy C code while enhancing safety and interoperability with modern Rust ecosystems. However, no dataset currently exists for evaluating whether ...

arxiv.org

1 3

Isil Dillig @idillig.bsky.social · Apr 8

Wow, there is an account called penguins against Trump 😂

Penguins Against Trump @penguinsagainstdt.bsky.social · Apr 7

Most birds have a fight or flight response.

He forgot we’re flightless birds.

A meme photo of an Adelie penguin holding an AK-47.

6

Penguins Against Trump @penguinsagainstdt.bsky.social · Apr 7

Most birds have a fight or flight response.

He forgot we’re flightless birds.

100 2.8K 17K

Isil Dillig @idillig.bsky.social · Mar 4

For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...

1 8 18

Isil Dillig @idillig.bsky.social · Feb 20

Oh, that grant started a while ago, and the main PI is Armando at MIT. For an Expeditions project, it needs to be very ambitious and interdisciplinary and bring together people who would not otherwise get a chance to work together.

1 4

Isil Dillig @idillig.bsky.social · Dec 27

I hope congress takes note. www.nytimes.com/2020/02/27/o...

Opinion | Eric Schmidt: I Used to Run Google. Silicon Valley Could Lose to China. (Published 2020)

We can’t win the technology wars without the federal government’s help.

www.nytimes.com

3

Isil Dillig @idillig.bsky.social · Dec 24

Diving in the Galapagos islands last week was really fun but **very very** cold! Some videos here: youtu.be/-s61EuteC6c

Galapagos diving

YouTube video by Işil Dillig

youtu.be

12

Isil Dillig @idillig.bsky.social · Dec 23

Oops, should be fixed now?

1

Isil Dillig @idillig.bsky.social · Dec 23

Self-nominations are most welcome :)

1 1

Isil Dillig @idillig.bsky.social · Dec 23

@andersmoeller.bsky.social and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/NVnzjcmbshoL...

forms.gle

2 13 21

Isil Dillig @idillig.bsky.social · Dec 5

There was such a workshop at PLDI: pldi24.sigplan.org/home/rtfm-20... I’m sure people would be happy to share their slides and material from that workshop