Jurriaan Hage

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 41

Top Topics

Semantically Enriched

Plagiarism Detection

Constraint Handling Rules

Functional Language

Top Venues

Publications

Joris Burgers, Jurriaan Hage, Alejandro Serrano
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. IFL (2020)
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
A quick look at impredicativity. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jurriaan Hage
Solved and Open Problems in Type Error Diagnosis. STAF Workshops (2020)
Fabian Thorand, Jurriaan Hage
Higher-Ranked Annotation Polymorphic Dependency Analysis. ESOP (2020)
Alejandro Serrano, Jurriaan Hage
A compiler architecture for domain-specific type error diagnosis. Open Comput. Sci. 9 (1) (2019)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
Applications of Multi-view Learning Approaches for Software Comprehension. CoRR (2019)
Joseph Eremondi, Wouter Swierstra, Jurriaan Hage
A framework for improving error messages in dependently-typed languages. Open Comput. Sci. 9 (1) (2019)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
Applications of Multi-view Learning Approaches for Software Comprehension. Art Sci. Eng. Program. 3 (3) (2019)
Erik Jagroep, Arjan van der Ent, Jan Martijn E. M. van der Werf, Jurriaan Hage, Leen Blom, Rob van Vliet, Sjaak Brinkkemper
The hunt for the guzzler: Architecture-based energy profiling using stubs. Inf. Softw. Technol. 95 (2018)
Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. ISSRE (2018)
Eduard van der Bent, Jurriaan Hage, Joost Visser, Georgios Gousios
How good is your puppet? An empirically defined and validated quality model for puppet. SANER (2018)
Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman
[Research Paper] Fine-Grained Model Slicing for Rebel. SCAM (2018)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
On the Effect of Semantically Enriched Context Models on Software Modularization. Art Sci. Eng. Program. 2 (1) (2018)
Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
Guarded impredicative polymorphism. PLDI (2018)
Amir M. Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems. BENEVOL (2018)
Jurriaan Hage, Jay McCarthy
Special issue on Trends in Functional Programming 2013/14. Comput. Lang. Syst. Struct. 52 (2018)
Alejandro Serrano, Jurriaan Hage
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. IFL (2017)
Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer
Predicting resource consumption of higher-order workflows. PEPM (2017)
Alejandro Serrano, Jurriaan Hage
Constraint Handling Rules with Binders, Patterns and Generic Quantification. CoRR (2017)
Alejandro Serrano, Jurriaan Hage
Constraint handling rules with binders, patterns and generic quantification. Theory Pract. Log. Program. 17 (5-6) (2017)
Alejandro Serrano, Jurriaan Hage
Lightweight soundness for towers of language extensions. PEPM (2017)
Ivo Gabe de Wolff, Jurriaan Hage
Refining types using type guards in TypeScript. PEPM (2017)
Levin Fritz, Jurriaan Hage
Cost versus precision for approximate typing for Python. PEPM (2017)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
On the Effect of Semantically Enriched Context Models on Software Modularization. CoRR (2017)
Rinse van Hees, Jurriaan Hage
Stable and predictable Voronoi treemaps for software quality monitoring. Inf. Softw. Technol. 87 (2017)
Alejandro Serrano, Jurriaan Hage
Generic Matching of Tree Regular Expressions over Haskell Data Types. PADL (2016)
Alejandro Serrano, Jurriaan Hage
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. ESOP (2016)
Joeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage
Architectural Pattern Definition for Semantically Rich Modular Architectures. WICSA (2016)
Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano
Type Directives and Type Graphs in Elm. IFL (2016)
Henk Erik Van der Hoek, Jurriaan Hage
Object-sensitive Type Analysis of PHP. PEPM (2015)
Rinse van Hees, Jurriaan Hage
Stable Voronoi-based visualizations for software quality monitoring. VISSOFT (2015)
Ruud Koot, Jurriaan Hage
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. PEPM (2015)
Ravi Khadka, Prajan Shrestha, Bart Klein, Amir Saeidi, Jurriaan Hage, Slinger Jansen, Edwin van Dis, Magiel Bruntink
Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studies. ICSME (2015)
Alejandro Serrano, Jurriaan Hage, Patrick Bahr
Type families with class, type classes with family. Haskell (2015)
Robert Kreuzer, Jurriaan Hage, Ad Feelders
A Quantitative Comparison of Semantic Web Page Segmentation Approaches. ICWE (2015)
Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández
AB=ᗺA: execution equivalence as a new type of testing oracle. SAC (2015)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
A search-based approach to multi-view clustering of software systems. SANER (2015)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
ITMViz: interactive topic modeling for source code analysis. ICPC (2015)
Wei-Ngan Chin, Jurriaan Hage
Selected and extended papers from Partial Evaluation and Program Manipulation 2014. Sci. Comput. Program. 112 (2015)
I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov
Exploiting Annotations to Test Break-off Branches. APSEC (2015)
Hidde Verstoep, Jurriaan Hage
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. PEPM (2015)
Ravi Khadka, Belfrit V. Batlajery, Amir Saeidi, Slinger Jansen, Jurriaan Hage
How do professionals perceive legacy systems and software modernization? ICSE (2014)
Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas
Reduce first, debug later. AST (2014)
Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages. Sci. Comput. Program. 95 (2014)
Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage
Guided Algebraic Specification Mining for Failure Simplification. ICTSS (2013)
Jurriaan Hage, Brian Vermeer, Gerben Verburg
Research paper: Plagiarism Detection for Haskell with Holmes. CSERC (2013)
Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
Gelato: GEneric language tools for model-driven analysis of legacy software systems. WCRE (2013)
Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Geer P. Haas
Migrating a large scale legacy application to SOA: Challenges and lessons learned. WCRE (2013)
Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage
A structured legacy to SOA migration process and its evaluation in practice. MESOCA (2013)
Peter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov
Logging to Facilitate Combinatorial System Testing. FITTEST@ICTSS (2013)
Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages. PEPM (2013)
Theodoros Polychniatis, Jurriaan Hage, Slinger Jansen, Eric Bouwers, Joost Visser
Detecting Cross-Language Dependencies Generically. CSMR (2013)
Jurriaan Hage
Subgroup Switching of Skew Gain Graphs. Fundam. Informaticae 116 (1-4) (2012)
Hans L. Bodlaender, Jurriaan Hage
On switching classes, NLC-width, cliquewidth and treewidth. Theor. Comput. Sci. 429 (2012)
Jurriaan Hage
Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series. J. Funct. Program. 22 (3) (2012)
Ravi Khadka, Gijs Reijnders, Amir Saeidi, Slinger Jansen, Jurriaan Hage
A method engineering based legacy to SOA migration method. ICSM (2011)
Tiago L. Alves, Jurriaan Hage, Peter Rademaker
A Comparative Study of Code Query Technologies. SCAM (2011)
Jurriaan Hage
, by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456. J. Funct. Program. 21 (2) (2011)
Jurriaan Hage, Peter Rademaker, Nikè van Vugt
Plagiarism detection for Java: a tool comparison. CSERC (2011)
Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Remko Helms
An Evaluation Of Service Frameworks For The Management Of Service Ecosystems. PACIS (2011)
Nabil El Boustani, Jurriaan Hage
Improving type error messages for generic Java. High. Order Symb. Comput. 24 (1-2) (2011)
Stefan Holdermans, Jurriaan Hage
Making "stricterness" more relevant. High. Order Symb. Comput. 23 (3) (2010)
Stefan Holdermans, Jurriaan Hage
On the rôle of minimal typing derivations in type-driven program transformation. LDTA (2010)
Nabil El Boustani, Jurriaan Hage
Corrective hints for type incorrect generic Java programs. PEPM (2010)
Stefan Holdermans, Jurriaan Hage
Making "stricterness" more relevant. PEPM (2010)
Stefan Holdermans, Jurriaan Hage
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. ICFP (2010)
Jurriaan Hage, Bastiaan Heeren
Strategies for Solving Constraints in Type and Effect Systems. Electron. Notes Theor. Comput. Sci. 236 (2009)
Jurriaan Hage, Tero Harju
On Involutions Arising from Graphs. Algorithmic Bioprocesses (2009)
Nabil El Boustani, Jurriaan Hage
Improving type error messages for generic java. PEPM (2009)
Jurriaan Hage, Peter van Keeken
Neon: A Library for Language Usage Analysis. SLE (2008)
Jurriaan Hage, Stefan Holdermans
Heap recycling for lazy languages. PEPM (2008)
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
Report on the tenth ICFP programming contest. ICFP (2008)
Jurriaan Hage, Tero Harju
Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Discuss. Math. Graph Theory 27 (3) (2007)
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
A generic usage analysis with subeffect qualifiers. ICFP (2007)
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
The Embedding Problem for Switching Classes of Graphs. Fundam. Informaticae 74 (1) (2006)
Jurriaan Hage, Bastiaan Heeren
Heuristics for Type Error Discovery and Recovery. IFL (2006)
Bastiaan Heeren, Jurriaan Hage
Type Class Directives. PADL (2005)
Jurriaan Hage, Tero Harju
A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs. SIAM J. Discret. Math. 18 (1) (2004)
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
Embedding in Switching Classes with Skew Gains. ICGT (2004)
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
Scripting the type inference process. ICFP (2003)
Bastiaan Heeren, S. Doaitse Swierstra, Jurriaan Hage
Scripting the type inference process. SIGPLAN Notices (2003)
Jurriaan Hage
Enumerating submultisets of multisets. Inf. Process. Lett. 85 (4) (2003)
Jurriaan Hage, Tero Harju, Emo Welzl
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundam. Informaticae 58 (1) (2003)
Jurriaan Hage, Tero Harju, Emo Welzl
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. ICGT (2002)
Jurriaan Hage, Tero Harju
The size of switching classes with skew gains. Discret. Math. 215 (2000)
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
Pancyclicity in switching classes. Inf. Process. Lett. 73 (5-6) (2000)
Jurriaan Hage
The Membership Problem for Switching Classes with Skew Gains. Fundam. Informaticae 39 (4) (1999)
Jurriaan Hage, Tero Harju
Acyclicity of Switching Classes. Eur. J. Comb. 19 (3) (1998)
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
Complexity Issues in Switching of Graphs. TAGT (1998)