Isil Dillig
idillig.bsky.social
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
We are looking forward to receiving your publications!
October 3, 2025 at 12:58 AM
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
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.
May 31, 2025 at 4:43 AM
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
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.
May 9, 2025 at 10:35 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
www.congress.gov
May 8, 2025 at 6:55 PM
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!
April 23, 2025 at 5:44 PM
Wow, there is an account called penguins against Trump 😂
Most birds have a fight or flight response.

He forgot we’re flightless birds.
April 8, 2025 at 9:16 AM
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
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
@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
Nice sunset over Pennybacker Bridge
December 2, 2024 at 2:37 AM
Tis the season :-) My cat tree is finally here
December 1, 2024 at 6:02 AM
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.
November 27, 2024 at 8:12 PM
Just realized that the currency in Ecuador is the US dollar! Don’t even need to get different currency for my upcoming trip :)
November 23, 2024 at 11:10 PM
Wonderful new hiking trail I discovered in Austin! (Emma Long cliff loop)
November 23, 2024 at 7:26 PM
Excited to visit Columbia next week!
November 22, 2024 at 2:30 AM
Interesting read. We’ll see how this unfolds in the coming weeks
November 17, 2024 at 5:00 PM
Very interesting chart
November 16, 2024 at 7:31 PM
“no detail was too small to save. In Dec 2022, Mr. Musk stopped paying for janitorial services at Twitter’s offices, leaving trash cans overflowing and bathrooms unstocked. one employee took toilet paper to work and hung it in the bathroom stall with a metal coat hanger as a makeshift spool”
November 16, 2024 at 4:18 PM
Also fun fact: I tried to post something on X that had the word Blue Sky and it would not let me post it, saying "something went wrong, try again". I deleted the word Blue Sky, my post worked like a charm 😂😅😂
November 16, 2024 at 2:25 AM
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x
November 16, 2024 at 2:17 AM