Isil Dillig
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
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.
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.
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 :)
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
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!
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