11 citations · 24 across the 11 of their papers we have counts for
11 papers
PopPy: Opportunistically Exploiting Parallelism in Python Agentic Workflows
Stephen Mell, David Mell, Konstantinos Kallas +4
Agentic workflows, which compose calls to ML models using a general-purpose programming language like Python, are widely used for a variety of user-facing tasks, from software engi…
An AI Agent Execution Environment to Safeguard User Data
Robert Stanley, Robert Sorab Stanley, Avi Verma +3
AI agents promise to serve as general-purpose personal assistants for their users, which requires them to have access to private user data (e.g., personal and financial information…
Caruca: Effective and Efficient Specification Mining for Opaque Software Components
Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya +4
A wealth of state-of-the-art systems demonstrate impressive improvements in performance, security, and reliability on programs composed of opaque components, such as Unix shell com…
NaSh: Guardrails for an LLM-Powered Natural Language Shell
Bimal Raj Gyawali, Saikrishna Achalla, Konstantinos Kallas +1
We explore how a shell that uses an LLM to accept natural language input might be designed differently from the shells of today. As LLMs may produce unintended or unexplainable out…
Opportunistically Parallel Lambda Calculus
Stephen Mell, Konstantinos Kallas, Steve Zdancewic +1
Scripting languages are widely used to compose external calls such as native libraries and network services. In such scripts, execution time is often dominated by waiting for these…
Report on the "The Future of the Shell" Panel at HotOS 2021
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis +1
This document summarizes the challenges and possible research directions around the shell and its ecosystem, collected during and after the HotOS21 Panel on the future of the shell…
Stream Processing With Dependency-Guided Synchronization (Extended Version)
Konstantinos Kallas, Filip Niksic, Caleb Stanford +1
Real-time data processing applications with low latency requirements have led to the increasing popularity of stream processing systems. While such systems offer convenient APIs th…
Serverless Workflows with Durable Functions and Netherite
Sebastian Burckhardt, Chris Gillum, David Justo +3
Serverless is an increasingly popular choice for service architects because it can provide elasticity and load-based billing with minimal developer effort. A common and important u…
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis +4
Third-party libraries ease the development of large-scale software systems. However, they often execute with significantly more privilege than needed to complete their task. This a…
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis +1
We present a dataflow model for modelling parallel Unix shell pipelines. To accurately capture the semantics of complex Unix pipelines, the dataflow model is order-aware, i.e., the…
PaSh: Light-touch Data-Parallel Shell Processing
Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras +2
This paper presents {\scshape PaSh}, a system for parallelizing POSIX shell scripts. Given a script, {\scshape PaSh} converts it to a dataflow graph, performs a series of semantics…