iiinova — where your digital self keeps evolving

Isil Dillig @idillig.bsky.social · 22/10/2025

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 :)

030

Isil Dillig @idillig.bsky.social · 03/10/2025

We are looking forward to receiving your publications!

140

Isil Dillig @idillig.bsky.social · 01/06/2025

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

cacm.acm.org

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

082

Reposted by Isil Dillig

Peter Gleick @petergleick.bsky.social · 31/05/2025

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.

449151557830

Isil Dillig @idillig.bsky.social · 09/05/2025

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.

0192

Isil Dillig @idillig.bsky.social · 08/05/2025

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

congress.gov

031

Isil Dillig @idillig.bsky.social · 23/04/2025

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

0133

Isil Dillig @idillig.bsky.social · 08/04/2025

Wow, there is an account called penguins against Trump 😂

060

Isil Dillig @idillig.bsky.social · 04/03/2025

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

1197

Isil Dillig @idillig.bsky.social · 24/12/2024

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

youtu.be

Galapagos diving

YouTube video by Işil Dillig

0120

Isil Dillig @idillig.bsky.social · 23/12/2024

@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

22113

Isil Dillig @idillig.bsky.social · 02/12/2024

Nice sunset over Pennybacker Bridge

080

Isil Dillig @idillig.bsky.social · 01/12/2024

Tis the season :-) My cat tree is finally here

0181

Reposted by Isil Dillig

rakamaric.bsky.social @rakamaric.bsky.social · 27/11/2024

CAV (International Conference on Computer Aided Verification) is now also on Bluesky! Please follow @confcav.bsky.social and help us spread the word.

0167

Isil Dillig @idillig.bsky.social · 23/11/2024

Just realized that the currency in Ecuador is the US dollar! Don’t even need to get different currency for my upcoming trip :)

150

Isil Dillig @idillig.bsky.social · 23/11/2024

Wonderful new hiking trail I discovered in Austin! (Emma Long cliff loop)

0170

Isil Dillig @idillig.bsky.social · 22/11/2024

Excited to visit Columbia next week!

1141

Isil Dillig @idillig.bsky.social · 17/11/2024

Interesting read. We’ll see how this unfolds in the coming weeks

050

Isil Dillig @idillig.bsky.social · 16/11/2024

“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”

unstocked.one

131

Isil Dillig @idillig.bsky.social · 16/11/2024

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 😂😅😂

0120

Isil Dillig @idillig.bsky.social · 16/11/2024

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

47234

Isil Dillig @idillig.bsky.social · 16/11/2024

How do we get more people to join the mass exodus?

240

Isil Dillig @idillig.bsky.social · 14/11/2024

Please convince your friends to join this platform (or whatever else other than X) so we can see interesting content that we **actually** want to see

1223

Isil Dillig @idillig.bsky.social · 07/11/2024

Can’t do much about what anyone else does, and I sure didn’t get any actual work done today, but at least managed to renew my car registration and have a clean house. More than I was expecting from a day like today

160

Isil Dillig @idillig.bsky.social · 06/11/2024

Hello world! I plan to give this a try for some time -- too tired of X and Facebook.

090