Registered user since Fri 27 Jul 2018
Name:Matthías Páll Gissurarson
Bio:
Matthías Páll Gissurarson is a PhD student at Chalmers University of Technology. His interests include functional programming, typed-holes, program synthesis, compilers, security, and repair.
Country:Sweden
Affiliation:Chalmers University of Technology, Sweden
Personal website:https://mpg.is
Twitter:https://twitter.com/Tritlo
GitHub:https://github.com/Tritlo
Research interests:Functional Programming, Typed-Holes, Program Synthesis, Security, and Repair
Contributions
| ICSE 2022 | PropR: Property-Based Automatic Program Repair | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2022-profile
View general profile
View general profile