iiinova — where your digital self keeps evolving

Konstantinos Kallas @konstantinoskallas.bsky.social · 21/07/2026

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" 😢

030

Konstantinos Kallas @konstantinoskallas.bsky.social · 07/05/2026

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

GitHub - binpash/trai: A claude plugin for sandboxing tool calls

A claude plugin for sandboxing tool calls. Contribute to binpash/trai development by creating an account on GitHub.

163

Konstantinos Kallas @konstantinoskallas.bsky.social · 30/01/2026

PaSh finally got a PyPI package (pypi.org/project/pash/) 🎉 Install with `pip install pash` and start parallelizing your 🫵 shell scripts today!

pypi.org

pash

Light-touch Data-Parallel Shell Processing

010

Konstantinos Kallas @konstantinoskallas.bsky.social · 20/11/2025

I am hiring 1-2 PhD students this cycle at UCLA. My group works on problems in the intersection of systems and PL, with some recent topics of interest being the correctness of black-box side-effectful programs, Python script optimization, and systems for cloud computing!

140

Konstantinos Kallas @konstantinoskallas.bsky.social · 30/10/2025

Are you making calls to LLMs and ML models in your code? Is your code awfully sequential™? Is your code unable to stream data? Look no further! Stephen (@stephenmell.bsky.social), Osbert, Steve, and I came up with a solution for you! Read further if you suffer from the above issues ⬇️

120

Reposted by Konstantinos Kallas

Loris D'Antoni @lorisdanto.bsky.social · 16/09/2025

The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon! Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...

floc26.org

FLoC 2026: The 9th Federated Logic Conference

065

Konstantinos Kallas @konstantinoskallas.bsky.social · 01/07/2025

People use LLM agents to interact with (access/modify) their system and external services. We (@bimalraj.bsky.social, @samkumar.bsky.social, and Sai) think this can be a bit dangerous 💣⏲️💥 so we wrote a paper (arxiv.org/pdf/2506.13028) on system guardrails for such agent-driven interactions!

arxiv.org

140

Konstantinos Kallas @konstantinoskallas.bsky.social · 13/05/2025

An article written just came out covering our latest work on semantic-driven static analysis for shell script correctness (www.infoworld.com/article/3977...). There will also be a presentation at HotOS on Thursday (sigops.org/s/conference...) for anyone who is there!

infoworld.com

Static analysis proposed to ‘rehabilitate’ shell programs

Semantics-driven static analysis could be used to improve the safety, correctness, and performance of Unix, Linux, and macOS shell scripts, researchers say.

030

Reposted by Konstantinos Kallas

Jingbo Wang @jingbow.bsky.social · 28/03/2025

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

pldi25.sigplan.org

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

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

0169

Reposted by Konstantinos Kallas

afd-icl.bsky.social @afd-icl.bsky.social · 18/03/2025

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: www.doc.ic.ac.uk/~afd/PhD-Adv...

doc.ic.ac.uk

076

Konstantinos Kallas @konstantinoskallas.bsky.social · 23/02/2025

An extended version of our Netherite paper with folks from Microsoft Research was just published to the VLDB Journal (link.springer.com/article/10.1...). The key addition is Section 8, which contains real usage data for Durable Functions. See more below ⬇️

link.springer.com

Netherite: efficient execution of serverless workflows - The VLDB Journal

Serverless applications are popular because they can provide scalability and load-based billing with minimal developer effort. Beyond simple stateless functions (FaaS), modern serverless programming m...

120

Konstantinos Kallas @konstantinoskallas.bsky.social · 30/01/2025

A student in my paper reading class at UCLA identified a serious missed opportunity in our MuCache paper:

Text from student paper review writing: "Could have named it MuStash instead of MuCache"

0100

Reposted by Konstantinos Kallas

Mae Milano @mpmilano.bsky.social · 20/01/2025

Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!

03113

Konstantinos Kallas @konstantinoskallas.bsky.social · 20/01/2025

Consider following the ✨new✨ and official PLDI account on Bluesky @sigplan-pldi.bsky.social

bsky.app

010

Reposted by Konstantinos Kallas

Loris D'Antoni @lorisdanto.bsky.social · 20/12/2024

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts! socalpls.github.io @ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social Reposts appreciated!

socalpls.github.io

Home · SoCal PLS

22411

Konstantinos Kallas @konstantinoskallas.bsky.social · 12/12/2024

Our recent paper on an overload control system for μservice applications called Rajomon was accepted for NSDI 25 🎉 This paper was led by Jiali (@jia-li.bsky.social), who persisted and saw it through many resubmissions! The work started from an idea from 2021! See thread for more: ⬇️

261

Reposted by Konstantinos Kallas

Rachit Nigam @notypes.bsky.social · 03/12/2024

If you (or someone you know) is a PhD student in PL and planning to come to PLDI this year, please reach out! I'm looking for a Social Chair who'll help organize event during the conference. Apart from being tremendous fun, the position is extremely visible and useful for late stage students

069

Reposted by Konstantinos Kallas

afd-icl.bsky.social @afd-icl.bsky.social · 26/11/2024

We are hiring! The Dept of Computing at Imperial are looking to appoint *six* new faculty members. Focus areas: - AI+ML - Computer Graphics +Computer Vision - Quantum Computing + Quantum Information - Software Engineering Please spread the word! www.imperial.ac.uk/jobs/search-...

imperial.ac.uk

Description

Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...

063

Konstantinos Kallas @konstantinoskallas.bsky.social · 22/11/2024

Attention🚨 We are looking for motivated students and researchers to be members of the PLDI 2025 Artifact Evaluation Committee. This year, we are accepting self-nominations (the form is here: forms.gle/2TPmixasDmqM...). Deadline: Dec 23rd, 2024. For more info: pldi25.sigplan.org/track/pldi-2...

forms.gle

PLDI 2025 Artifact Evaluation Committee Self Nomination

This form allows any member of the community to nominate *yourself* to be part of the Artifact Evaluation Committee for PLDI 2025. While we cannot select all qualified candidates, we will do our best ...

33021