Jurriaan Hage

According to our database, Jurriaan Hage authored at least 82 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

A quick look at impredicativity.

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis

Proc. ACM Program. Lang., 2020

Solved and Open Problems in Type Error Diagnosis.

Jurriaan Hage

Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

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

Joris Burgers, Jurriaan Hage, Alejandro Serrano

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Higher-Ranked Annotation Polymorphic Dependency Analysis.

Fabian Thorand, Jurriaan Hage

Proceedings of the Programming Languages and Systems, 2020

2019

Applications of Multi-view Learning Approaches for Software Comprehension.

Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Art Sci. Eng. Program., 2019

A compiler architecture for domain-specific type error diagnosis.

Alejandro Serrano, Jurriaan Hage

Open Comput. Sci., 2019

A framework for improving error messages in dependently-typed languages.

Joseph Eremondi, Wouter Swierstra, Jurriaan Hage

Open Comput. Sci., 2019

2018

On the Effect of Semantically Enriched Context Models on Software Modularization.

Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Art Sci. Eng. Program., 2018

The hunt for the guzzler: Architecture-based energy profiling using stubs.

Erik Jagroep, Arjan van der Ent, Jan Martijn E. M. van der Werf, Jurriaan Hage, Leen Blom, Rob van Vliet, Sjaak Brinkkemper

Inf. Softw. Technol., 2018

Special issue on Trends in Functional Programming 2013/14.

Jurriaan Hage, Jay McCarthy

Comput. Lang. Syst. Struct., 2018

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

Eduard van der Bent, Jurriaan Hage, Joost Visser, Georgios Gousios

Proceedings of the 25th International Conference on Software Analysis, 2018

[Research Paper] Fine-Grained Model Slicing for Rebel.

Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Guarded impredicative polymorphism.

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

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

Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems.

Amir M. Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

2017

Constraint handling rules with binders, patterns and generic quantification.

Alejandro Serrano, Jurriaan Hage

Theory Pract. Log. Program., 2017

Stable and predictable Voronoi treemaps for software quality monitoring.

Rinse van Hees, Jurriaan Hage

Inf. Softw. Technol., 2017

Refining types using type guards in TypeScript.

Ivo Gabe de Wolff, Jurriaan Hage

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Lightweight soundness for towers of language extensions.

Alejandro Serrano, Jurriaan Hage

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Predicting resource consumption of higher-order workflows.

Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Cost versus precision for approximate typing for Python.

Levin Fritz, Jurriaan Hage

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

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

Alejandro Serrano, Jurriaan Hage

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Architectural Pattern Definition for Semantically Rich Modular Architectures.

Joeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Generic Matching of Tree Regular Expressions over Haskell Data Types.

Alejandro Serrano, Jurriaan Hage

Proceedings of the Practical Aspects of Declarative Languages, 2016

Type Directives and Type Graphs in Elm.

Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

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

Alejandro Serrano, Jurriaan Hage

Proceedings of the Programming Languages and Systems, 2016

2015

Selected and extended papers from Partial Evaluation and Program Manipulation 2014.

Wei-Ngan Chin, Jurriaan Hage

Sci. Comput. Program., 2015

A search-based approach to multi-view clustering of software systems.

Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Stable Voronoi-based visualizations for software quality monitoring.

Rinse van Hees, Jurriaan Hage

Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015

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

Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

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

Hidde Verstoep, Jurriaan Hage

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

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

Ruud Koot, Jurriaan Hage

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Object-sensitive Type Analysis of PHP.

Henk Erik Van der Hoek, Jurriaan Hage

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

ITMViz: interactive topic modeling for source code analysis.

Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

A Quantitative Comparison of Semantic Web Page Segmentation Approaches.

Robert Kreuzer, Jurriaan Hage, Ad Feelders

Proceedings of the Engineering the Web in the Big Data Era - 15th International Conference, 2015

Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studies.

Ravi Khadka, Prajan Shrestha, Bart Klein, Amir Saeidi, Jurriaan Hage, Slinger Jansen, Edwin van Dis, Magiel Bruntink

Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

Type families with class, type classes with family.

Alejandro Serrano, Jurriaan Hage, Patrick Bahr

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Exploiting Annotations to Test Break-off Branches.

I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Security type error diagnosis for higher-order, polymorphic languages.

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans

Sci. Comput. Program., 2014

How do professionals perceive legacy systems and software modernization?

Ravi Khadka, Belfrit V. Batlajery, Amir Saeidi, Slinger Jansen, Jurriaan Hage

Proceedings of the 36th International Conference on Software Engineering, 2014

Reduce first, debug later.

Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

