Workshop paperSimulating Iterative Human-AI Interaction in Programming with LLMsHussein Mozannar, Valerie Chen, et al.NeurIPS 2023
WorkshopAuto-Mates: The Future of No-Code Digital ApprenticesSegev Shlomov, Avi Yaeli, et al.IJCAI 2023
Conference paperHandling environments in a nested relational algebra with combinators and an implementation in a verified query compilerJoshua S. Auerbach, Martin Hirzel, et al.SIGMOD 2017
Conference paperA Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven InputsMyeongsoo Kim, Tyler Stennett, et al.ICSE 2025