51 citations · 65 across the 9 of their papers we have counts for
11 papers
Textual Gradients are a Flawed Metaphor for Automatic Prompt Optimization
Daniel Melcer, Qi Chen, Wen-Hao Chiang +3
A well-engineered prompt can increase the performance of large language models; automatic prompt optimization techniques aim to increase performance without requiring human effort…
Structural Code Search using Natural Language Queries
Ben Limpanukorn, Yanjun Wang, Zach Patterson +5
Searching code is a common task that developers perform to understand APIs, learn common code patterns, and navigate code. Currently, developers most commonly search using keywords…
UTFix: Change Aware Unit Test Repairing using LLM
Shanto Rahman, Sachit Kuhar, Berk Cirisci +5
Software updates, including bug repair and feature additions, are frequent in modern applications but they often leave test suites outdated, resulting in undetected bugs and increa…
Approximately Aligned Decoding
Daniel Melcer, Sujan Gonugondla, Pramuditha Perera +7
It is common to reject undesired outputs of Large Language Models (LLMs); however, current methods to do so require an excessive amount of computation to re-sample after a rejectio…
Non-trivial squares and Sidorenko's conjecture
Pranav Garg, Annie Raymond, Amanda Redlich
Let be the homomorphism density of a graph into a graph . Sidorenko's conjecture states that for any bipartite graph , for all gra…
Example-based Synthesis of Static Analysis Rules
Pranav Garg, Srinivasan Sengamedu SHS
Static Analysis tools have rules for several code quality issues and these rules are created by experts manually. In this paper, we address the problem of automatic synthesis of co…