Isil Dillig
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
UTCS is hiring in all areas, including PL! Please DM me if you are on the job market this year and interested in joining our wonderful department :)
October 22, 2025 at 7:39 PM
UTCS is hiring in all areas, including PL! Please DM me if you are on the job market this year and interested in joining our wonderful department :)
We are looking forward to receiving your publications!
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...
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
October 3, 2025 at 12:58 AM
We are looking forward to receiving your publications!
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
June 1, 2025 at 4:23 PM
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...
Reposted by Isil Dillig
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.
It's not just budgets but research, institutions, expertise, and training the next generation.
May 31, 2025 at 4:43 AM
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.
It's not just budgets but research, institutions, expertise, and training the next generation.
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.
May 31, 2025 at 5:16 PM
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.
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.
May 31, 2025 at 5:16 PM
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/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
May 31, 2025 at 5:16 PM
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.
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.
Shankara Pailoor and Ben Mariano! I am truly so proud of everything you both have accomplished.
May 9, 2025 at 10:35 PM
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.
Shankara Pailoor and Ben Mariano! I am truly so proud of everything you both have accomplished.
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
May 8, 2025 at 6:55 PM
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
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!
📄 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
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
April 23, 2025 at 5:44 PM
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!
Wow, there is an account called penguins against Trump 😂
Most birds have a fight or flight response.
He forgot we’re flightless birds.
He forgot we’re flightless birds.
April 8, 2025 at 9:16 AM
Wow, there is an account called penguins against Trump 😂
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...
March 4, 2025 at 5:00 PM
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...
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.
February 20, 2025 at 2:08 AM
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.
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
December 27, 2024 at 4:55 PM
I hope congress takes note. www.nytimes.com/2020/02/27/o...
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
December 24, 2024 at 5:04 PM
Diving in the Galapagos islands last week was really fun but **very very** cold! Some videos here: youtu.be/-s61EuteC6c
Oops, should be fixed now?
December 23, 2024 at 9:06 PM
Oops, should be fixed now?
Self-nominations are most welcome :)
December 23, 2024 at 8:43 PM
Self-nominations are most welcome :)
@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
December 23, 2024 at 8:43 PM
@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...
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
RTFM 2024 - : Red-Hot Topics in Faculty Mentoring - PLDI 2024
We believe our community has come a long way in acknowledging that junior researchers need as much mentoring as they can get to prepare them for future jobs and help them succeed. The PLMW workshop se...
pldi24.sigplan.org
December 5, 2024 at 3:03 PM
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
This is hilarious: www.cameo.com/mattgaetz
Matt Gaetz - Personalized videos on Cameo
Matt Gaetz on Cameo! Cameo lets you request a personalized video message for any occasion.
www.cameo.com
December 3, 2024 at 6:20 PM
This is hilarious: www.cameo.com/mattgaetz
Nice sunset over Pennybacker Bridge
December 2, 2024 at 2:37 AM
Nice sunset over Pennybacker Bridge
Tis the season :-) My cat tree is finally here
December 1, 2024 at 6:02 AM
Tis the season :-) My cat tree is finally here
Does it have other good recipes too? I might give it a try!
November 28, 2024 at 10:40 PM
Does it have other good recipes too? I might give it a try!
Reposted by Isil Dillig
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
Please follow @confcav.bsky.social and help us spread the word.
November 27, 2024 at 8:12 PM
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
Please follow @confcav.bsky.social and help us spread the word.
I never carry it either when they accept credit cards
November 24, 2024 at 12:20 AM
I never carry it either when they accept credit cards