2013

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

Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

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

Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Geer P. Haas

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Logging to Facilitate Combinatorial System Testing.

Peter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov

Proceedings of the Future Internet Testing - First International Workshop, 2013

Guided Algebraic Specification Mining for Failure Simplification.

Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage

Proceedings of the Testing Software and Systems, 2013

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

Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage

Proceedings of the 7th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2013

Detecting Cross-Language Dependencies Generically.

Theodoros Polychniatis, Jurriaan Hage, Slinger Jansen, Eric Bouwers, Joost Visser

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Research paper: Plagiarism Detection for Haskell with Holmes.

Jurriaan Hage, Brian Vermeer, Gerben Verburg

Proceedings of the 3rd Computer Science Education Research Conference, 2013

Legacy to SOA Evolution.

Ravi Khadka, Amir Saeidi, Andrei Idu, Jurriaan Hage, Slinger Jansen

Proceedings of the Migrating Legacy Applications, 2013

2012

On switching classes, NLC-width, cliquewidth and treewidth.

Hans L. Bodlaender, Jurriaan Hage

Theor. Comput. Sci., 2012

Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series.

Jurriaan Hage

J. Funct. Program., 2012

Subgroup Switching of Skew Gain Graphs.

Jurriaan Hage

Fundam. Informaticae, 2012

2011

Improving type error messages for generic Java.

Nabil El Boustani, Jurriaan Hage

High. Order Symb. Comput., 2011

<i>Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages</i>, by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456.

Jurriaan Hage

J. Funct. Program., 2011

A Comparative Study of Code Query Technologies.

Tiago L. Alves, Jurriaan Hage, Peter Rademaker

Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

An Evaluation Of Service Frameworks For The Management Of Service Ecosystems.

Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Remko Helms

Proceedings of the Pacific Asia Conference on Information Systems, 2011

A method engineering based legacy to SOA migration method.

Ravi Khadka, Gijs Reijnders, Amir Saeidi, Slinger Jansen, Jurriaan Hage

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Plagiarism detection for Java: a tool comparison.

Jurriaan Hage, Peter Rademaker, Nikè van Vugt

Proceedings of the Computer Science Education Research Conference, 2011

2010

Making "stricterness" more relevant.

Stefan Holdermans, Jurriaan Hage

High. Order Symb. Comput., 2010

Corrective hints for type incorrect generic Java programs.

Nabil El Boustani, Jurriaan Hage

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

On the rôle of minimal typing derivations in type-driven program transformation.

Stefan Holdermans, Jurriaan Hage

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.

Stefan Holdermans, Jurriaan Hage

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

On Involutions Arising from Graphs.

Jurriaan Hage, Tero Harju

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Strategies for Solving Constraints in Type and Effect Systems.

Jurriaan Hage, Bastiaan Heeren

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Neon: A Library for Language Usage Analysis.

Jurriaan Hage, Peter van Keeken

Proceedings of the Software Language Engineering, First International Conference, 2008

Heap recycling for lazy languages.

Jurriaan Hage, Stefan Holdermans

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Report on the tenth ICFP programming contest.

Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Towards a characterization of bipartite switching classes by means of forbidden subgraphs.

Jurriaan Hage, Tero Harju

Discuss. Math. Graph Theory, 2007

A generic usage analysis with subeffect qualifiers.

Jurriaan Hage, Stefan Holdermans, Arie Middelkoop

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

The Embedding Problem for Switching Classes of Graphs.

Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg

Fundam. Informaticae, 2006

Heuristics for Type Error Discovery and Recovery.

Jurriaan Hage, Bastiaan Heeren

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Type Class Directives.

Bastiaan Heeren, Jurriaan Hage

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004

A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs.

Jurriaan Hage, Tero Harju

SIAM J. Discret. Math., 2004

Embedding in Switching Classes with Skew Gains.

Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Enumerating submultisets of multisets.

Jurriaan Hage

Inf. Process. Lett., 2003

Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes.

Jurriaan Hage, Tero Harju, Emo Welzl

Fundam. Informaticae, 2003

Scripting the type inference process.

Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2000

Pancyclicity in switching classes.

Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg

Inf. Process. Lett., 2000

The size of switching classes with skew gains.

Jurriaan Hage, Tero Harju

Discret. Math., 2000

1999

The Membership Problem for Switching Classes with Skew Gains.

Jurriaan Hage

Fundam. Informaticae, 1999

1998

Acyclicity of Switching Classes.

Jurriaan Hage, Tero Harju

Eur. J. Comb., 1998

Complexity Issues in Switching of Graphs.

Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg

Proceedings of the Theory and Application of Graph Transformations, 1998