Konstantinos Kallas

@KonsKallas

Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they bsky.app/profile/konsta…

angelhof.github.io

Joined July 2020

545 Following

1,167 Followers

Replies Reposts Media

Pinned
Konstantinos Kallas
@KonsKallas
Jun 3, 2024
I am a bit late to the party, but I am very excited to announce that I will be joining UCLA CS as an assistant professor starting January 2025 🎉 I will be recruiting students for the Fall of 2025. If you want to work on systems/compilers/PL apply to UCLA and email me :)
55
Konstantinos Kallas
@KonsKallas
Jul 21
Three papers in my POPL reviews and I have already seen so many occurrences of LLM-generated text that uses vague contrasts to explain the work, e.g., "Our framework is not X; but it is Y", "The problem is not syntactic; it is semantic", "The work is X rather than merely Y" 😢
3
Konstantinos Kallas
@KonsKallas
May 7
We just implemented trai (try + AI) (github.com/binpash/trai), a Claude plugin that can help you isolate 🫷 changes done in your file system by tool calls (like pip install), and only commit them if they are intended ☺️. Try it out (pun intended) and share your feedback!
GitHub - binpash/trai: A Claude Code plugin for sandboxing tool calls
From github.com
2
Konstantinos Kallas
@KonsKallas
Jan 30
PaSh finally got a PyPI package (pypi.org/project/pash/) 🎉 Install with `pip install pash` and start parallelizing your 🫵 shell scripts today!
pash
From pypi.org
Konstantinos Kallas
@KonsKallas
Dec 15, 2025
Watch Stephen's talk :)
Dominik Tornow
@DominikTornow
Dec 15, 2025
One of the most approachable presentations about advanced programming language semantics Opportunistically Parallel Lambda Calculus • @stephenlmell • @KonsKallas • Steve Zdancewic • Osbert Bastani