Investigating Test Overfitting on SWE-bench
- Toufique Ahmed
- Jatin Ganhotra
- et al.
- 2026
- FSE 2026
Short paper
Publications
36 results for Avi Shinnar
Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
- Toufique Ahmed
- Jatin Ganhotra
- et al.
- 2026
- ICSE 2026
Conference paperGenerating OpenAPI Specifications from Online API Documentation with Large Language Models
- Koren Lazar
- Matan Vetzler
- et al.
- 2025
- ACL 2025
Conference paperOtter: Generating Tests from Issues to Validate SWE Patches
- Toufique Ahmed
- Jatin Ganhotra
- et al.
- 2025
- ICML 2025
Conference paperTowards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Workshop paperTranslating Canonical SQL to Imperative Code in Coq
- Véronique Benzaken
- Eveleyne Contejean
- et al.
- 2022
- SPLASH 2022
Conference paperExtracting enhanced artificial intelligence model metadata from software repositories
- Jason Tsay
- Alan Braz
- et al.
- 2022
- Empirical Software Engineering
PaperGradual AutoML using Lale
- Martin Hirzel
- Kiran Kate
- et al.
- 2022
- KDD 2022
TutorialFormalization of a Stochastic Approximation Theorem
- Koundinya Vajjha
- Barry Trager
- et al.
- 2022
- ITP 2022
Conference paperAn Empirical Study of Modular Bias Mitigators and Ensembles
- Michael Feffer
- Martin Hirzel
- et al.
- 2022
- ICML 2022
Workshop paper