Jurriaan Hage

According to our database1, Jurriaan Hage authored at least 81 papers between 1998 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A quick look at impredicativity.
Proc. ACM Program. Lang., 2020

Solved and Open Problems in Type Error Diagnosis.
Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

Higher-Ranked Annotation Polymorphic Dependency Analysis.
Proceedings of the Programming Languages and Systems, 2020

2019
Applications of Multi-view Learning Approaches for Software Comprehension.
Art Sci. Eng. Program., 2019

A compiler architecture for domain-specific type error diagnosis.
Open Comput. Sci., 2019

A framework for improving error messages in dependently-typed languages.
Open Comput. Sci., 2019

2018
On the Effect of Semantically Enriched Context Models on Software Modularization.
Art Sci. Eng. Program., 2018

The hunt for the guzzler: Architecture-based energy profiling using stubs.
Inf. Softw. Technol., 2018

Special issue on Trends in Functional Programming 2013/14.
Comput. Lang. Syst. Struct., 2018

How good is your puppet? An empirically defined and validated quality model for puppet.
Proceedings of the 25th International Conference on Software Analysis, 2018

[Research Paper] Fine-Grained Model Slicing for Rebel.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Guarded impredicative polymorphism.
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.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems.
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.
Theory Pract. Log. Program., 2017

Stable and predictable Voronoi treemaps for software quality monitoring.
Inf. Softw. Technol., 2017

Refining types using type guards in TypeScript.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Lightweight soundness for towers of language extensions.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Predicting resource consumption of higher-order workflows.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Cost versus precision for approximate typing for Python.
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.
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016
Architectural Pattern Definition for Semantically Rich Modular Architectures.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Generic Matching of Tree Regular Expressions over Haskell Data Types.
Proceedings of the Practical Aspects of Declarative Languages, 2016

Type Directives and Type Graphs in Elm.
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.
Proceedings of the Programming Languages and Systems, 2016

2015
Selected and extended papers from Partial Evaluation and Program Manipulation 2014.
Sci. Comput. Program., 2015

A search-based approach to multi-view clustering of software systems.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Stable Voronoi-based visualizations for software quality monitoring.
Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015

AB=ᗺA: execution equivalence as a new type of testing oracle.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement.
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.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Object-sensitive Type Analysis of PHP.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

ITMViz: interactive topic modeling for source code analysis.
Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

A Quantitative Comparison of Semantic Web Page Segmentation Approaches.
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.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

Type families with class, type classes with family.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Exploiting Annotations to Test Break-off Branches.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Security type error diagnosis for higher-order, polymorphic languages.
Sci. Comput. Program., 2014

How do professionals perceive legacy systems and software modernization?
Proceedings of the 36th International Conference on Software Engineering, 2014

Reduce first, debug later.
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.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Migrating a large scale legacy application to SOA: Challenges and lessons learned.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Logging to Facilitate Combinatorial System Testing.
Proceedings of the Future Internet Testing - First International Workshop, 2013

Guided Algebraic Specification Mining for Failure Simplification.
Proceedings of the Testing Software and Systems, 2013

A structured legacy to SOA migration process and its evaluation in practice.
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.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Research paper: Plagiarism Detection for Haskell with Holmes.
Proceedings of the 3rd Computer Science Education Research Conference, 2013

Legacy to SOA Evolution.
Proceedings of the Migrating Legacy Applications, 2013

2012
On switching classes, NLC-width, cliquewidth and treewidth.
Theor. Comput. Sci., 2012

Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series.
J. Funct. Program., 2012

Subgroup Switching of Skew Gain Graphs.
Fundam. Informaticae, 2012

2011
Improving type error messages for generic Java.
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.
J. Funct. Program., 2011

A Comparative Study of Code Query Technologies.
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.
Proceedings of the Pacific Asia Conference on Information Systems, 2011

A method engineering based legacy to SOA migration method.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Plagiarism detection for Java: a tool comparison.
Proceedings of the Computer Science Education Research Conference, 2011

2010
Making "stricterness" more relevant.
High. Order Symb. Comput., 2010

Corrective hints for type incorrect generic Java programs.
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.
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.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
Strategies for Solving Constraints in Type and Effect Systems.
Electron. Notes Theor. Comput. Sci., 2009

On Involutions Arising from Graphs.
Proceedings of the Algorithmic Bioprocesses, 2009

2008
Neon: A Library for Language Usage Analysis.
Proceedings of the Software Language Engineering, First International Conference, 2008

Heap recycling for lazy languages.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Report on the tenth ICFP programming contest.
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.
Discuss. Math. Graph Theory, 2007

A generic usage analysis with subeffect qualifiers.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006
The Embedding Problem for Switching Classes of Graphs.
Fundam. Informaticae, 2006

Heuristics for Type Error Discovery and Recovery.
Proceedings of the Implementation and Application of Functional Languages, 2006

2005
Type Class Directives.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004
A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs.
SIAM J. Discret. Math., 2004

Embedding in Switching Classes with Skew Gains.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Scripting the type inference process.
ACM SIGPLAN Notices, 2003

Enumerating submultisets of multisets.
Inf. Process. Lett., 2003

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

2000
Pancyclicity in switching classes.
Inf. Process. Lett., 2000

The size of switching classes with skew gains.
Discret. Math., 2000

1999
The Membership Problem for Switching Classes with Skew Gains.
Fundam. Informaticae, 1999

1998
Acyclicity of Switching Classes.
Eur. J. Comb., 1998

Complexity Issues in Switching of Graphs.
Proceedings of the Theory and Application of Graph Transformations, 1998


  Loading...