46 citations · 104 across the 35 of their papers we have counts for
4 papers · 1 filter
TDD-Bench Verified: Can LLMs Generate Tests for Issues Before They Get Resolved?
Toufique Ahmed, Martin Hirzel, Rangeet Pan +2
Test-driven development (TDD) is the practice of writing tests first and coding later, and the proponents of TDD expound its numerous benefits. For instance, given an issue on a so…
Transforming the Hybrid Cloud for Emerging AI Workloads
Deming Chen, Alaa Youssef, Ruchi Pendse +42
This white paper, developed through close collaboration between IBM Research and UIUC researchers within the IIDAI Institute, envisions transforming hybrid cloud systems to meet th…
PDL: A Declarative Prompt Programming Language
Mandana Vaziri, Louis Mandel, Claudio Spiess +1
Large language models (LLMs) have taken the world by storm by making many previously difficult uses of AI feasible. LLMs are controlled via highly expressive textual prompts and re…
PoTo: A Hybrid Andersen's Points-to Analysis for Python
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart +2
As Python is increasingly being adopted for large and complex programs, the importance of static analysis for Python (such as type inference) grows. Unfortunately, static analysis…