Isil Dillig
@IsilDillig
Followers
4K
Following
2K
Media
52
Statuses
703
CS Professor at UT Austin + President of @VeridiseInc.
Joined January 2020
Thank you @swarat! I’m very honored to receive this award.
Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil!
15
3
81
RT @Aaroth: The United States has had a tremendous advantage in science and technology because it has been the consensus gathering point: t….
0
57
0
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.
0
3
39
2/3 Now, with Congress moving to slash NSF funding, that very foundation is at risk. CISE, the directorate that funds computing research, is facing a 65% cut. The US research ecosystem cannot survive cuts like this.
1
3
42
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.
2
38
163
It's been a real honor and privilege to be your PhD advisor @ShankaraPailoo2 and Ben Mariano! I am truly so proud of everything you both have accomplished.
4
1
74
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 :
0
6
27
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!.
🚀Introducing CRUST-Bench, a dataset for C-to-Rust transpilation for full codebases 🛠️.A dataset of 100 real-world C repositories across various domains, each paired with:.🦀 Handwritten safe Rust interfaces. 🧪 Rust test cases to validate correctness. 🧵[1/6]
2
13
52
RT @adityaakella: Check out this really cool work led by my brilliant student @divytweet on novel control and data plane abstractions for s….
0
1
0
Thank you for your kind words for our team @BruestleJeremy! It’s been a pleasure to work with the @RiscZero team.
⭐ 🎥 Watch a 7-min chat with @RiscZero CEO @BruestleJeremy on his founding journey, RISC Zero's security priorities, and his experience with @VeridiseInc.
1
1
10
Special recognition goes to the amazing @ShankaraPailoo2 for tirelessly improving the tool over the last two years to get it to where it is today!.
0
1
6
Super excited about this verification work that we've been doing with @RiscZero! They've using our tool to prove the determinism of circuits in their ZKVM -- it's truly exciting to see formal methods having real-world impact!!.
RISC Zero is building the first formally verified RISC-V zkVM. Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.
5
5
34
RT @RiscZero: RISC Zero is building the first formally verified RISC-V zkVM. Using @VeridiseInc's Picus tool, we're mathematically provin….
0
38
0
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:
0
11
31
PSA for PL folks on this platform: We now exist on another platform, please join. Here is a starter pack with a whole bunch of us:
0
5
11
For my sanity, I intend to be off this platform for a while. For those on bluesky or plan to join, this is me:
0
0
4
Great interview with @ShankaraPailoo2!.
New blog post is live: "Meet Our Team: 10 questions for Shankara Pailoor". @mikkoikola sat down with our Head of ZK Security Research @ShankaraPailoo2 to discuss everything from Shankara's PhD journey, best practices for secure ZK development, Picus tool, to philosophy!. Find the
0
0
6
For those reaching out to me for the upcoming PhD admissions cycle: Yes, I am taking students and post-docs with a strong PL background and similar research interests. So, if you are interested, please apply to UTCS!.
1
20
105