Hila Peleg

@hilacodes.bsky.social

Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her

It's a little known fact but Jolene was written about that time that Dolly Parton found out her really promising student was offered a research project with the bestest prof in the department

I spent all these years ✨honing my intuition✨ and ✨developing taste✨ about good and bad plots and now I've fully circled back to "my 7th grade science teacher would hate this, where is the independent variable"

We’re doing a user study to find out how adding always-on live values alongside code effects writing and debugging experiences for functional programming. See reply for sign-up details

So many criticisms of Test-Driven Development have a kind of "Pull-ups don't work because the concrete gets frozen solid" energy to them, and I'm like "How exactly *have* you been doing it?"

🚨Time is running out for #PLDI2026 early rates!🚨 Early registration closes in two days on May 16 (UTC -6), and the room block at the Limelight Boulder expires TOMORROW, May 15 (UTC -6). Don't miss these savings! 🔗https://pldi26.sigplan.org/

When did it become a popular thing to list as an advantage of your technique that it doesn't require the code to compile? I see it more and more. Even in cases where that makes no sense like testing the code???

Are you working to make programming more direct, tangible, and alive? Share your work at LIVE, the world's premier gathering on live programming, held online this October! LIVE welcomes submissions from academia, industry, and individuals. Call for submissions and more details on liveprog.org/

Workshop on Live Programming (LIVE)

The 12th Workshop on Live Programming (LIVE 2026) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.

liveprog.org

We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PL...

PLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026

The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...

pldi26.sigplan.org

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.