Martin Hirzel

IBM (United States) — United States

Computer Science · Physical Sciences

29h-index4.8kcitations165works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Database Systems and Queries(46), Parallel Computing and Optimization Techniques(39), Software Engineering Research(30), Logic, programming, and type systems(25), Distributed systems and fault tolerance(22)

Publications165 total

Investigating Test Overfitting on SWE-bench
ArXiv.org·2025Open Access
When Old Meets New: Evaluating the Impact of Regression Tests on SWE Issue Resolution
arXiv (Cornell University)·2025Open Access
Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
arXiv (Cornell University)·2025Open Access
Representing Prompting Patterns with PDL: Compliance Agent Case Study
arXiv (Cornell University)·2025Open Access
Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
2025
Otter: Generating Tests from Issues to Validate SWE Patches
arXiv (Cornell University)·2025Open Access
TDD-Bench Verified: Can LLMs Generate Tests for Issues Before They Get Resolved?
arXiv (Cornell University)·2024Open Access
Transforming the Hybrid Cloud for Emerging AI Workloads
arXiv (Cornell University)·2024· 2 citedOpen Access
PDL: A Declarative Prompt Programming Language
arXiv (Cornell University)·2024· 2 citedOpen Access
PoTo: A Hybrid Andersen's Points-to Analysis for Python
arXiv (Cornell University)·2024Open Access
AI for Low-Code for AI
2024· 9 citedOpen Access
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
Software Practice and Experience·2023Open Access
Cross-lingual Transfer in Programming Languages: An Extensive Empirical Study
arXiv (Cornell University)·2023Open Access
Low-Code Programming Models
Communications of the ACM·2023· 36 citedOpen Access
A Suite of Fairness Datasets for Tabular Classification
arXiv (Cornell University)·2023Open Access
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions (Extended Version)
arXiv (Cornell University)·2023Open Access
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions
Proceedings of the VLDB Endowment·2023· 5 cited
AI for Low-Code for AI
arXiv (Cornell University)·2023· 3 citedOpen Access
Navigating Ensemble Configurations for Algorithmic Fairness
arXiv (Cornell University)·2022· 1 citedOpen Access
Extracting enhanced artificial intelligence model metadata from software repositories
Empirical Software Engineering·2022· 10 citedOpen Access
page 1 of 9Next →

Frequent Co-authors

Amer Diwan(10), Scott Schneider(10), Kathryn S. McKinley(9), Buğra Gedik(9), Robert Grimm(8), Kun‐Lung Wu(6), Robert Soulé(5), Stephen M. Blackburn(4), Daniel Frampton(4), Antony L. Hosking(4), Daniel von Dincklage(4), Ben Wiedermann(4), Kanat Tangwongsan(4), Byeongcheol Lee(4), Robin Garner(3), Chris Hoffmann(3), Rotem Bentzur(3), Daniel Feinberg(3), Samuel Z. Guyer(3), Maria Jump(3)