ICSE 2026 (series) / SRC - ACM Student Research Competition /
AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
Tue 14 Apr 2026 09:00 - 09:06 at Catering and Exhibition Hall (Europa I to IV) - ACM Student Research Posters and Judging Session 1 Chair(s): Iftekhar Ahmed, Wesley K.G. Assunção
Tue 14 Apr 2026 11:18 - 11:24 at Catering and Exhibition Hall (Europa I to IV) - ACM Student Research Posters and Judging Session 2 Chair(s): Iftekhar Ahmed, Wesley K.G. Assunção
Tue 14 Apr 2026 11:18 - 11:24 at Catering and Exhibition Hall (Europa I to IV) - ACM Student Research Posters and Judging Session 2 Chair(s): Iftekhar Ahmed, Wesley K.G. Assunção
Legacy JavaScript systems lack type safety, making maintenance risky. While TypeScript can help, manually adding types is expensive. Previous automated typing research focuses on type inference but rarely addresses type checking setup, definition generation, bug identification, or behavioral correctness at repository scale. We present AgenticTyper, a Large Language Model (LLM)-based agentic system that addresses these gaps through iterative error correction and behavior preservation via transpilation comparison. Evaluation on two proprietary repositories (81K LOC) shows that AgenticTyper resolves all 633 initial type errors in 20 minutes, reducing manual effort from one working day.
| Thesis Defense Slides (Defense.pptx) | 8.0MiB |
| Poster (poster.pdf) | 431KiB |
Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
09:00 - 10:30 | ACM Student Research Posters and Judging Session 1SRC - ACM Student Research Competition at Catering and Exhibition Hall (Europa I to IV) Chair(s): Iftekhar Ahmed University of California at Irvine, Wesley K.G. Assunção North Carolina State University First Judging Session for ACM SRC, where undergraduate and graduate students can present their original research, exchange ideas, and improve their communication skills while competing for prizes at ICSE 2026 | ||
09:00 6mTalk | AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI SRC - ACM Student Research Competition Clemens Pohle Darmstadt University of Applied Sciences Pre-print Media Attached File Attached | ||
09:06 6mTalk | ARISE: Real-Time Multi-Modal AI for Senior Wellness on Edge Devices SRC - ACM Student Research Competition | ||
09:12 6mTalk | Behavior-Driven Development Meets LLMs: Do We Need Them, and Do They Work? SRC - ACM Student Research Competition Xinyu Shi University of Alberta | ||
09:18 6mTalk | Bug Relevant Test Generation for Better Fault Localization SRC - ACM Student Research Competition Ashrit University of Alberta | ||
09:24 6mTalk | Early Forecasting of Developer Inactivity in Open Source Projects SRC - ACM Student Research Competition Samuel Walter Utzinger Northern Arizona University | ||
09:30 6mTalk | Engineering MLOps for Adversarial Edge Networks in Agricultural Deployments SRC - ACM Student Research Competition Vasu Jindal Columbia University | ||
09:36 6mTalk | Evaluating LLMs Code Reasoning Under Real-World Context SRC - ACM Student Research Competition Changshu Liu University of Illinois at Urbana-Champaign | ||
09:42 6mTalk | FastMCC: Multiple-hypotheses Code Completion with Natural Language Phrases as Alternative Suggestions SRC - ACM Student Research Competition Zhensu Sun Singapore Management University | ||
09:48 6mTalk | Hierarchical Metamorphic Test Oracles for Agent Evaluation SRC - ACM Student Research Competition Demetrius Hernandez University of Notre Dame | ||
09:54 6mTalk | Investigating How Governance Shapes the Health of Open Source Software Projects SRC - ACM Student Research Competition Pedro Oliveira RESHAPE LAB, Northern Arizona University, USA | ||
10:00 6mTalk | PAGENT: Learning to Patch Software Engineering Issue Fixing Agents SRC - ACM Student Research Competition | ||
10:06 6mTalk | Power Relationships Effects on Social Sustainability Goals in Software Ecosystems SRC - ACM Student Research Competition Juliana Outão UNIRIO - Universidade Federal do Estado do Rio de Janeiro | ||
10:12 6mTalk | Teaching Requirements Engineers for AI Systems: An Applied Pedagogical Approach SRC - ACM Student Research Competition Bruna Lucas dos Santos Federal University of Amazonas | ||
10:18 6mTalk | Test Smell Refactoring with Agentic LLMs: An Empirical Study of Gemini-2.5-Pro SRC - ACM Student Research Competition Rian Ismael Elias de Melo Federal University of Campina Grande | ||
10:24 6mTalk | T-Wise Sample Comparison with Binary Decision Diagrams SRC - ACM Student Research Competition Aaron Molt TU Braunschweig and Ulm University | ||
11:00 - 12:30 | ACM Student Research Posters and Judging Session 2SRC - ACM Student Research Competition at Catering and Exhibition Hall (Europa I to IV) Chair(s): Iftekhar Ahmed University of California at Irvine, Wesley K.G. Assunção North Carolina State University Second Judging Session for ACM SRC, where undergraduate and graduate students can present their original research, exchange ideas, and improve their communication skills while competing for prizes at ICSE 2026 | ||
11:00 6mTalk | Teaching Requirements Engineers for AI Systems: An Applied Pedagogical Approach SRC - ACM Student Research Competition Bruna Lucas dos Santos Federal University of Amazonas | ||
11:06 6mTalk | Early Forecasting of Developer Inactivity in Open Source Projects SRC - ACM Student Research Competition Samuel Walter Utzinger Northern Arizona University | ||
11:12 6mTalk | Evaluating LLMs Code Reasoning Under Real-World Context SRC - ACM Student Research Competition Changshu Liu University of Illinois at Urbana-Champaign | ||
11:18 6mTalk | AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI SRC - ACM Student Research Competition Clemens Pohle Darmstadt University of Applied Sciences Pre-print Media Attached File Attached | ||
11:24 6mTalk | Engineering MLOps for Adversarial Edge Networks in Agricultural Deployments SRC - ACM Student Research Competition Vasu Jindal Columbia University | ||
11:30 6mTalk | Bug Relevant Test Generation for Better Fault Localization SRC - ACM Student Research Competition Ashrit University of Alberta | ||
11:36 6mTalk | PAGENT: Learning to Patch Software Engineering Issue Fixing Agents SRC - ACM Student Research Competition | ||
11:42 6mTalk | Power Relationships Effects on Social Sustainability Goals in Software Ecosystems SRC - ACM Student Research Competition Juliana Outão UNIRIO - Universidade Federal do Estado do Rio de Janeiro | ||
11:48 6mTalk | Behavior-Driven Development Meets LLMs: Do We Need Them, and Do They Work? SRC - ACM Student Research Competition Xinyu Shi University of Alberta | ||
11:54 6mTalk | Test Smell Refactoring with Agentic LLMs: An Empirical Study of Gemini-2.5-Pro SRC - ACM Student Research Competition Rian Ismael Elias de Melo Federal University of Campina Grande | ||
12:00 6mTalk | FastMCC: Multiple-hypotheses Code Completion with Natural Language Phrases as Alternative Suggestions SRC - ACM Student Research Competition Zhensu Sun Singapore Management University | ||
12:06 6mTalk | Investigating How Governance Shapes the Health of Open Source Software Projects SRC - ACM Student Research Competition Pedro Oliveira RESHAPE LAB, Northern Arizona University, USA | ||
12:12 6mTalk | T-Wise Sample Comparison with Binary Decision Diagrams SRC - ACM Student Research Competition Aaron Molt TU Braunschweig and Ulm University | ||
12:18 6mTalk | Hierarchical Metamorphic Test Oracles for Agent Evaluation SRC - ACM Student Research Competition Demetrius Hernandez University of Notre Dame | ||
12:24 6mTalk | ARISE: Real-Time Multi-Modal AI for Senior Wellness on Edge Devices SRC - ACM Student Research Competition | ||