AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Matthías Páll Gissurarson

Matthías Páll Gissurarson

Chalmers University of Technology - Göteborg / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 5152336
Chalmers tekniska högskola
person_outline Matthías Páll Gissurarson's MOST POPULAR ARTICLES
1-) PropR: Property-Based Automatic Program Repair 44th International Conference on Software Engineering (ICSE 2022), 2022
2-) Suggesting Valid Hole Fits for Typed-Holes (Experience Report) ACM SIGPLAN International Symposium on Haskell 11, 179-185, 2018
3-) Suggesting Valid Hole Fits for Typed-Holes in Haskell Chalmers University of Technology, 2018
4-) CSI: Haskell-Tracing Lazy Evaluations in a Functional Language Proceedings of the 35th Symposium on Implementation and Application of …, 2023
5-) Spectacular: Finding Laws from 25 Trillion Terms 16th IEEE International Conference on Software Testing, Verification and …, 2023