Jurriaan Hage

2021

Welcome from the Chair

Hage, J., 18 Aug 2021, 26th ACM SIGPLAN International Conference on Functional Programming: ICFP '21. Association for Computing Machinery, p. III 1 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2020

Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning

Burgers, J., Hage, J. & Serrano, A., 2 Sept 2020, IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. Chitil, O. (ed.). Association for Computing Machinery, p. 33-43 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Higher-Ranked Annotation Polymorphic Dependency Analysis

Thorand, F. & Hage, J., 18 Apr 2020, Programming Languages and Systems. ESOP 2020. Müller, P. (ed.). Springer, p. 656-683 28 p. (Lecture Notes in Computer Science; vol. 12075).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

43 Downloads (Pure)

Preface

Hage, J., 2020, Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education. Open Publishing Association, p. 1 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 321).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2018

Fine-Grained Model Slicing for Rebel

Eilers, R., Hage, J., Prasetya, W. & Bosman, J., 12 Nov 2018, 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018). IEEE, p. 235-244 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Guarded impredicative polymorphism

Serrano, A., Hage, J., Vytiniotis, D. & Peyton Jones, S., 11 Jun 2018, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation: PLDI 2018. Association for Computing Machinery, p. 783-796 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Guarded impredicative polymorphism

Serrano, A., Hage, J., Peyton Jones, S. & Vytiniotis, D., 11 Jun 2018, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation: PLDI 2018. Association for Computing Machinery, p. 783–796 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

How good is your puppet? An empirically defined and validated quality model for puppet

Van der Bent, E., Hage, J., Visser, J. & Gousios, G., 5 Apr 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2018). IEEE, p. 164-174 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

40 Citations (Scopus)

Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM

Elyasov, A., Prasetya, I. S. W. B. & Hage, J., 19 Nov 2018, 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018). IEEE, p. 88-99 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

10 Citations (Scopus)

2017

A quantitative comparison of program plagiarism detection tools

Heres, D. & Hage, J., 14 Nov 2017, Proceedings of the 6th Computer Science Education Research Conference: CSERC '17. Association for Computing Machinery, p. 73-82 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

14 Citations (Scopus)

Cost versus precision for approximate typing for Python

Fritz, L. & Hage, J., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PEPM 2017. Association for Computing Machinery, p. 89-98 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

11 Citations (Scopus)

Lightweight soundness for towers of language extensions

Serrano, A. & Hage, J., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PEPM 2017. Association for Computing Machinery, p. 23-34 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Predicting resource consumption of higher-order workflows

Klinik, M., Hage, J., Jansen, J. M. & Plasmeijer, R., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PEPM 2017. Association for Computing Machinery, p. 99-110 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Refining types using type guards in TypeScript

de Wolff, I. G. & Hage, J., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PEPM 2017. Association for Computing Machinery, p. 111-122 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Type Error Customization in GHC: Controlling expression-level type errors by type-level programming

Serrano, A. & Hage, J., 30 Aug 2017, Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages: IFL 2017. Association for Computing Machinery, 2

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

2016

Architectural Pattern Definition for Semantically Rich Modular Architectures

Peters, J., van der Werf, J. M. .. E. M. & Hage, J., 21 Jul 2016, 13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016). IEEE, p. 256-261 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Exploiting annotations to test break-off branches

Prasetya, I. S. W. B., Hage, J. & Elyasov, A., 12 May 2016, 2015 Asia-Pacific Software Engineering Conference (APSEC). IEEE, p. 80-87 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Generic Matching of Tree Regular Expressions over Haskell Data Types

Serrano, A. & Hage, J., 9 Jan 2016, Practical Aspects of Declarative Languages. PADL 2016. Springer, p. 83-98 16 p. (Lecture Notes in Computer Science; vol. 9585).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Preface

Serrano, M. & Hage, J., 2016, Trends in Functional Programming. TFP 2015. Springer, p. V (Lecture Notes in Computer Science; vol. 9547).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Type Directives and Type Graphs in Elm

Peijnenburg, F., Hage, J. & Serrano, A., Aug 2016, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages: IFL 2016. Association for Computing Machinery, 2

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules

Serrano, A. & Hage, J., 22 Mar 2016, Programming Languages and Systems. ESOP 2016. Springer, p. 672-698 27 p. (Lecture Notes in Computer Science; vol. 9632).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

20 Citations (Scopus)

2015

AB=ᗺA: execution equivalence as a new type of testing oracle

Elyasov, A. B., Prasetya, W., Hage, J., Rueda, U., Vos, T. E. J. & Condori-Fernandez, N., 13 Apr 2015, Proceedings of the 30th Annual ACM Symposium on Applied Computing: SAC '15. Association for Computing Machinery, p. 1559-1566 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

A Quantitative Comparison of Semantic Web Page Segmentation Approaches

Kreuzer, R., Hage, J. & Feelders, A., 10 Jun 2015, Engineering the Web in the Big Data Era. ICWE 2015. Springer, p. 374-391 18 p. (Lecture Notes in Computer Science; vol. 9114).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

A Search-Based Approach to Multi-view Clustering of Software Systems

Saeidi, A. M., Hage, J., Khadka, R. & Jansen, S., 9 Apr 2015, 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015). IEEE, 7081853

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

17 Citations (Scopus)

Does Software Modernization Deliver What It Aimed for? A Post Modernization Analysis of Five Software Modernization Case Studies

Khadka, R., Shrestra, P., Klein, B., Saeidi, A., Hage, J., Jansen, S., Dis, E. V. & Bruntink, M., 23 Nov 2015, 2015 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, p. 477-486 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

20 Citations (Scopus)

ITMViz: Interactive Topic Modeling for Source Code Analysis

