Registered user since Wed 15 Mar 2017
Name:Martin Monperrus
Country:Sweden
Affiliation:KTH Royal Institute of Technology
Personal website: http://www.monperrus.net/martin/
Contributions
2024
ICSE
- Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
- With Great Humor Comes Great Developer Engagement
- GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
- MUFIN: Improving Neural Repair Models with Back-Translation
- Augmenting Diffs With Runtime Information
- ITER: Iterative Neural Repair for Multi-Location Patches
- Hyperparameter Optimization for AST Differencing
Mining Software Repositories
ICSE 2024-profile
View general profile
View general profile