Saeidi, A. M., Hage, J., Khadka, R. & Jansen, S., 7 Sept 2015, 23rd IEEE International Conference on Program Comprehension 2015. IEEE, 7181462

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

16 Citations (Scopus)

Object-sensitive Type Analysis of PHP

van der Hoek, H. E. & Hage, J., 13 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation: PEPM '15. Association for Computing Machinery, p. 9-20 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement

Verstoep, H. & Hage, J., 13 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation: PEPM '15. Association for Computing Machinery, p. 139-142 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Preface

Hage, J. & McCarthy, J., 2015, Trends in Functional Programming. TFP 2014. Springer, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 8843).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Stable Voronoi-based Visualizations for Software Quality Monitoring

van Hees, R. & Hage, J., 23 Nov 2015, 3rd IEEE Working Conference on Software Visualization (VISSOFT 2015). IEEE, p. 6-15 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Citations (SciVal)

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics

Koot, R. & Hage, J., 13 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation: PEPM '15. Association for Computing Machinery, p. 127-138 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

14 Citations (Scopus)

Type Families with Class, Type Classes with Family

Serrano, A., Hage, J. & Bahr, P., 30 Aug 2015, Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell: Haskell '15. Association for Computing Machinery, p. 129-140 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2014

Foreword

Chin, W.-N. & Hage, J., 2014, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: POPL '14. Association for Computing Machinery, p. iii 1 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

How do professionals perceive legacy systems and software modernization?

Khadka, R., Batlajery, B. V., Saeidi, A. M., Jansen, S. & Hage, J., May 2014, Proceedings of the 36th International Conference on Software Engineering: ICSE 2014. Association for Computing Machinery, p. 36–47 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Logging to Facilitate Combinatorial System Testing

Kruse, P. M., Prasetya, I. S. W. B., Hage, J. & Elyasov, A., 2014, Future Internet Testing. FITTEST 2013. Vos, T. E. J., Lakhotia, K. & Bauersfeld, S. (eds.). Springer, p. 48-58 11 p. (Lecture Notes in Computer Science; vol. 8432).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Reduce First, Debug Later

Elyasov, A., Prasetya, W., Hage, J. & Nikas, A., 31 May 2014, Proceedings of the 9th International Workshop on Automation of Software Test: AST 2014. Association for Computing Machinery, p. 57-63 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

2013

A structured legacy to SOA migration process and its evaluation in practice

Khadka, R., Saeidi, A. M., Jansen, S. & Hage, J., 17 Oct 2013, 7th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems 2013. IEEE, p. 2-11 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

30 Citations (Scopus)

Compact Traceable Logging

Prasetya, I. S. W. B., Sturala, A., Middelkoop, A., Hage, J. & Elyasov, A. B., 2013, VALID 2013: The Fifth International Conference on Advances in System Testing and Validation Lifecycle. VanRooyen, J. (ed.). IARIA, p. 66-76 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Detecting Cross-language Dependencies Generically

Polychniatis, T., Hage, J., Jansen, S., Bouwers, E. & Visser, J., 15 Apr 2013, 17th European Conference on Software Maintenance and Reengineering 2013. IEEE, 6498486

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Gelato: GEneric language tools for model-driven analysis of legacy software systems

Saeidi, A., Hage, J., Khadka, R. & Jansen, S., 21 Nov 2013, 20th Working Conference on Reverse Engineering (WCRE 2013). IEEE, p. 481-482 2 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Guided Algebraic Specification Mining for Failure Simplification

Elyasov, A., Prasetya, I. S. W. B. & Hage, J., 2013, Testing Software and Systems. ICTSS 2013. Springer, p. 223-238 16 p. (Lecture Notes in Computer Science; vol. 8254).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Migrating a large scale legacy application to SOA: Challenges and lessons learned

Khadka, R., Saeidi, A. M., Jansen, S., Hage, J. & Haas, G. P., 21 Nov 2013, 20th Working Conference on Reverse Engineering (WCRE 2013). IEEE, p. 425-432 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

25 Citations (Scopus)

Plagiarism Detection for Haskell with Holmes

Hage, J., Vermeer, B. & Verburg, G., 4 Apr 2013, Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research: CSERC '13. Open Universiteit, Heerlen, p. 19-30 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Weijers, J., Hage, J. & Holdermans, S., 21 Jan 2013, Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation: PEPM '13. Association for Computing Machinery, p. 3-12 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Citations (Scopus)

2011

A Comparative Study of Code Query Technologies

Alves, T. L., Hage, J. & Rademaker, P., 3 Nov 2011, 11th IEEE International Working Conference on Source Code Analysis and Manipulation 2011. IEEE, p. 145-154 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Citations (Scopus)

A method engineering based legacy to SOA migration method

Khadka, R., Reijnders, G., Saeidi, A., Jansen, S. & Hage, J., 18 Nov 2011, 27th IEEE International Conference on Software Maintenance (ICSM 2011). IEEE, p. 163-172 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

37 Citations (Scopus)

An Evaluation of Service Frameworks for the Management of Service Ecosystems

Khadka, R., Saeidi, A. M., Jansen, S., Hage, J. & Helms, R., 9 Jul 2011, PACIS 2011 Proceedings. Queensland University of Technology, 93

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2010

Corrective Hints for Type Incorrect Generic Java Programs

El Boustani, N. & Hage, J., 18 Jan 2010, Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation: PEPM '10. Association for Computing Machinery, p. 5-14 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

Making "Stricterness'' More Relevant

Holdermans, S. & Hage, J., 18 Jan 2010, Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation: PEPM '10. Association for Computing Machinery, p. 121-130 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation

Holdermans, S. & Hage, J., 28 Mar 2010, Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications: LDTA '10. Association for Computing Machinery, 2

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Jurriaan Hage

Research output

Search results